On the Relationship between Abductive Reasoning and Boolean Minimization

TitleOn the Relationship between Abductive Reasoning and Boolean Minimization
Publication TypeConference Paper
Year of Publication1991
AuthorsV. Dasigi, Krishnaprasad Thirunarayan
PublisherAAAI 91
Abstract

Abductive reasoning involves determining a parsimonious set of explanations that can account for a set of observations. In the Boolean minimization problem, the designer attempts to express a Boolean formula as a sum of products or product of sums expression of the smallest size that satisfies the desired function. In this paper, we show that independent abduction problem can be encoded as an instance of Boolean minimization problem, and conversely, a Boolean minimization problem as an abduction problem. We then consider the appli- cation of the transitivity results from the parsimo- nious covering theory to the Boolean minimization. We conclude with a brief comparison to the related work.

Full Text

K. Thirunarayan and V. Dasigi, On the Relationship between Abductive Reasoning and Boolean Minimization. In: Proceedings of AAAI 91 Workshop: Towards Domain Independent Strategies for Abduction, pp. 84-88, July 1991.
pages: 84-88
year: 1991
venue name: AAAI 91
hasURL: http://knoesis.org/library/download/PCT-BoolMin-1991.pdf
hasBookTitle: AAAI 91 Workshop: Towards Domain Independent Strategies for Abduction

Related Files: