Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{345438, author = {Hadacz, Leo and Horák, Aleš}, address = {Amsterdam}, booktitle = {Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000}, keywords = {transparent intensional logic; knowledge base; reasoning}, language = {eng}, location = {Amsterdam}, isbn = {1-58603-060-4}, pages = {74-80}, publisher = {IOS Press}, title = {Knowledge Representation and Reasoning with Transparent Intensional Logic}, url = {http://nlp.fi.muni.cz/publications/jckbse2000_hadacz_hales/}, year = {2000} }
TY - JOUR ID - 345438 AU - Hadacz, Leo - Horák, Aleš PY - 2000 TI - Knowledge Representation and Reasoning with Transparent Intensional Logic PB - IOS Press CY - Amsterdam SN - 1586030604 KW - transparent intensional logic KW - knowledge base KW - reasoning UR - http://nlp.fi.muni.cz/publications/jckbse2000_hadacz_hales/ N2 - 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. ER -
HADACZ, Leo a Aleš HORÁK. Knowledge Representation and Reasoning with Transparent Intensional Logic. In \textit{Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000}. Amsterdam: IOS Press, 2000, s.~74-80. ISBN~1-58603-060-4.
|