Reasoning and Revision in Hybrid Representation Systems |
Contents
Introduction | 3 |
Representation and Management of Knowledge | 11 |
The Architecture of KnowledgeBased Systems | 26 |
Copyright | |
16 other sections not shown
Other editions - View all
Common terms and phrases
ABox abstraction algorithm androle Artificial Intelligence assume atleast atmost atomic concepts atomic terms belief revision Berlin Binary-tree Brachman and Levesque c₁ complete complete lattices Computer concept expression defined definition deleted denote described in Sect disjoint editors epistemic relevance extension function finite Gärdenfors greatest fixed point hybrid immediate subsumption inference algorithm instance intuitive justifications KANDOR KL-ONE knowledge representation language least fixed point Lemma logic means model-theoretic Modern-team Mylopoulos NDFA Nebel nodes non-inclusion situation nonmonotonic NP-complete number restrictions p-terms Patel-Schneider possible primitive assignment primitive components primitive concept problem propositions representation formalism representation system restriction-circular concepts revision operation role role-fillers Schmolze semantic networks semantic structure subexpression subset subsumed subsumption relation subsumption relationships TBox Technische Universität Berlin term introduction term-forming term-subsumption terminological cycles terminological formalism terminological knowledge base terminological revision terminology Theorem theory change TSUB value restriction von Luck West Germany world description