Logical Inference through Entailment Relation

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	SMRŽ Pavel
Year of publication	2001
Type	Article in Proceedings
Conference	Proceedings of the 16th Annual Meeting of the Department of Linguistics, Faculty of Philosophy, Aristotle University of Thessaloniki
MU Faculty or unit	Faculty of Informatics
Citation
web	http://nlp.fi.muni.cz/publications/thessaloniki2001_smrz/
Field	Computer hardware and software
Description	The paper deals with logical inference in natural language. The notion of strict implication - entailment is defined first, followed by the discussion of its connection to the most frequent semantic relations included in EuroWordNet - synonymy, hyponymy, meronymy and antonymy. The paper also describes paradigms of regular polysemy and derivational morphology and discusses the possibilities of applying lexical rules.
Related projects:	Human-computer interaction, dialog systems and assistive technologies