TY - GEN

T1 - Probabilistic Semantics for Cost Based Abduction

AU - Charniak, Eugene

AU - Shimony, Solomon E.

N1 - Funding Information:
*This work has been supported in part by the National Science Foundation under grants IST 8416034 and IST 8515005 and Office of Naval Research under grant N00014-‘79-C-0529. We also wish to thank Robert Goldman for helpful comments about the semantics, and Randy Calistri for proof reading earlier versions of this paper.
Publisher Copyright:
Copyright © 1990, AAAI (www.aaai.org). All rights reserved.

PY - 1990/1/1

Y1 - 1990/1/1

N2 - Cost-based abduction attempts to find the best explanation for a set of facts by finding a 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.

AB - Cost-based abduction attempts to find the best explanation for a set of facts by finding a 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.

UR - http://www.scopus.com/inward/record.url?scp=84990559458&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84990559458

T3 - Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990

SP - 106

EP - 111

BT - Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990

PB - AAAI press

T2 - 8th National Conference on Artificial Intelligence, AAAI 1990

Y2 - 29 July 1990 through 3 August 1990

ER -