سوال یک و دو رو دوستمون جواب دادن، فقط راجع به عبارت هورن در حالت ترکیب فصلط، میتونه حداکثر یک لیترال مثبت داشته باشه. یعنی یا لیترال مثبت نداره یا اگه داره فقط یه دونه که به هورنی که دقیقا یک لیترال مثبت داره میگن فراکرد معین.

سوال ۳ : خیر، در هر رزولوشن تنها یک لیترال قابل حذف با تقیضشه. اتفاقا اون حالتی که هر دو جفت رو به اشتباه حذف میکنن و یه نتیجه ای حاصل نیشه رو هم تو گزینه ها قرار میدن.

سوال ۴ : یه روش اینه که عبارت صورت سوال به فرم نرمال عطفی نوشته بشه. و بین جملات اون اونایی که میشه رو رزولوشن زد.
یعنی در واقع چون پایگاه دانش ترکیب عطفی لیترالهاست و نتیجه تک تک لیترالهاش صحیحه، بعد از تبدیل عبارت صورت سوال به ترکیب عطفی، باید جملات بین علامتهای عطف همشون درست باشن. حالا اگه رزولوشنی هم بشه زد میشه لیترال ها و جملات صحبخی رو استنتاج کرد که میشه تو گزینه ها هم بهش توجه شده باشه.


سوال

Sent from my SM-J200H using Tapatalk

سلام,
درمورد سوال اولم,پس چرا توی تست ایتی ٩١ راهیان و پارسه گفتن این جمله درست هست؟

Sent from my HUAWEI G510-0200 using Tapatalk

سلام
من هنوز به فصل‌های سوال سه و چهار نرسیدم.

نقل قول: ۱) ایا این جمله صحیح است؟ یک عبارت هورن فقط یک لیترال منفی دارد

نه صحیح نیست، برعکسه، عبارات هورن ترکیب فصلی لیترال‌هایی هستش که فقط یک لیترال "مثبت" دارن! این جمله شما یعنی ما می‌تونیم به جز اون یک لیترال منفی، کلی لیترال مثبت داشته باشیم که نداریم!

نقل قول: ۲) روش BC کامل و صحیح است؟

شیوه‌ای که بتونه همه عبارات دارای استلزام رو از پایگاه دانش نتیحه بگیره یه شیوه کامله (Completness)، هم زنجیره‌سازی رو به جلو و هم عقب طبق گفته راسل (ویرایش سه) فقط روی عبارات هورن که دقیقا یه لیترال مثبت دارن (فراکرد معین) کامل هستن که در واقع هر دو میشن کامل کاذب. البته بعضی از کتابا میگن FC کامله و BC کامل کاذب.

شیوه‌ای هم که عباراتی که تولید می‌کنه همش درست باشن میشه صحیح یا معتبر (Soundness)، یعنی یه شیوه می‌تونه کامل نباشه و مثلا از ۱۰۰ جمله قابل نتیجه‌گیری از پایگاه دانش فقط ۵۰ تاش رو تولید کنه ولی اون ۵۰ تا همش درست باشن که این یعنی یک شیوه صحیحه. هم شیوه FC و هم BC از نوع صحیح هستن.