Nonmonotonic reasoning with well founded semantics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)
2 Downloads (Pure)

Abstract

Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the Well Founded model may be accepted to be a definite view of the world and the extended stable models as alternative enlarged consistent belief models an agent may have about the world. Our purpose is to exhibit a modular systematic method of representing nonmonotonic problems with the Well Founded semantics of logic programs. In this paper we use this method to represent and solve some classical nonmonotonic problems. This leads us to consider our method quite generic.
Original languageEnglish
Title of host publicationMIT Press
Publication statusPublished - 1 Jan 1991
EventLOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE -
Duration: 1 Jan 1991 → …

Conference

ConferenceLOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE
Period1/01/91 → …

Keywords

  • Computer software
  • Mathematical models
  • Formal languages
  • Formal logic

Fingerprint Dive into the research topics of 'Nonmonotonic reasoning with well founded semantics'. Together they form a unique fingerprint.

Cite this