### 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.

Original language | English |
---|---|

Pages (from-to) | 431-443 |

Number of pages | 13 |

Journal | Artificial Intelligence Review |

Volume | 12 |

Issue number | 6 |

DOIs | |

Publication status | Published - 1 Dec 1998 |

Externally published | Yes |

### Fingerprint

### Cite this

*Artificial Intelligence Review*,

*12*(6), 431-443. https://doi.org/10.1023/A:1006516126932

}

*Artificial Intelligence Review*, vol. 12, no. 6, pp. 431-443. https://doi.org/10.1023/A:1006516126932

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

Research output: Contribution to journal › Article

TY - JOUR

T1 - Operational Concepts of Nonmonotonic Logics Part 2

T2 - Autoepistemic Logic

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

AN - SCOPUS:0032288389

VL - 12

SP - 431

EP - 443

JO - Artificial Intelligence Review

JF - Artificial Intelligence Review

SN - 0269-2821

IS - 6

ER -