Computer Science Faculty Publications


Logical Form Generation as Abduction - Part I. Representation of Linguistic Concepts

Document Type



For some time, researchers have become increasingly aware that some aspects of natural language processing can be viewed as adductive inference. This article describes knowledge representation in dual-route parsimonious covering theory, based on an existing diagnostic adductive inference model, extended to address issues specific to logic form generation. The two routes of covering deal with syntactic and semantic aspects of language, and are integrated by attributing both syntactic and semantic facets to each “open class” concept. Such extensions reflect some fundamental differences between the two task domains. The syntactic aspect of covering is described to show the differences, and some interesting properties are established. The semantic associations are characterized in terms of how they can be used in an adductive model. A major significance of this work is that it paves the way for a nondeductive inference method for word sense disambiguation and logical form generation, exploiting the associative linguistic knowledge. This approach sharply contrasts with others, where knowledge has usually been laboriously encoded into pattern-action rules that are hard to modify. Further, this work represents yet another application for the general principle of parsimonious covering. [ABSTRACT FROM AUTHOR]

Publication Date


Publication Title

International Journal of Intelligent Systems


Start Page No.


End Page No.


This document is currently not available here.