On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
Abstract Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to model an ideal rational agent reflecting upon his own beliefs. Fuzzy autoepistemic logic is a generalization of autoepistemic logic that allows to represent an agent's rational beliefs on gr...
| Autores: | , , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2015 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/130287 |
| Acceso en línea: | http://hdl.handle.net/10261/130287 |
| Access Level: | acceso abierto |
| Palabra clave: | Fuzzy modal logic Complete axiomatizations Nonmonotonic modal logic Logic of only knowing Fuzzy logics Autoepistemic logic Modal logic Non-monotonic reasoning Satisfiability checking |
| Sumario: | Abstract Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to model an ideal rational agent reflecting upon his own beliefs. Fuzzy autoepistemic logic is a generalization of autoepistemic logic that allows to represent an agent's rational beliefs on gradable propositions. It has recently been shown that, in the same way as autoepistemic logic generalizes answer set programming, fuzzy autoepistemic logic generalizes fuzzy answer set programming as well. Besides being related to answer set programming, autoepistemic logic is also closely related to several modal logics. To investigate whether a similar relationship holds in a fuzzy logical setting, we firstly generalize the main modal logics for belief to the setting of finitely-valued Łukasiewicz logic with truth constants Łkc, and secondly we relate them with fuzzy autoepistemic logics. Moreover, we show that the problem of satisfiability checking in these logics is NP-complete. Finally, we generalize Levesque's results on stable expansions, belief sets, and >only knowing> operators to our setting, and provide a complete axiomatization for a logic of >only knowing> in the Łkc framework. © 2015 Elsevier B.V. |
|---|