TY - GEN
T1 - Causal simulation and diagnosis of dynamic systems
AU - Panati, Andrea
AU - Dupré, Daniele Theseider
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - Previous work in model-based reasoninga nd in reasoning about action and change has shown that causal knowledge is essential to perform proper inferences about discrete changes in a system modeled by a set of logical or qualitative constraints. In this work we show that causal information can also be conveniently used to greatly improve the efficiency of qualitative simulation, prunings purious behaviors and guiding the computation of the “successor” relation, yet maintainingt he ability to deal with ambiguous predictions. The advantages of the approach are demonstrated on test cases, including one from a real application, using a diagnostic engine based on a causaldirected constraint solver.
AB - Previous work in model-based reasoninga nd in reasoning about action and change has shown that causal knowledge is essential to perform proper inferences about discrete changes in a system modeled by a set of logical or qualitative constraints. In this work we show that causal information can also be conveniently used to greatly improve the efficiency of qualitative simulation, prunings purious behaviors and guiding the computation of the “successor” relation, yet maintainingt he ability to deal with ambiguous predictions. The advantages of the approach are demonstrated on test cases, including one from a real application, using a diagnostic engine based on a causaldirected constraint solver.
UR - http://www.scopus.com/inward/record.url?scp=84874594118&partnerID=8YFLogxK
U2 - 10.1007/3-540-45411-x_15
DO - 10.1007/3-540-45411-x_15
M3 - Conference contribution
AN - SCOPUS:84874594118
SN - 3540426019
SN - 9783540426011
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 135
EP - 146
BT - AIIA 2001
A2 - Esposito, Floriana
PB - Springer Verlag
T2 - 7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001
Y2 - 25 September 2001 through 28 September 2001
ER -