کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6853030 | 1436973 | 2018 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Safe inductions and their applications in knowledge representation
ترجمه فارسی عنوان
الزامات ایمنی و کاربرد آنها در نمایندگی دانش
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ترجمه چکیده
در بسیاری از فرمالیست ها، فرم معرفتی سازنده بر اساس برنامه های پیوسته قوانین یا اپراتور معنایی تعریف شده است. این سازه ها اغلب ویژگی هایی دارند که قوانین برنامه های کاربردی را تاخیر می اندازند تا اینکه این کار ایمن باشد: تا زمانی که مشخص شود که شرطی که قانون را به وجود می آورد ادامه خواهد داشت. این شهود به عنوان مثال در معانی معقول و منطقی برنامه های منطقی و در منطق خودکار تداعی می شود. در این مقاله، معیار ایمنی را به صورت الگوریتمی به طور رسمی تعریف می کنیم. ما خواص القاشهای به اصطلاح ایمنی را مطالعه میکنیم و نظریه ما را به برنامهنویسی منطقی و منطق خودکارپسستمی اعمال میکنیم. برای دومین، ما نشان می دهیم که القائات ایمن موفق به گرفتن معانی مورد نظر از یک کلاس از نظریه ها هستند که تمام معانی سازنده کلاسیک آن را شکست می دهند.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
In many knowledge representation formalisms, a constructive semantics is defined based on sequential applications of rules or of a semantic operator. These constructions often share the property that rule applications must be delayed until it is safe to do so: until it is known that the condition that triggers the rule will continue to hold. This intuition occurs for instance in the well-founded semantics of logic programs and in autoepistemic logic. In this paper, we formally define the safety criterion algebraically. We study properties of so-called safe inductions and apply our theory to logic programming and autoepistemic logic. For the latter, we show that safe inductions manage to capture the intended meaning of a class of theories on which all classical constructive semantics fail.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 259, June 2018, Pages 167-185
Journal: Artificial Intelligence - Volume 259, June 2018, Pages 167-185
نویسندگان
Bart Bogaerts, Joost Vennekens, Marc Denecker,