Pointwise circumscription is equivalent to predicate completion (sometimes)
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
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)
Origine : Fichiers produits par l'(les) auteur(s)