Abstract
We present LTS+ +, an interactive development environment for planning-based hypothesis generation motivated by applications that require multiple hypotheses to be generated in order to reason about the observations. Our system uses expert knowledge and AI planning to reason about possibly incomplete, noisy, or inconsistent observations derived from data by a set of analytics, and generates plausible and consistent hypotheses about the state of the world. Planning-based reasoning is enabled by knowledge models obtained from domain experts that describe entities in the world, their states, and relationship to observations. To address the knowledge engineering challenge, we have developed a language, also called LTS+ + that allows the domain expert to specify the state transition model and encoding of the observations without any knowledge of AI planning or existing planning languages (i.e., PDDL). LTS+ + integrated development environment facilitates model testing and debugging, generating, and visualizing multiple hypotheses for user-provided observations, and supports model deployment for online observation processing, publishing generated hypotheses for analysis by experts or other systems. To compute hypotheses we use an efficient planner that finds a set of high-quality plans. We experimentally evaluate our planning algorithm and conduct empirical evaluation to demonstrate the feasibility of our approach and the benefits of using planning-based reasoning. In this chapter we focus on describing the modeling and the knowledge engineering challenges of our system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
○ is a symbol for next, \({\lozenge }\) is a symbol for eventually.
References
Aljazzar, H., Leue, S.: K*: A heuristic search algorithm for finding the k shortest paths. Artificial Intelligence 175(18), 2129–2154 (2011)
Bauer, A., Botea, A., Grastien, A., Haslum, P., Rintanen, J.: Alarm processing with model-based diagnosis of discrete event systems. In: Proceedings of the 22nd International Workshop on Principles of Diagnosis (DX). pp. 52–59 (2011)
Cassandras, C., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers (1999)
Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science: formal models and semantics B, 995–1072 (1990)
Göbelbecker, M., Keller, T., Eyerich, P., Brenner, M., Nebel, B.: Coming up with good excuses: What to do when no plan can be found. In: Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS). pp. 81–88 (2010)
Grastien, A., Anbulagan, Rintanen, J., Kelareva, E.: Diagnosis of discrete-event systems using satisfiability algorithms. In: Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI). pp. 305–310 (2007)
Haslum, P., Grastien, A.: Diagnosis as planning: Two case studies. In: International Scheduling and Planning Applications Workshop (SPARK). pp. 27–44 (2011)
Hassanzadeh, O., Bhattacharjya, D., Feblowitz, M., Srinivas, K., Perrone, M., Sohrabi, S., Katz, M.: Answering binary causal questions through large-scale text mining: An evaluation using cause-effect pairs from human experts. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI) (2019)
Katz, M., Sohrabi, S.: Reshaping diverse planning. In: Proceedings of the 34th Conference on Artificial Intelligence (AAAI-20) (2020)
Katz, M., Sohrabi, S., Udrea, O.: Top-quality planning: finding practically useful sets of best plans. In: Proceedings of the 34th Conference on Artificial Intelligence (AAAI-20) (2020)
Katz, M., Sohrabi, S., Udrea, O., Winterer, D.: A novel iterative approach to Top-k planning. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (2018)
Magee, J., Kramer, J.: Concurrency - state models and Java programs (2. ed.). Wiley (2006)
McDermott, D.V.: PDDL—The Planning Domain Definition Language. Tech. Rep. TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control (1998)
Ramírez, M., Geffner, H.: Plan recognition as planning. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI). pp. 1778–1783 (2009)
Ramírez, M., Geffner, H.: Probabilistic plan recognition using off-the-shelf classical planners. In: Proceedings of the 24th National Conference on Artificial Intelligence (AAAI). pp. 1121–1126 (2010)
Riabov, A., Sohrabi, S., Udrea, O.: New algorithms for the top-k planning problem. In: Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 24th International Conference on Automated Planning and Scheduling (ICAPS). pp. 10–16 (2014)
Riabov, A.V., Sohrabi, S., Sow, D.M., Turaga, D.S., Udrea, O., Vu, L.H.: Planning-based reasoning for automated large-scale data analysis. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS). pp. 282–290 (2015)
Sohrabi, S., Baier, J., McIlraith, S.: Diagnosis as planning revisited. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR). pp. 26–36 (2010)
Sohrabi, S., Baier, J.A., McIlraith, S.A.: Preferred explanations: Theory and generation via planning. In: Proceedings of the 25th National Conference on Artificial Intelligence (AAAI). pp. 261–267 (2011)
Sohrabi, S., Katz, M., Hassanzadeh, O., Udrea, O., Feblowitz, M.D.: IBM scenario planning advisor: Plan recognition as AI planning in practice. In: Proceedings of Demonstration Track at the 27th International Joint Conference on Artificial Intelligence (IJCAI-18) (2018)
Sohrabi, S., Katz, M., Hassanzadeh, O., Udrea, O., Feblowitz, M.D., Riabov, A.: IBM scenario planning advisor: Plan recognition as AI planning in practice. AI Commun. 32(1), 1–13 (2019)
Sohrabi, S., Riabov, A., Udrea, O.: Plan recognition as planning revisited. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI). pp. 3258–3264 (2016)
Sohrabi, S., Riabov, A., Udrea, O.: State projection via AI planning. In: Proceedings of the 31st Conference on Artificial Intelligence (AAAI-17). pp. 4611–4617 (2017)
Sohrabi, S., Riabov, A., Udrea, O., Hassanzadeh, O.: Finding diverse high-quality plans for hypothesis generation. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI). pp. 1581–1582 (2016)
Sohrabi, S., Riabov, A., Udrea, O., Yuan, F.: Using lightweight semantic models to assist risk management in a large enterprise. In: Proceedings of the 16th International Semantic Web Conference - Industry Track (ISWC-17) (2017)
Sohrabi, S., Riabov, A.V., Katz, M., Udrea, O.: An AI planning solution to scenario generation for enterprise risk management. In: Proceedings of the 32nd National Conference on Artificial Intelligence (AAAI). pp. 160–167 (2018)
Sohrabi, S., Udrea, O., Riabov, A.: Hypothesis exploration for malware detection using planning. In: Proceedings of the 27th National Conference on Artificial Intelligence (AAAI). pp. 883–889 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Sohrabi, S., Udrea, O., Riabov, A., Hassanzadeh, O. (2020). Interactive Planning-Based Hypothesis Generation with LTS+ +. In: Vallati, M., Kitchin, D. (eds) Knowledge Engineering Tools and Techniques for AI Planning. Springer, Cham. https://doi.org/10.1007/978-3-030-38561-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-38561-3_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-38560-6
Online ISBN: 978-3-030-38561-3
eBook Packages: Computer ScienceComputer Science (R0)