Formal Semantics Of Verbs For Knowledge Inference
Igor Boyko · 2006
This short paper is focused on the formal semantic model: Universal Semantic Code (USC), which acquires a semantic lexicon from thesauruses and pairs it with formal meaning representation. The USC model postulates: Knowledge Inference (KI) is effective only on the basis of Semantic Knowledge Representation (SKR). The USC model represents formalized meanings of verbs and phrasal verbs as a main component of its semantic classification. USC algebra defines a formula for the verb, limited set of elements, relations between them, and a natural language interpretation of the formula. 1