Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

被引:1
作者
Blondeel, Marjon [1 ]
Schockaert, Steven [2 ]
De Cock, Martine [3 ]
Vermeir, Dirk [1 ]
机构
[1] Vrije Univ Brussel, Dept Comp Sci, B-1050 Brussels, Belgium
[2] Cardiff Univ, Sch Comp Sci & Informat, Cardiff CF24 3AA, S Glam, Wales
[3] Univ Ghent, Dept Appl Math & Comp Sci, B-9000 Ghent, Belgium
关键词
Answer set programming; Autoepistemic logic; Fuzzy logics; KNOWLEDGE; SEMANTICS;
D O I
10.1016/j.fss.2012.09.012
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Autoepistemic logic is an important formalism for nonmonotonic reasoning. It extends propositional logic by offering the ability to reason about an agent's (lack of) 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 to which properties are satisfied. We combine these ideas to a fuzzy autoepistemic logic which can be used to reason about one's beliefs in the degrees to which properties are satisfied. We show that many properties from classical autoepistemic logic, e.g. the equivalence between autoepistemic models and stable expansions, remain valid under this generalization. In this paper, we consider a version of fuzzy answer set programming and show that its answer sets can be equivalently described as models in fuzzy autoepistemic logic. We also define a fuzzy logic of minimal belief and negation-as-failure and use this as a tool to show that fuzzy autoepistemic logic generalizes fuzzy answer set programming. (C) 2013 Published by Elsevier B.V.
引用
收藏
页码:51 / 80
页数:30
相关论文
共 56 条
[1]  
[Anonymous], 2005, J MATH SCI, DOI DOI 10.1007/S10958-005-0281-1
[2]  
[Anonymous], 1993, LOGIC PROGRAMMING NO
[3]  
[Anonymous], UAI 00
[4]  
Banerjee M, 2009, LECT NOTES COMPUT SC, V5590, P805, DOI 10.1007/978-3-642-02906-6_69
[5]   LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION [J].
BARAL, C ;
GELFOND, M .
JOURNAL OF LOGIC PROGRAMMING, 1994, 20 :73-148
[6]  
Baral C., 2004, 7 INT C LOG PROGR NO, P21
[7]  
Baral C., 2003, Knowledge Representation, Reasoning and Declarative Problem Solving
[8]  
Blondeel Marjon, 2011, Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Proceedings 11th European Conference, ECSQARU 2011, P616, DOI 10.1007/978-3-642-22152-1_52
[9]  
Blondeel M., 2012, P 1 WORKSH WEIGHT LO, P43
[10]  
Cheng J., 1993, Proceedings. Fourth International Symposium on Software Reliability Engineering (Cat. No.93TH0560-3), P132, DOI 10.1109/ISSRE.1993.624282