01104nas a2200121 4500008004100000245007700041210006900118260001200187520070300199100001500902700003200917856003300949 1991 eng d00aOn the Relationship between Abductive Reasoning and Boolean Minimization0 aRelationship between Abductive Reasoning and Boolean Minimizatio bAAAI 913 aAbductive 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.1 aDasigi, V.1 aThirunarayan, Krishnaprasad uhttp://knoesis.org/node/190001079nas a2200121 4500008004100000245007900041210006900120260002900189520065900218100001500877700003200892856003300924 1991 eng d00aOn the Relationship between Parsimonious Covering and Boolean Minimization0 aRelationship between Parsimonious Covering and Boolean Minimizat aDayton Convention Center3 aThe authors explain some of the relationships of the Boolean minimization problem (BMP) to a formalization of abductive inference called parsimonious covering (PC). Abductive inference often occurs in diagnostic problems such as finding the causes of circuit faults or determining the disease causing the symptoms reported by a patient. Parsimonious covering involves covering all observed facts by means of a parsimonious set of explanations that can account for the observation. It is shown that only the prime implicants of a given Boolean function in a BMP, rather than any general product terms, are considered analogous to disorders in a PC problem1 aDasigi, V.1 aThirunarayan, Krishnaprasad uhttp://knoesis.org/node/1220