The well supported semantics for multidimensional dynamic logic programs

Federico Banti, , José Júlio Alves Alferes, Antonio Brogi, Pascal Hitzler

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

10 Citations (Scopus)

Abstract

Multidimensional dynamic logic programs are a paradigm which allows to express (partially) hierarchically ordered evolving knowl- edge bases through (partially) ordered multi sets of logic programs. They solve contradictions among rules in different programs by allowing rules in more important programs to reject rules in less important ones. This class of programs extends the class of dynamic logic program that pro- vides meaning to sequences of logic programs. Recently the refined stable model semantics has fixed some counterintuitive behaviour of previously existing semantics for dynamic logic programs. However, it is not possible to directly extend the definitions and concepts of the refined semantics to the multidimensional case and hence more sophisticated principles and techniques are in order. In this paper we face the problem of defining a proper semantics for multidimensional dynamic logic programs by ex- tending the idea of well supported model to this class of programs and by showing that this concept alone is enough for univocally characteriz- ing a proper semantics. We then show how the newly defined semantics coincides with the refined one when applied to sequences of programs. Publication
Original languageEnglish
Title of host publicationLecture Notes in Computer Science
Pages356-368
Number of pages13
Volume3662 LNAI
DOIs
Publication statusPublished - 1 Jan 2005
EventLogic Programming and Nonmonotonic Reasoning -
Duration: 1 Jan 2005 → …

Conference

ConferenceLogic Programming and Nonmonotonic Reasoning
Period1/01/05 → …

Keywords

  • Logic programming
  • stable models
  • Semantics
  • Formal logic
  • Mathematical models
  • Hierarchical systems
  • Knowledge acquisition

Fingerprint Dive into the research topics of 'The well supported semantics for multidimensional dynamic logic programs'. Together they form a unique fingerprint.

Cite this