Advertisement

Interactive Planning-Based Hypothesis Generation with LTS+ +

  • Shirin SohrabiEmail author
  • Octavian Udrea
  • Anton Riabov
  • Oktie Hassanzadeh
Chapter
  • 10 Downloads

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.

References

  1. 1.
    Aljazzar, H., Leue, S.: K*: A heuristic search algorithm for finding the k shortest paths. Artificial Intelligence 175(18), 2129–2154 (2011)MathSciNetCrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Cassandras, C., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers (1999)Google Scholar
  4. 4.
    Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science: formal models and semantics B, 995–1072 (1990)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Haslum, P., Grastien, A.: Diagnosis as planning: Two case studies. In: International Scheduling and Planning Applications Workshop (SPARK). pp. 27–44 (2011)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Katz, M., Sohrabi, S.: Reshaping diverse planning. In: Proceedings of the 34th Conference on Artificial Intelligence (AAAI-20) (2020)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Magee, J., Kramer, J.: Concurrency - state models and Java programs (2. ed.). Wiley (2006)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)MathSciNetCrossRefGoogle Scholar
  22. 22.
    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)Google Scholar
  23. 23.
    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)Google Scholar
  24. 24.
    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)Google Scholar
  25. 25.
    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)Google Scholar
  26. 26.
    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)Google Scholar
  27. 27.
    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)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Shirin Sohrabi
    • 1
    Email author
  • Octavian Udrea
    • 1
  • Anton Riabov
    • 2
  • Oktie Hassanzadeh
    • 1
  1. 1.IBM ResearchYorktown HeightsUSA
  2. 2.Logitech Inc.NewarkUSA

Personalised recommendations