1 مقاله
معناشناسی پایهای روشی در برنامهنویسی منطقی است که به رایانه کمک میکند تا از مجموعهای از قواعد منطقی، نتایج درست استنتاج کند. این روش که در سال ۱۹۹۱ معرفی شد، با استفاده از منطق سهارزشی، امکان مدیریت دادههای متناقض را فراهم میکند و در حضور اطلاعات ناقص یا پرسروصدا، استنتاجهای ایمن را ممکن میسازد.
