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 -