On the Relationship between Parsimonious Covering and Boolean Minimization

TitleOn the Relationship between Parsimonious Covering and Boolean Minimization
Publication TypeConference Paper
Year of Publication1991
AuthorsV. Dasigi, Krishnaprasad Thirunarayan
Conference Name National Aerospace and Electronics Conference (NAECON)
Conference LocationDayton Convention Center
Abstract

The 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 problem

Full Text

V. Dasigi, K. Thirunarayan, On the Relationship between Parsimonious Covering and Boolean Minimization. In Proceedings of National Aerospace and Electronics Conference (NAECON), pp. 84 - 88, May 1991.
pages: "84 - 88"
year: 1991
hasURL: http://knoesis.wright.edu/library/download/00165906.pdf

Related Files: