Page 12 - C111215

سلا ک رد را ک
سلاک رد راک
:دینک رپ ار یلاخ یاهاج

هچ امش رظن هب .دوش یم تسرد لصاح هرازگ شزرا ،تروص نیا رد A= } , , { میهد رارق »ب« هلمج رد رگا
ٔ
.دوش تسرد لصاح هرازگ شزرا هکنیا ات ،میهد رارق A یاج هب ار ییاه هعومجم

.تسا تسردان ،لصاح هرازگ شزرا تروص نیا رد A= } { میهد رارق »ب« هلمج رد رگا
ٔ
x = …… هک یتلاح رد و تسرد لصاح هرازگ شزرا ،تروص نیا رد y = …… و x = …… میهد رارق »پ« هلمج رد رگا
ٔ
.تسا تسردان لصاح هرازگ شزرا ،تروص نیا رد y = …… و

امن هرازگ ریغتم ۀنماد
ّ
لیدبت هرازگ هب امن هرازگ هکنیا ات ،داد رارق نآ یاهریغتم یاج هب ار اهنآ ناوت یم هک یریداقم هعومجم هب امن هرازگ ره رد
ٔ
2 1
.دنهد یم شیامن D فرح اب ار نآ و دنیوگ یم امن هرازگ ریغتم ۀنماد ،دوش

جوز یددع x « یامن هرازگ ریغتم هنماد ،یعیبط دادعا هعومجم »تسا لوا یددع p « یامن هرازگ ریغتم هنماد ،لاثم یارب
ٔ
ٔ
ٔ
ّ
2
.تفرگ رظنرد ناوت یم یقیقح دادعا هعومجم »4x +x-5=0« یامن هرازگ ریغتم هنماد و حیحص دادعا هعومجم »تسا
ٔ
ٔ
ٔ
تسرد شزرا اب یا هرازگ هب لیدبت امن هرازگ ،اهنآ یازا هب هک ریغتم هنماد زا ییاهوضع هعومجم هب ،امن هرازگ ره رد
ٔ
ٔ
3
.S ⊆ D :میراد هراومه و دنهد یم شیامن S فرح اب ار نآ و دنیوگ یم امن هرازگ باوج ۀعومجم ،دوش
اه هرازگ بیکرت
.دنیآ یم تسد هب بکرم یاه هرازگ ،… و »هاگ نآ ــ رگا« ،»ای« ،»و« دننام یا هرازگ یاه طبار هلیسو هب هرازگ دنچ ای ود بیکرت زا
ٔ
؛دنتسه بکرم یاه هرازگ ریز یاه هنومن

.تسا 3 برضم 5 ددع و تسا جوز 2 ددع
.تسا 3 برضم 5 ددع ای ،تسا جوز 2 ددع

.تسا 3 برضم 5 ددع هاگ نآ ،دشاب جوز 2 ددع رگا
.دشاب جوز 2 ددع هک تسین نینچ

.سکعرب و تسا 3 برضم 5 ددع هاگ نآ ،دشاب جوز 2 ددع رگا

هرازگ ود یفطع بیکرت
رد .مییوگ یم هرازگ ود یفطع بیکرت ار »q و p « دوش یم هدناوخ هک »p∧q « بکرم هرازگ ،دنشاب هرازگ ود q و p هاگره
ٔ

1ـ Domain of Variable
.تسین زاجم یبایشزرا رد نآ زا لاؤس حرط و تسین باتک نیا یشزومآ فادها زا اهامن هرازگ ریغتم هنماد نییعت ــ2
ٔ
3ـ Answer Set

4 تایضایر ینابم اب ییانشآ :لّ وا لصف