Abstract
In engineering domains, AI decision making is often confronted with problems that lie at the intersection of logic-based and probabilistic reasoning. A typical example is the plan assessment problem studied in this paper, which comprises the identification of possible faults and the computation of remaining success probabilities based on a system model. In addition, AI solutions to such problems need to be tailored towards the needs of engineers. This is being addressed by the recently developed high-level, expressive modeling formalism called probabilistic hierarchical constraint automata (PHCA).
This work introduces a translation from PHCA models to statistical relational models, which enables a wide array of probabilistic reasoning solutions to be leveraged, e.g., by grounding to problem-specific Bayesian networks. We illustrate this approach for the plan assessment problem, and compare it to an alternative logic-based approach that translates the PHCA models to lower-level logic models and computes solutions by enumerating most likely hypotheses. Experimental results on realistic problem instances demonstrate that the probabilistic reasoning approach is a promising alternative to the logic-based approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Maier, P., Sachenbacher, M., Rühr, T., Kuhn, L.: Automated Plan Assessment in Cognitive Manufacturing. Adv. Eng. Informat. (May 2010)
Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann Publishers Inc., San Francisco (1992)
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)
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)
Chavira, M., Darwiche, A.: Compiling Bayesian Networks with Local Structure. In: Proc. IJCAI, pp. 1306–1312 (2005)
Darwiche, A.: A Differential Approach to Inference in Bayesian Networks. Journal of the ACM 50(3), 280–305 (2003)
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)
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)
Knox, B., Mengshoel, O.: Diagnosis and Reconfiguration using Bayesian Networks: An Electrical Power System Case Study. In: Workshop Proc. SAS (2009)
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)
Sachenbacher, M., Williams, B.: Diagnosis as Semiring-based Constraint Optimization. In: Proc. ECAI 2004. Valencia, Spain (2004)
Jain, D., Waldherr, S., Beetz, M.: Bayesian Logic Networks. Technical report, Technische Universität München (2009)
Mateescu, R., Dechter, R.: Mixed Deterministic and Probabilistic Networks. Annals of Mathematics and Artificial Intelligence 54(1), 3–51 (2008)
Poole, D.: First-Order Probabilistic Inference. In: IJCAI, pp. 985–991 (2003)
Maier, P., Sachenbacher, M.: Receding Time Horizon Self-Tracking and Assessment for Autonomous Manufacturing. In: Workshop Proc. Self-X (September 2010)
Gogate, V., Dechter, R.: SampleSearch: A Scheme that Searches for Consistent Samples. In: Proc. AISTATS (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maier, P., Jain, D., Sachenbacher, M. (2011). Compiling AI Engineering Models for Probabilistic Inference. In: Bach, J., Edelkamp, S. (eds) KI 2011: Advances in Artificial Intelligence. KI 2011. Lecture Notes in Computer Science(), vol 7006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24455-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-24455-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24454-4
Online ISBN: 978-3-642-24455-1
eBook Packages: Computer ScienceComputer Science (R0)