Set based logic programming

H. A. Blair, V. W. Marek, J. B. Remmel

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Abstract

In a previous paper (Blair et al. 2001), the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets of a given space X. The view of a logic program as a one-step consequence operator along with the concepts of supported and stable model can be transferred to such situations. In this paper, we show that we can further extend this paradigm by creating a new one-step consequence operator by composing the old one-step consequence operator with a monotonic idempotent operator (miop) in the space of all subsets of X, 2 X . We call this extension set based logic programming. We show that such a set based formalism for logic programming naturally supports a variety of options. For example, if the underlying space has a topology, one can insist that the new one-step consequence operator always produces a closed set or always produces an open set. The flexibility inherent in the semantics of set based logic programs is due to both the range of natural choices available for specifying the semantics of negation, as well as the role of monotonic idempotent operators (miops) as parameters in the semantics. This leads to a natural type of polymorphism for logic programming, i.e. the same logic program can produce a variety of outcomes depending on the miop associated with the semantics. We develop a general framework for set based programming involving miops. Among the applications, we obtain integer-based representations of real continuous functions as stable models of a set based logic program.

Original languageEnglish (US)
Pages (from-to)81-105
Number of pages25
JournalAnnals of Mathematics and Artificial Intelligence
Volume52
Issue number1
DOIs
StatePublished - Jan 2008

Keywords

  • Logic programming
  • Miop-spatially augmented language
  • Monotonic idempotent operator
  • One-step consequence operator

ASJC Scopus subject areas

  • Artificial Intelligence
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Set based logic programming'. Together they form a unique fingerprint.

Cite this