Please use this identifier to cite or link to this item:
doi:10.22028/D291-24893 | Title: | Defaults, preorder semantics and circumscription |
| Author(s): | Schlechta, Karl |
| Language: | English |
| Year of Publication: | 1992 |
| OPUS Source: | Kaiserslautern ; Saarbrücken : DFKI, 1992 |
| SWD key words: | Künstliche Intelligenz |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | We examine questions related to translating defaults into circumscription. Imielinski has examined the concept of preorder semantics as an abstraction from specific systems of circumscription. We give precise definitions, characterize preorder semantics syntactically and examine the translatability of one default into preorder semantics. Finally, we give a rather bleak outlook on the translation of defaults into circumscription. |
| Link to this record: | urn:nbn:de:bsz:291-scidok-36391 hdl:20.500.11880/24949 http://dx.doi.org/10.22028/D291-24893 |
| Series name: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
| Series volume: | 92-60 |
| Date of registration: | 27-Jun-2011 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| RR_92_60.pdf | 180,48 kB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.