2017/09/29 by Maria Fox, Fox, Maria, Derek Long +3 · 5 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #I.2 #I.2.9 #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.1709.10256
openalex publication_date 2017/09/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
As AI is increasingly being adopted into application solutions, the challenge of supporting interaction with humans is becoming more apparent. Partly this is to support integrated working styles, in which humans and intelligent systems cooperate in problem-solving, but also it is a necessary step in the process of building trust as humans migrate greater responsibility to such systems. The challenge is to find effective ways to communicate the foundations of AI-driven behaviour, when the algorithms that drive it are far from transparent to humans. In this paper we consider the opportunities that arise in AI planning, exploiting the model-based representations that form a familiar and common basis for communication with users, while acknowledging the gap between planning algorithms and human problem-solving.