Pointwise circumscription is equivalent to predicate completion (sometimes) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1988

Pointwise circumscription is equivalent to predicate completion (sometimes)

Yves Moinard
  • Fonction : Auteur
  • PersonId : 869101

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Format Présentation
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-01162532 , version 1

Citer

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⟩
170 Consultations
63 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More