زمان کنونی: ۰۶ اردیبهشت ۱۴۰۴, ۱۲:۲۵ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن میتوانید عضو شوید. گزینههای شما (ورود — ثبت نام)
سلام دوستان، من فکر میکنم از همه KBها (شامل هر جمله ای هم که باشه فرقی نمیکنه) میشه true رو با استفاده از رزولوشن استنتاج کرد درسته؟؟ اگه نه لطفا یه مثال نقض بگید که متوجه بشم
اگه روی نقیض true که false میشه و هر کدام از جملات این KB (یا هر پایگاه دانش دیگه ای) رزولوشن انجام بدیم به تناقض میرسیم پس true همیشه قابل استنتاج هست و false هیچ وقت قابل استنتاج نیست.
کلا پایگاه دانش and یه سری جمله درسته که همیشه به true میرسیم
میشه توضییح بدید که وقتی یه KB میدن و میگن true قابل استنتاج هست یا نه منظور چیه یعنی ما باید از kb به چه برسیم که این نتیجه رو بگیریم من متوجه نمیشم؟
ببینید دوست عزیز اگر منظور شما اینه که وقتی میگن جمله درست کدومه؟در گزینه شما برای تک تک گزینه ها مثلا برای یک عبارت شرطی جمله اول رو true و جمله دوم رو هم false میدی میدونی که نتیجه ما باید false بشه (طبق نکاتی که قبلا خوندی )یعنی جمله غلط بشه اگر با انجام این کار جملت غلطت نشد یعنی به تناقض رسیدی پس بدون این جمله هیچ جور غلط نمیشه و جمله همیشه درسته
البته من این طوری از سوالتون برداشت کردم