Pointwise circumscription is equivalent to predicate completion (sometimes) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1988

Pointwise circumscription is equivalent to predicate completion (sometimes)

Yves Moinard
  • Function : Author
  • PersonId : 869101

Abstract

Two ways of minimizing positive information are predicate completion, which comes from logic programming theory, and circumscription, which is one of the best known methods of non-monotonic reasoning. Here, it is shown that, under certain hypothesis, there is equivalence between predicate completion and a special kind of circumscription.
Fichier principal
Vignette du fichier
PointwiseCirc88medium.pdf (5.32 Mo) Télécharger le fichier
TransPointwiseCirc88.pdf (2.5 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Presentation
Origin : Files produced by the author(s)

Dates and versions

hal-01162532 , version 1 (10-06-2015)

Identifiers

  • HAL Id : hal-01162532 , version 1

Cite

Yves Moinard. Pointwise circumscription is equivalent to predicate completion (sometimes). Fifth International Conference of Logic Programming (ICLP 88), Aug 1988, Seattle, United States. ⟨hal-01162532⟩
167 View
52 Download

Share

Gmail Facebook X LinkedIn More