English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/130287
Share/Impact:
Statistics
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:
Title

On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief

AuthorsBlondeel, Marjon; Flaminio, Tommaso ; Schockaert, Steven; Godo, Lluis ; De Cock, Martine
KeywordsFuzzy modal logic
Complete axiomatizations
Nonmonotonic modal logic
Logic of only knowing
Fuzzy logic
Logic of only knowing
Autoepistemic logic
Modal logic
Non-monotonic reasoning
Satisfiability checking
Issue Date2015
PublisherElsevier
CitationFuzzy Sets and Systems 276: 74- 99 (2015)
AbstractAbstract 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.
URIhttp://hdl.handle.net/10261/130287
DOI10.1016/j.fss.2015.02.018
Identifiersdoi: 10.1016/j.fss.2015.02.018
issn: 0165-0114
uri: http://www.sciencedirect.com/science/article/pii/S0165011415001116
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
FSS,2015,v276,pp.74-99..pdf1,2 MBAdobe PDFThumbnail
View/Open
Show full item record
Review this work
 

Related articles:


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.