ANALOG: A Logical Language for Natural Language Processing*
Syed Sumera Ali · 1994
We present a formal description of a logical language that is based on a propositional se-mantic network. Variables in this language are not atomic and have potentially complex structure. We start from the individual com-ponents of a semantic network system, atomic nodes and relations that connect nodes, and provide a complete specification for the struc-ture of nodes and a subsumption procedure be-tween nodes. We differ from other work in sub-sumption in that the representation language is uniform and based on an extended first-order predicate logic. The language is partic-ularly suitable for addressing some problems associated with natural language processing, namely the representation of complex natural language descriptions and inference associated with description subsumption. 1