Computation of Semantic Models Directed by Categorial Expressions

Around the core issue of how to construct the literal meaning of natural language, we provide the theory of computation of categorial expressions directed by phrasal structures. This theory uses hierarchial method to describe and interpret language phenomena. We formalize a categorial expression as a directed acyclic graph and define the reduction and unification calculus of categorial expressions.