Eingang zum Volltext in SciDok
Lizenz
Report (Bericht) zugänglich unter
An alternative to theta-subsumption based on terminological reasoning
URN: urn:nbn:de:bsz:291-scidok-37853
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3785/
Quelle:
(1992) Kaiserslautern ; Saarbrücken : DFKI, 1992
pdf-Format:
Dokument 1.pdf (6.100 KB)
SWD-Schlagwörter:
Künstliche Intelligenz
Institut:
DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe:
Informatik
Dokumentart:
Report (Bericht)
Schriftenreihe:
Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Bandnummer:
92-38
Sprache:
Englisch
Erstellungsjahr:
1992
Publikationsdatum:
01.07.2011
Kurzfassung auf Englisch:
Clause subsumption and rule ordering are long-standing research topics in machine learning (ML). Since logical implication can be reduced to rule-subsumption, the general subsumption problem for Horn clauses is undecidable [Plotkin, 1971b]. In this paper we suggest an alternative knowledge-representation formalism for ML that is based on a terminological logic. It provides a decidable rule-ordering which is at least as powerful as Theta-subsumption.
Lizenz:
Standard-Veröffentlichungsvertrag