Semi-equilibrium models for paracoherent answer set programs

معناشناسی پاسخگویی ممکن است به دلیل تضاد منطقی یا نفی انسانی که توسط وابستگی سیکل اتم به نفی آن ایجاد شده است، یک برنامه منطقی را برای مدلسازی اختصاص دهد. در حالی که تناقضات منطقی می تواند با روش های سنتی از استدلال منطقی برخورد شود، بی ثباتی به روش های دیگر نیاز دارد. ما در نظر داریم به معناشناسی متضاد بپردازیم، که در آن تفسیر ارزش سه گانه مورد استفاده قرار می گیرد که در آن یک ارزش حقیقی سوم علاوه بر درست و غلط بیان می کند که اتم اعتقاد دارد. این در اساس معناشناسی مدل نیمه پایدار است که با استفاده از یک تبدیل برنامه تعریف شده است. در این مقاله، مشخصه ی مدل-نظری مدل های نیمه پایدار را ارائه می دهیم که معناگرا را بیشتر قابل دسترسی می سازد. با تعدادی از ناهنجاری های معناشناسی نیمه پایدار مدل با توجه به خواص معرفت شناختی اصلی، پیشنهاد می کنیم اصلاحاتی را انجام دهیم که این خواص را ارضا کند. دومی دارای خصوصیات تحول و نظریه ی مدل است که نشان می دهد آن را به عنوان آرام سازی منطق تعادل، بازسازی منطقی معناشناسی مجموعه پاسخ و به همین ترتیب معانی نیمه تعادل مدل نامیده می شود. ما در حال بررسی الگوریتم های این معانی در نظر گرفتن مدولاسیون در قوانین، بر اساس مجموعه های تقسیم، ابزار اصلی برای مدولار در مدل سازی و ارزیابی برنامه های پاسخ مجموعه. در آن، ما کلاس هایی از مدل های کانونی را که برای ارزیابی معمول از پایین به بالا برنامه های پاسخ تنظیم شده اند، می توانیم با گزینه ای برای تغییر حالت ناخودآگاه، زمانی که کمیت یک مجموعه پاسخ شناسایی شده است، قابل تعریف باشد. تجزیه و تحلیل پیچیدگی از وظایف استدلال عمده نشان می دهد که مدل های نیمه تعادل سخت تر از مجموعه های پاسخ (به عنوان مثال، مدل های تعادل)، به دلیل یک گام به حداقل رساندن جهانی برای حفظ فاصله بین واقعی و معتقد است اتم های واقعی به عنوان کوچک که ممکن است. نتایج ما به پایه های منطقی برنامه نویسی پاسخ گرا می پردازد که اهمیت بیشتری در مدیریت عدم تضاد به دست می آورد و در عین حال پایه ای برای توسعه الگوریتم و ادغام به حل کننده های مجموعه ای فراهم می کند.