## Reasoning and revision in hybrid representation systems |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Introduction | 3 |

List of Figures | 6 |

Representation and Management of Knowledge | 11 |

Copyright | |

11 other sections not shown

### Common terms and phrases

ABox abstraction androle Artificial Intelligence assertional assume atleast atmost atomic concept atomic terms belief revision Binary-tree Brachman Brachman and Levesque closed theories complete complete lattices computational defined definition deleted denote disjoint epistemic epistemic relevance extension function finite first-order predicate logic Furthermore Gardenfors greatest fixed point Human hybrid immediate subsumption implementation inference algorithm instance intuitive justifications KANDOR KL-ONE knowledge representation language least fixed point Lemma logic meaning model-theoretic Modern-team NDFA Nebel nodes non-inclusion situation nonmonotonic NP-complete number restrictions obvious p-terms Patel-Schneider possible primitive assignment primitive components primitive concept problem propositions representation formalism representation system restriction-circular concepts result revision operation role role-chain role-fillers Schmolze semantic networks semantic structure Small-team subexpression subset subsumed subsumption relation subsumption relationships TBox Technische Universitat Berlin term introduction term-forming term-subsumption terminological cycles terminological formalism terminological knowledge base terminological representation terminology Theorem theory change TSUB value restriction West Germany world description