Compiling AI engineering models for probabilistic inference

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7006 LNAI, Issue , 2011, Pages 191-203

  Maier, Paul ^a   Jain, Dominik ^a   Sachenbacher, Martin ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT AUTOMATA; ENGINEERING DOMAINS; ENGINEERING MODELS; LOGIC MODELS; LOGIC-BASED APPROACH; MODELING FORMALISMS; PROBABILISTIC INFERENCE; PROBABILISTIC REASONING; PROBLEM INSTANCES; RELATIONAL MODEL; SYSTEM MODELS;

AUTOMATA THEORY; BAYESIAN NETWORKS; DECISION MAKING; INFERENCE ENGINES; INTELLIGENT AGENTS; MODELS; MULTI AGENT SYSTEMS; POTASSIUM IODIDE;

PROBABILISTIC LOGICS;

EID: 80053973758     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24455-1_18     Document Type: Conference Paper

References (17)

1. Kurien, J., Nayak, P.P.: Back to the Future for Consistency-Based Trajectory Tracking. In: Proc. AAAI, pp. 370-377. AAAI Press, Menlo Park (2000)
2. Maier, P., Sachenbacher, M., Rühr, T., Kuhn, L.: Automated Plan Assessment in Cognitive Manufacturing. Adv. Eng. Informat. (May 2010)
3. Hamscher,W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann Publishers Inc., San Francisco (1992)
4. Williams, B.C., Chung, S., Gupta, V.: Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. In: Proc. IJCAI, pp. 579-590 (2001)
5. Mikaelian, T.,Williams, C.B., Sachenbacher, M.: Model-based Monitoring and Diagnosis of Systems with Software-Extended Behavior. In: Proc. AAAI. AAAI Press, Pittsburgh (2005)
6. Chavira, M., Darwiche, A.: Compiling Bayesian Networks with Local Structure. In: Proc. IJCAI, pp. 1306-1312 (2005)
7. Darwiche, A.: A Differential Approach to Inference in Bayesian Networks. Journal of the ACM 50(3), 280-305 (2003)
8. Maier, P., Jain, D., Waldherr, S., Sachenbacher, M.: Plan Assessment for Autonomous Manufacturing as Bayesian Inference. In: Dillmann, R., Beyerer, J., Hanebeck, U.D., Schultz, T. (eds.) KI 2010. LNCS (LNAI), vol. 6359, pp. 263-271. Springer, Heidelberg (2010)
9. Abreu, R., Zoeteweij, P., Van Gemund, A.J.C.: A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. In: Proc. IJCAI, pp. 653-658. Morgan Kaufmann Publishers Inc., San Francisco (2009)
10. Knox, B., Mengshoel, O.: Diagnosis and Reconfiguration using Bayesian Networks: An Electrical Power System Case Study. In: Workshop Proc. SAS (2009)
11. Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol. 23. American Mathematical Society, Providence (2004)
12. Sachenbacher, M., Williams, B.: Diagnosis as Semiring-based Constraint Optimization. In: Proc. ECAI 2004. Valencia, Spain (2004)
13. Jain, D., Waldherr, S., Beetz, M.: Bayesian Logic Networks. Technical report, Technische Universität München (2009)
14. Mateescu, R., Dechter, R.:Mixed Deterministic and Probabilistic Networks. Annals ofMathematics and Artificial Intelligence 54(1), 3-51 (2008)
15. Poole, D.: First-Order Probabilistic Inference. In: IJCAI, pp. 985-991 (2003)
16. Maier, P., Sachenbacher, M.: Receding Time Horizon Self-Tracking and Assessment for Autonomous Manufacturing. In: Workshop Proc. Self-X (September 2010)
17. Gogate, V., Dechter, R.: SampleSearch: A Scheme that Searches for Consistent Samples. In: Proc. AISTATS (2007)