dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.editor | Lakemeyer G. | en |
dc.contributor.editor | Nebel B. | en |
dc.creator | Kakas, Antonis C. | en |
dc.date.accessioned | 2019-11-13T10:40:26Z | |
dc.date.available | 2019-11-13T10:40:26Z | |
dc.date.issued | 1994 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54118 | |
dc.description.abstract | We show how recent developments in the study of negation as failure of Logic Programming can be used to define a general framework for Default Reasoning. Negation as failure can be viewed as a form of hypotheses with which we extend the underlying theory, given by the logic program, provided that this extension satisfies an appropriate criterion, called acceptability. The generalization of logic programming to more general representation frameworks is done by adapting this view of NAF and the basic notion of acceptability to the new frameworks. In general, an extension of a given theory by a set of hypotheses (e.g. defaults) is acceptable if it can render any other conflicting extension not acceptable thus ensuring that it is a “selfjustified” set of assumptions. We compare our framework with other existing non-monotonic frameworks such as Default Logic and Theorist. In particular, we will show how our framework includes and extends Default Logic. © 1994, Springer Verlag. All rights reserved. | en |
dc.source | Workshop on Theoretical Foundations of Knowledge Representation and Reasoning held in conjunction with 10th European Conference on Artificial Intelligence, ECAI 1992 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-30244525159&partnerID=40&md5=47ea23256e351cb5def7ac20c93ba177 | |
dc.subject | Computer circuits | en |
dc.subject | Logic programming | en |
dc.subject | Knowledge representation | en |
dc.subject | Logic programs | en |
dc.subject | Default logic | en |
dc.subject | Default reasoning | en |
dc.subject | Negation as failures | en |
dc.title | Default reasoning via negation as failure | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 810 LNAI | en |
dc.description.startingpage | 160 | |
dc.description.endingpage | 178 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 155009 | en |
dc.description.notes | Cited By :6</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |