Logical analysis of natural language semantics to solve the problem of computer understanding

Yuriy Ostapov

An object--oriented approach to create a natural language understanding system is considered. The understanding program is a formal system built on the base of predicative calculus…