Computer Science Faculty Publications


Logical Form Generation as Abduction - Part II. A Dual-Route Parsimonious Covering Approach

Document Type



Abductive inferences are commonplace during natural language processing. Having identified some limitations of an existing parsimonious covering model of adductive diagnostic inference, we developed an extended, dual-route version to address issues in word sense disambiguation and logical form generation. The details of representing knowledge in this framework and the syntactic route of covering are described in a companion article [V. Dasigi, Int. J. Intell. Syst., 9, 571-608 (1994)]. Here, we describe the semantic covering process in detail. A dual-route algorithm that integrates syntactic and semantic covering is given. Taking advantage of the “transitivity” of irredundant syntactic covering, plausible semantic covers are searched for, based on some heuristics, in the space of irredundant syntactic covers. Syntactic covering identifies all possible candidate.; for semantic covering, which in turn, helps focus syntactic covering. Attributing both syntactic and semantic facets to “open-class” linguistic concepts makes this integration possible. An experimental prototype has been developed to provide a proof of- concept for these ideas in the context of expert system interfaces. The prototype has at least some ability to handle ungrammatical sentences, to perform some nonmonotonic inferences, etc. We believe this work provides a starting point for a nondeductive inference method for logical form generation, exploiting the associative linguistic knowledge. [ABSTRACT FROM AUTHOR]

Publication Date


Publication Title

International Journal of Intelligent Systems

This document is currently not available here.