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. ProvettiPenultimo
;
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.
| 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.
