Semantics of Natural Language Expressions and Inference Verification in TIL

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

HORÁK Aleš HADACZ Leo

Rok publikování 2001
Druh Článek ve sborníku
Konference Proceedings of ICoS-3
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Teorie informace
Klíčová slova transparent intensional logic; inference
Popis This paper describes the design and implementation of a system for machine controlled inference of facts obtained from a common natural language sentences (the system works with Czech, but is not limited to any particular language). The knowledge representation level of the system is based on Transparent Intensional Logic (TIL), which is further referenced in the text. We also demonstrate the inference verification ability of the system by means of a commented example.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info