Knowledge Engineering for Planning-Based Hypothesis Generation

08/27/2014
by   Shirin Sohrabi, et al.
0

In this paper, we address the knowledge engineering problems for hypothesis generation motivated by applications that require timely exploration of hypotheses under unreliable observations. We looked at two applications: malware detection and intensive care delivery. In intensive care, the goal is to generate plausible hypotheses about the condition of the patient from clinical observations and further refine these hypotheses to create a recovery plan for the patient. Similarly, preventing malware spread within a corporate network involves generating hypotheses from network traffic data and selecting preventive actions. To this end, building on the already established characterization and use of AI planning for similar problems, we propose use of planning for the hypothesis generation problem. However, to deal with uncertainty, incomplete model description and unreliable observations, we need to use a planner capable of generating multiple high-quality plans. To capture the model description we propose a language called LTS++ and a web-based tool that enables the specification of the LTS++ model and a set of observations. We also proposed a 9-step process that helps provide guidance to the domain expert in specifying the LTS++ model. The hypotheses are then generated by running a planner on the translated LTS++ model and the provided trace. The hypotheses can be visualized and shown to the analyst or can be further investigated automatically.

READ FULL TEXT
research
03/09/2000

Planning with Incomplete Information

Planning is a natural domain of application for frameworks of reasoning ...
research
12/01/2021

Interactive Model with Structural Loss for Language-based Abductive Reasoning

The abductive natural language inference task (αNLI) is proposed to infe...
research
05/28/2021

Automated Generation of Robotic Planning Domains from Observations

Automated planning enables robots to find plans to achieve complex, long...
research
04/19/2018

Preference-Guided Planning: An Active Elicitation Approach

Planning with preferences has been employed extensively to quickly gener...
research
04/01/2022

Digital Mentor: towards a conversational bot to identify hypotheses for software startups

Software startups develop innovative, software-intensive product and ser...
research
05/25/2023

On the Planning Abilities of Large Language Models – A Critical Investigation

Intrigued by the claims of emergent reasoning capabilities in LLMs train...
research
08/16/2018

From MVPs to pivots: a hypothesis-driven journey of two software startups

Software startups have emerged as an interesting multiperspective resear...

Please sign up or login with your details

Forgot password? Click here to reset