Localising iceberg inconsistencies

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