Paper Info
Title
Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
Abstract
Autoepistemic logic is one of the principal formalisms for nonmonotonic reasoning. It extends propositional logic by offering the ability to reason about an agent's (lack of) knowledge or beliefs. Moreover, it is well known to generalize the stable model semantics of answer set programming. Fuzzy logics on the other hand are multi-valued logics, which allow to model the intensity with which a property is satisfied. We combine these ideas to a fuzzy autoepistemic logic which can be used to reason about one's knowledge about the degrees to which proporties are satisfied. In this paper we show that many properties from classical autoepistemic logic remain valid under this generalization and that the important relation between autoepistemic logic and answer set programming is preserved in the sense that fuzzy autoepistemic logic generalizes fuzzy answer set programming.
Year
DOI
Venue
2011
10.1007/978-3-642-22152-1_52
ECSQARU
Keywords
Field
DocType
fuzzy logic,stable model semantics,truth degree,classical autoepistemic logic,fuzzy autoepistemic logic,fuzzy answer set programming,propositional logic,answer set programming,multi-valued logic,important relation,autoepistemic logic
Discrete mathematics,T-norm fuzzy logics,Autoepistemic logic,Computer science,Probabilistic logic network,Fuzzy logic,Stable model semantics,Non-monotonic logic,Many-valued logic,Intermediate logic
Conference
Citations 
PageRank 
References 
2
0.35
16
Authors
4
Name
Order
Citations
PageRank
Marjon Blondeel1152.68
Steven Schockaert258357.95
Martine De Cock3134196.06
Dirk Vermeir469485.34