Ontological encapsulation of many-valued logic

دسته بندی: منطق
ویرایش:  
نویسندگان: Majkic Z.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 13 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 118 کیلوبایت 

قیمت کتاب (تومان) : 42,000

انتشار اینترنتی. - 13 ص. انگلیسی (OCR-слой). [Dipartimento di Informatica e Sistemistica، دانشگاه رم \"La Sapienza\". رم، ایتالیا]. چکیده.
پایگاه های داده بزرگی که از ادغام داده های پایگاه های داده منبع مختلف به دست می آیند می توانند در بسیاری از موارد ناقص و ناسازگار باشند. راه ها. منطق کلاسیک فرمالیسم مناسبی برای استدلال در مورد پایگاه های داده ناسازگار نیست. برخی ناسازگاری های محلی نباید اجازه داده شود تا معنای مورد نظر چنین برنامه های منطقی را به طور قابل توجهی تغییر دهد. تنوع رویکردهای معنایی که برای برنامه های منطقی ابداع شده اند بسیار گسترده است. به طور خاص ما به منطق های با ارزش های متعدد با نفی، مبتنی بر دوشبکه ها علاقه مندیم. ما یک منطق 2 ارزشی را ارائه می‌کنیم که بر اساس یک کپسوله‌سازی هستی‌شناختی برنامه‌نویسی منطقی با ارزش‌های متعدد است، که بر برخی از اشکالات رویکردهای تحقیقاتی قبلی در برنامه‌نویسی منطقی با ارزش‌های متعدد غلبه می‌کند. ما یک نظریه مدل برای تفاسیر هربراند از برنامه‌های منطقی کپسوله‌شده هستی‌شناختی، بر اساس بازتاب معنایی منطق معرفتی چند ارزشی تعریف کردیم. مقدمه‌ای بر برنامه‌ریزی منطقی با ارزش‌های متعدد br/>منطق معرفتی با ارزش های زیادی بر اساس یک بیلتیس.
قضیه بازنمایی.
بازتاب معنایی منطق معرفتی.
زبان برنامه نویسی کپسوله سازی هستی شناختی.
نحو.
معناشناسی.
نتیجه گیری.
منابع (۲۲ انتشار).

Internet-publication. — 13 p. Inglish. (OCR-слой). [Dipartimento di Informatica e Sistemistica, University of Roma “La Sapienza”. Rome, Italy]. Abstract.
Large databases obtained by the data integration of different source databases can be incomplete and inconsistent in many ways. The classical logic is not the appropriate formalism for reasoning about inconsistent databases. Certain local inconsistencies should not be allowed to significantly alter the intended meaning of such logic programs. The variety of semantical approaches that have been invented for logic programs is quite broad. In particular we are interested for many-valued logics with negation, based on bilattices. We present a 2-valued logic, based on an Ontological Encapsulation of Many-Valued Logic Programming, which overcome some drawbacks of the previous research approaches in many-valued logic programming. We defined a Model theory for Herbrand interpretations of ontologically encapsulated logic programs, based on a semantic reflection of the epistemic many-valued logic. Introduction to Many-valued logic programming.
Many-valued epistemic logic based on a Bilattice.
Representation theorem.
Semantic reflection of the epistemic logic.
Ontological encapsulation programming language.
Syntax.
Semantics.
Conclusion.
References (22 publ).