Probabilstic semantics for cost based abduction

E Charniak , Eyal Shlomo Shimony

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Minimal cost proof for the facts. The costs are computed by summing the costs of the assumptions necessary for the proof plus the cost of the rules. We examine existing methods for constructing explanations(proofs), as a minimization problem on a DAG. We then define a probabilistic semantics for the costs, and prove the equivalence of the cost minimization problem to the Bayesian network MAP solution of the system.
Original languageEnglish GB
Title of host publicationProceedings: Eighth National Conference on Artificial Intelligence, Vols.1and 2
StatePublished - 1990


Dive into the research topics of 'Probabilstic semantics for cost based abduction'. Together they form a unique fingerprint.

Cite this