ABS Soleimania(Persion)

در اين پايان نامه بعد از تعريف مفهوم كنترل، روابط و قضاياي مربوطه را بررسي و به معرفي سيستم DCL-PC مي­پردازيم كه منطقي براي استدلال درباره توانايي عوامل و ائتلافي از عوامل با استفاده از انتقال كنترل بين عوامل مي­باشد.   پايه منطقي DCL-PC سيستم CL-PC مي­باشد. اين سيستم منطقي است براي همكاري بين عوامل كه عوامل مجموعه­اي از متغييرهاي گزاره­اي را كنترل مي­كنند و توانايي ارزشدهي به متغييرها را دارند. امتياز اين دو سيستم اين است كه اعمال تنها به دو عمل ارزشدهي و انتقال كنترل محدود است و مدل بسيار ساده تر مي­شود. در پايان به بررسي بازي دومينو با استفاده از وجه­هاي منطقي ? و ? مي­پردازيم اصول بازي را ذكر و ثابت مي كنيم سيستم مربوطه سالم و تمام است.