Blondeel, Marjon, Flaminio, Tommaso, Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881, Godo, Lluis and De Cock, Martine 2015. On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief. Fuzzy Sets and Systems 276 , pp. 74-99. 10.1016/j.fss.2015.02.018 |
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 View the MathML sourceŁ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 View the MathML sourceŁkc framework.
Item Type: | Article |
---|---|
Date Type: | Publication |
Status: | Published |
Schools: | Computer Science & Informatics |
Additional Information: | Available online 4 March 2015 |
Publisher: | Elsevier |
ISSN: | 0165-0114 |
Date of Acceptance: | 26 February 2015 |
Last Modified: | 28 Oct 2022 09:54 |
URI: | https://orca.cardiff.ac.uk/id/eprint/76092 |
Citation Data
Cited 4 times in Scopus. View in Scopus. Powered By Scopus® Data
Actions (repository staff only)
Edit Item |