Computer Science Faculty Publications
Logical Form Generation as Abduction - Part II. A Dual-Route Parsimonious Covering Approach
Document Type
Article
Abstract
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]
Repository Citation
Dasigi, Venu, "Logical Form Generation as Abduction - Part II. A Dual-Route Parsimonious Covering Approach" (1994). Computer Science Faculty Publications. 6.
https://scholarworks.bgsu.edu/comp_sci_pub/6
Publication Date
7-1994
Publication Title
International Journal of Intelligent Systems
DOI
https://doi.org/10.1002/int.4550090703
Start Page No.
609
End Page No.
651