Safe inductions and their applications in knowledge representation

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