32 informal semantics of inheritance

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: nheritance : : : : : : : : : : : : : : : : 3.4 Interpretation Structures : : : : : : : : : : : : : : : : : : : : : : : : : 3.5 Model Theoretic Semantics : : : : : : : : : : : : : : : : : : : : : : : : 3.5.1 Canonical Models : : : : : : : : : : : : : : : : : : : : : : : : : 3.5.2 Correspondence between Herbrand Structures and ORLog Structures : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3.5.3 Intended Models : : : : : : : : : : : : : : : : : : : : : : : : : 3.6 Proof Theory : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3.6.1 Closure of a Program : : : : : : : : : : : : : : : : : : : : : : : 3.6.2 Proof Rules : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3.7 Fixpoint Semantics : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4.1 Related Research and Motivation : : : : : : : : : : 4.2 Reducing Inheritance to Deductions : : : : : : : : : 4.2.1 Encoding ORLog in Predicate Logic : : : : 4.3 Reduction by Completion : : : : : : : : : : : : : : 4.3.1 L-closure of Programs : : : : : : : : : : : : 4.3.2 I-completion : : : : : : : : : : : : : : : : : : 4.3.3 Computing Inheritability of Clauses using r 4.3.4 ORLog to Coral Translation Algorithm : : : 4.4 Implementability of ORLog : : : : : : : : : : : : : 34 34 35 37 37 40 46 53 53 56 57 60 60 62 64 4 Inheritance Reduction as an Aid to Implementation of ORLog : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 71 73 75 75 78 79 80 82 83 85 5 Design and Implementation of ORLog ix 5.1 Related Research and Motivation : : : : : : : : : : : : : : : : : : : : 5.1.1 CORAL++ : : : : : : : : : : : : : : : : : : : : : : : : : : : : 86 87 87 5.1.2 OOLP+ : : : : : : : : : : : : : 5.1.3 ROCK & ROLL : : : : : : : : : 5.2 Objectives of the Interface : : : : : : : 5.3 Implementation of the ORLog System 5.3.1 Overview of the Interface : : : : 5.3.2 Systems Architecture : : : : : : 5.3.3 Design Issues : : : : : : : : : : 5.3.4 E ciency Issues : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 88 89 90 90 90 91 92 93 6 Comparison with Contemporary Research 6.1 Current Approaches to Behavioral Inheritance : : : : : : : : : : : : : 94 6.1.1 Research in Arti cial Intelligence and Knowledge Representation 96 6.1.2 Semantics Based on Translation : : : : : : : : : : : : : : : : : 97 6.1.3 Comparison with F-logic : : : : : : : : : : : : : : : : : : : : : 99 6.2 Comments on Implementation Issues : : : : : : : : : : : : : : : : : : 100 7.1 Issues that are not Covered in this Thesis : : 7.2 Future Work : : : : : : : : : : : : : : : : : : 7.2.1 Function Symbols in ORLog : : : : : 7.2.2 Dynamic Object Hierarchies : : : : : 7.2.3 Encapsulation in ORLog : : : : : : : 7.2.4 Enhancing the ORLog User Interface 7.2.5 Updates and Query Optimization : : 7.2.6 Schema Integration and Evolution : : 94 7 Conclusion and Future Research : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 102 104 104 105 106 106 107 108 108 Bibliography 109 x List of Figures 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Partial McDonnell Douglas Aircraft Design Database Scheme. : : : : 12 Alternative approaches to attribute based inter-object relationships. : 17 ISA restrictions. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 31 An Aircraft Design Database Scheme. : : : : : : : : : : : : : : : : : : 42 Example program P : : : : : : : : : : : : : : : : : : : : : : : : : : : 43 Example program P1 : : : : : : : : : : : : : : : : : : : : : : : : : : : 44 Intended model M1 for the example program P1. : : : : : : : : : : : 56 Classical inference rules. : : : : : : : : : : : : : : : : : : : : : : : : : 62 Inheritance rule of ORLog. : : : : : : : : : : : : : : : : : : : : : : : : 63 Classi cation of Languages According to their Semantics and Approach. 72 Implementation of r using a strati ed predicate logic program P . : 82 Dependency relation of predicates in P . : : : : : : : : : : : : : : : : 83 ORLog to Coral translation algorithm. : : : : : : : : : : : : : : : : : 84 ORLog systems architecture. : : : : : : : : : : : : : : : : : : : : : : : 92 The Tweety problem in predicate logic. : : : : : : : : : : : : : : : : : 96 The ORLog representation of the Tweety program. : : : : : : : : : : 97 An OOLP+ representation of the Tweety program. : : : : : : : : : : 98 Prolog representation of the Tweety program in OOLP+. : : : : : : : 99 New de nition of r to incorporate re-introduction of properties. : : : 105 0 r r xi Chapter 1 Introduction 1.1 Motivation \Object orientat...
View Full Document

Ask a homework question - tutors are online