Temporal object-oriented logic | |
| Author | Suttinan Pengsart |
| Call Number | AIT Thesis no. CS-95-31 |
| Subject(s) | Logic programming Object-oriented programming (Computer science) |
| Note | A thesis submitted in partial fulfilment of the requirement for the degree of Master of Science |
| Publisher | Asian Institute of Technology |
| Abstract | Combination of Object-oriented and Logic programming paradigms is an interesting field of research, as such paradigms have complementary advantages. The former paradigm admits complex objects, object identities, inheritance, encapsulation and polymorphism, the latter object relationship as well as reasoning and deductive retrieval through unification and backtracking. One of the best known of such a combination is Frame-logic (F-logic). This study embeds temporal logic into F-logic to get a new formalism, called Temporal Object-Oriented Logic (TOOL). TOOL provides five future and five past temporal operators that allow users to capture and describe dynamic change of objects, classes and their relationships in the past and the future. TOOL's inference rules are modified from F-logic by adding temporal constraint which enable TOOL to reason about time aspects. Soundness and completeness of the inference system are proved. TOOL deals with a set of possible contexts which are captured over an infinite sequence of states. Therefore, TOOL is suitable for many computer applications such as computer aided design, office information systems, decision support systems, military command and control systems, and real-time systems. |
| Year | 1995 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Vilas Wuwongse; |
| Examination Committee(s) | Batanov, Dentcho N.;Phan, Minh Dung; |
| Scholarship Donor(s) | Telephone Organization of Thailand; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1995 |