Abstract:
This article provides an analysis of several methods to formalize semantics, an examination of their
capabilities and restraints, a setting of requirements for intelligent systems and programs creation.
Keywords:formal semantics, conceptual dependency, frame, semantic role, deep cases.