Title: The well-founded semantics is the principle of inductive definition
Authors: Denecker, Marc # ×
Issue Date: 1998
Publisher: Springer-verlag berlin
Series Title: Logics in Artificial Intelligence, Proceedings of JELIA'98 Schloss Daghstuhl, October 1998 vol:1489 pages:1-16
Conference: 7th International Workshop on Nonmonotonic Reasoning(NM'98)
Abstract: Existing formalisations of (transfinite) inductive definitions in constructive mathematics are reviewed and strong correspondences with LP under least model and perfect model semantics become apparent. I point to fundamental restrictions of these existing formalisations and argue that the well-founded semantics (wfs) overcomes these problems and hence, provides a superior formalisation of the principle of inductive definition. The contribution of this study for LP is that it (re-) introduces the knowledge theoretic interpretation of LP as a logic for representing definitional knowledge. I point to fundamental differences between this knowledge theoretic interpretation of LP and the more commonly known interpretations of LP as default theories or auto-epistemic theories. The relevance is that differences in knowledge theoretic interpretation have strong impact on knowledge representation methodology and on extensions of the LP formalism; for example for representing uncertainty.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
18154.pdf Published 207KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science