Knowledge Representation and Reasoning with Transparent Intensional Logic
| Authors | |
|---|---|
| Year of publication | 2000 |
| Type | Article in Proceedings |
| Conference | Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000 |
| MU Faculty or unit | |
| Citation | |
| web | http://nlp.fi.muni.cz/publications/jckbse2000_hadacz_hales/ |
| Field | Information theory |
| Keywords | transparent intensional logic; knowledge base; reasoning |
| Description | This paper describes the design of a system for knowledge representation and reasoning (KRR) based on transparent intensional logic (TIL). It depicts the basic principles of temporal version of TIL based on the extended type hierarchy and presents our suggested method of inference from facts based on natural language input. We show the advantages of using TIL for the knowledge representation of this kind of data and describe particular implementation strategy of KRR. |
| Related projects: |