Publication details

Knowledge Representation and Reasoning with Transparent Intensional Logic

Authors

HADACZ Leo HORÁK Aleš

Year of publication 2000
Type Article in Proceedings
Conference Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000
MU Faculty or unit

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info