Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic

Grigoris Antoniou, Volker Sperschneider

Research output: Contribution to journalArticle

Abstract

The subject of nonmonotonic reasoning is reasoning with incomplete information. One of the main approaches is autoepistemic logic in which reasoning is based on introspection. This paper aims at providing a smooth introduction to this logic, stressing its motivation and basic concepts. The meaning (semantics) of autoepistemic logic is given in terms of so-called expansions which are usually defined as solutions of a fixed-point equation. The present paper shows a more understandable, operational method for determining expansions. By improving applicability of the basic concepts to concrete examples, we hope to make a contribution to a wider usage of autoepistemic logic in practical applications.

LanguageEnglish
Pages431-443
Number of pages13
JournalArtificial Intelligence Review
Volume12
Issue number6
DOIs
Publication statusPublished - 1 Dec 1998
Externally publishedYes

Fingerprint

basic concept
logic
introspection
Semantics
semantics
Nonmonotonic Logic
Logic

Cite this

@article{89511d5d5a9640cd8cbff504d8707a90,
title = "Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic",
abstract = "The subject of nonmonotonic reasoning is reasoning with incomplete information. One of the main approaches is autoepistemic logic in which reasoning is based on introspection. This paper aims at providing a smooth introduction to this logic, stressing its motivation and basic concepts. The meaning (semantics) of autoepistemic logic is given in terms of so-called expansions which are usually defined as solutions of a fixed-point equation. The present paper shows a more understandable, operational method for determining expansions. By improving applicability of the basic concepts to concrete examples, we hope to make a contribution to a wider usage of autoepistemic logic in practical applications.",
keywords = "Autoepistemic logic, Knowledge representation, Nonmonotonic reasoning",
author = "Grigoris Antoniou and Volker Sperschneider",
year = "1998",
month = "12",
day = "1",
doi = "10.1023/A:1006516126932",
language = "English",
volume = "12",
pages = "431--443",
journal = "Artificial Intelligence Review",
issn = "0269-2821",
publisher = "Springer Netherlands",
number = "6",

}

Operational Concepts of Nonmonotonic Logics Part 2 : Autoepistemic Logic. / Antoniou, Grigoris; Sperschneider, Volker.

In: Artificial Intelligence Review, Vol. 12, No. 6, 01.12.1998, p. 431-443.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Operational Concepts of Nonmonotonic Logics Part 2

T2 - Artificial Intelligence Review

AU - Antoniou, Grigoris

AU - Sperschneider, Volker

PY - 1998/12/1

Y1 - 1998/12/1

N2 - The subject of nonmonotonic reasoning is reasoning with incomplete information. One of the main approaches is autoepistemic logic in which reasoning is based on introspection. This paper aims at providing a smooth introduction to this logic, stressing its motivation and basic concepts. The meaning (semantics) of autoepistemic logic is given in terms of so-called expansions which are usually defined as solutions of a fixed-point equation. The present paper shows a more understandable, operational method for determining expansions. By improving applicability of the basic concepts to concrete examples, we hope to make a contribution to a wider usage of autoepistemic logic in practical applications.

AB - The subject of nonmonotonic reasoning is reasoning with incomplete information. One of the main approaches is autoepistemic logic in which reasoning is based on introspection. This paper aims at providing a smooth introduction to this logic, stressing its motivation and basic concepts. The meaning (semantics) of autoepistemic logic is given in terms of so-called expansions which are usually defined as solutions of a fixed-point equation. The present paper shows a more understandable, operational method for determining expansions. By improving applicability of the basic concepts to concrete examples, we hope to make a contribution to a wider usage of autoepistemic logic in practical applications.

KW - Autoepistemic logic

KW - Knowledge representation

KW - Nonmonotonic reasoning

UR - http://www.scopus.com/inward/record.url?scp=0032288389&partnerID=8YFLogxK

U2 - 10.1023/A:1006516126932

DO - 10.1023/A:1006516126932

M3 - Article

VL - 12

SP - 431

EP - 443

JO - Artificial Intelligence Review

JF - Artificial Intelligence Review

SN - 0269-2821

IS - 6

ER -