We argue for a semantical modification of the language DLP<. We show by examples that the current DLP< representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of DLP< that yields the expected answers in some examples that we consider significant.

Disjunctive logic programs with inheritance revisited (a preliminary report) / S. Costantini, R.P. Otero, A. Provetti, T.C. Son (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Foundations of Intelligent Systems / [a cura di] M.-S. Hacid, Z.W. Raś, D.A. Zighed, Y. Kodratoff. - [s.l] : Springer Verlag, 2002. - ISBN 978-3-540-43785-7. - pp. 294-302 (( Intervento presentato al 13. convegno International Symposium on Methodologies for Intelligent Systems tenutosi a Lyon nel 2002 [10.1007/3-540-48050-1_33].

Disjunctive logic programs with inheritance revisited (a preliminary report)

A. Provetti
Penultimo
;
2002

Abstract

We argue for a semantical modification of the language DLP<. We show by examples that the current DLP< representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of DLP< that yields the expected answers in some examples that we consider significant.
Knowledge Representation; Logic Programming; Colored Object; Ground Rule; Strong Negation
Settore INF/01 - Informatica
2002
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
costantini-disjunctive-ISMIS02.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 156.53 kB
Formato Adobe PDF
156.53 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/965218
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact