Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Blondeel, Marjon, Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881, De Cock, Martine and Vermeir, Dirk 2014. Fuzzy autoepistemic logic and its relation to fuzzy answer set programming. Fuzzy Sets and Systems 239 , pp. 51-80. 10.1016/j.fss.2012.09.012

Full text not available from this repository.

Abstract

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.

Item Type: Article
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher: Elsevier
ISSN: 0165-0114
Last Modified: 25 Oct 2022 09:42
URI: https://orca.cardiff.ac.uk/id/eprint/59674

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item