Knowledge Representation and Reasoning with Transparent Intensional Logic

• Autoři: HADACZ Leo; HORÁK Aleš
• Rok publikování: 2000
• Druh: Článek ve sborníku
• Konference: Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://nlp.fi.muni.cz/publications/jckbse2000_hadacz_hales/
• Obor: Teorie informace
• Klíčová slova: transparent intensional logic; knowledge base; reasoning
• Popis: Článek popisuje návrh systému pro rezprezentaci a vyvozování znalostí založeném na transparentní intenzionální logice (TIL).

Související projekty

• Interakce člověka s počítačem, dialogové systémy a asistivní technologie