-
Toward Cognitive and Immersive Systems: Experiments in a Cognitive Microworld
Authors:
Matthew Peveler,
Naveen Sundar Govindarajulu,
Selmer Bringsjord,
Atriya Sen,
Biplav Srivastava,
Kartik Talamadupula,
Hui Su
Abstract:
As computational power has continued to increase, and sensors have become more accurate, the corresponding advent of systems that are at once cognitive and immersive has arrived. These \textit{cognitive and immersive systems} (CAISs) fall squarely into the intersection of AI with HCI/HRI: such systems interact with and assist the human agents that enter them, in no small part because such systems…
▽ More
As computational power has continued to increase, and sensors have become more accurate, the corresponding advent of systems that are at once cognitive and immersive has arrived. These \textit{cognitive and immersive systems} (CAISs) fall squarely into the intersection of AI with HCI/HRI: such systems interact with and assist the human agents that enter them, in no small part because such systems are infused with AI able to understand and reason about these humans and their knowledge, beliefs, goals, communications, plans, etc. We herein explain our approach to engineering CAISs. We emphasize the capacity of a CAIS to develop and reason over a `theory of the mind' of its human partners. This capacity entails that the AI in question has a sophisticated model of the beliefs, knowledge, goals, desires, emotions, etc.\ of these humans. To accomplish this engineering, a formal framework of very high expressivity is needed. In our case, this framework is a \textit{cognitive event calculus}, a particular kind of quantified multi-operator modal logic, and a matching high-expressivity automated reasoner and planner. To explain, advance, and to a degree validate our approach, we show that a calculus of this type satisfies a set of formal requirements, and can enable a CAIS to understand a psychologically tricky scenario couched in what we call the \textit{cognitive polysolid framework} (CPF). We also formally show that a room that satisfies these requirements can have a useful property we term \emph{expectation of usefulness}. CPF, a sub-class of \textit{cognitive microworlds}, includes machinery able to represent and plan over not merely blocks and actions (such as seen in the primitive `blocks worlds' of old), but also over agents and their mental attitudes about both other agents and inanimate objects.
△ Less
Submitted 18 December, 2018; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Workflow Complexity for Collaborative Interactions: Where are the Metrics? -- A Challenge
Authors:
Kartik Talamadupula,
Biplav Srivastava,
Jeffrey O. Kephart
Abstract:
In this paper, we introduce the problem of denoting and deriving the complexity of workflows (plans, schedules) in collaborative, planner-assisted settings where humans and agents are trying to jointly solve a task. The interactions -- and hence the workflows that connect the human and the agents -- may differ according to the domain and the kind of agents. We adapt insights from prior work in hum…
▽ More
In this paper, we introduce the problem of denoting and deriving the complexity of workflows (plans, schedules) in collaborative, planner-assisted settings where humans and agents are trying to jointly solve a task. The interactions -- and hence the workflows that connect the human and the agents -- may differ according to the domain and the kind of agents. We adapt insights from prior work in human-agent teaming and workflow analysis to suggest metrics for workflow complexity. The main motivation behind this work is to highlight metrics for human comprehensibility of plans and schedules. The planning community has seen its fair share of work on the synthesis of plans that take diversity into account -- what value do such plans hold if their generation is not guided at least in part by metrics that reflect the ease of engaging with and using those plans?
△ Less
Submitted 13 September, 2017;
originally announced September 2017.
-
Visualizations for an Explainable Planning Agent
Authors:
Tathagata Chakraborti,
Kshitij P. Fadnis,
Kartik Talamadupula,
Mishal Dholakia,
Biplav Srivastava,
Jeffrey O. Kephart,
Rachel K. E. Bellamy
Abstract:
In this paper, we report on the visualization capabilities of an Explainable AI Planning (XAIP) agent that can support human in the loop decision making. Imposing transparency and explainability requirements on such agents is especially important in order to establish trust and common ground with the end-to-end automated planning system. Visualizing the agent's internal decision-making processes i…
▽ More
In this paper, we report on the visualization capabilities of an Explainable AI Planning (XAIP) agent that can support human in the loop decision making. Imposing transparency and explainability requirements on such agents is especially important in order to establish trust and common ground with the end-to-end automated planning system. Visualizing the agent's internal decision-making processes is a crucial step towards achieving this. This may include externalizing the "brain" of the agent -- starting from its sensory inputs, to progressively higher order decisions made by it in order to drive its planning components. We also show how the planner can bootstrap on the latest techniques in explainable planning to cast plan visualization as a plan explanation problem, and thus provide concise model-based visualization of its plans. We demonstrate these functionalities in the context of the automated planning components of a smart assistant in an instrumented meeting space.
△ Less
Submitted 8 February, 2018; v1 submitted 13 September, 2017;
originally announced September 2017.
-
A Measure for Dialog Complexity and its Application in Streamlining Service Operations
Authors:
Q Vera Liao,
Biplav Srivastava,
Pavan Kapanipathi
Abstract:
Dialog is a natural modality for interaction between customers and businesses in the service industry. As customers call up the service provider, their interactions may be routine or extraordinary. We believe that these interactions, when seen as dialogs, can be analyzed to obtain a better understanding of customer needs and how to efficiently address them. We introduce the idea of a dialog comple…
▽ More
Dialog is a natural modality for interaction between customers and businesses in the service industry. As customers call up the service provider, their interactions may be routine or extraordinary. We believe that these interactions, when seen as dialogs, can be analyzed to obtain a better understanding of customer needs and how to efficiently address them. We introduce the idea of a dialog complexity measure to characterize multi-party interactions, propose a general data-driven method to calculate it, use it to discover insights in public and enterprise dialog datasets, and demonstrate its beneficial usage in facilitating better handling of customer requests and evaluating service agents.
△ Less
Submitted 3 August, 2017;
originally announced August 2017.
-
The GangaWatch Mobile App to Enable Usage of Water Data in Every Day Decisions Integrating Historical and Real-time Sensing Data
Authors:
Sandeep S Sandha,
Biplav Srivastava,
Sukanya Randhawa
Abstract:
We demonstrate a novel mobile application called GangaWatch that makes water pollution data usable and accessible focusing on one of the most polluted river basins in the world. It is intended to engage common public who want to see water condition and safe limits, and their relevance based on different purposes. The data is a combination of old data determined from lab tests on physical samples a…
▽ More
We demonstrate a novel mobile application called GangaWatch that makes water pollution data usable and accessible focusing on one of the most polluted river basins in the world. It is intended to engage common public who want to see water condition and safe limits, and their relevance based on different purposes. The data is a combination of old data determined from lab tests on physical samples and new data from real time sensors collected from Ganga basin. The platform is open for contribution from others, the data is also available for reuse via public APIs, and it has already been used to derive new insights.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
Tackling Corruption With Agents & ICT: A Vision
Authors:
Biplav Srivastava
Abstract:
Corruption is universally considered as an undesirable characteristic of public services. But despite attempts to simplify and automate such services, there is very little prior work to detect, handle or prevent corruption in computation literature. This is particularly surprising given the significant advances made in detecting fraud, a relevant but different form of public impropriety afflicting…
▽ More
Corruption is universally considered as an undesirable characteristic of public services. But despite attempts to simplify and automate such services, there is very little prior work to detect, handle or prevent corruption in computation literature. This is particularly surprising given the significant advances made in detecting fraud, a relevant but different form of public impropriety afflicting businesses. In this paper, we paint a vision of how information and communications technology (ICT), and specifically agent-based methods, can help tackle corruption in public services and identify challenges to achieve the vision.
△ Less
Submitted 20 November, 2016;
originally announced January 2017.
-
An Open, Multi-Sensor, Dataset of Water Pollution of Ganga Basin and its Application to Understand Impact of Large Religious Gathering
Authors:
Biplav Srivastava,
Sandeep Sandha,
Vaskar Raychoudhury,
Sukanya Randhawa,
Viral Kapoor,
Anmol Agrawal
Abstract:
Water is a crucial pre-requisite for all human activities. Due to growing demand from population and shrinking supply of potable water, there is an urgent need to use computational methods to manage available water intelligently, and especially in developing countries like India where even basic data to track water availability or physical infrastructure to process water are inadequate. In this co…
▽ More
Water is a crucial pre-requisite for all human activities. Due to growing demand from population and shrinking supply of potable water, there is an urgent need to use computational methods to manage available water intelligently, and especially in developing countries like India where even basic data to track water availability or physical infrastructure to process water are inadequate. In this context, we present a dataset of water pollution containing quantitative and qualitative data from a combination for modalities - real-time sensors, lab results, and estimates from people using mobile apps. The data on our API-accessible cloud platform covers more than 60 locations and consists of both what we have ourselves collected from multiple location following a novel process, and from others (lab-results) which were open but hither-to difficult to access. Further, we discuss an application of released data to understand spatio-temporal pollution impact of a large event with hundreds of millions of people converging on a river during a religious gathering (Ardh Khumbh 2016) spread over months. Such unprecedented details can help authorities manage an ongoing event or plan for future ones. The community can use the data for any application and also contribute new data to the platform.
△ Less
Submitted 19 November, 2016;
originally announced December 2016.
-
Collective Diffusion Over Networks: Models and Inference
Authors:
Akshat Kumar,
Daniel Sheldon,
Biplav Srivastava
Abstract:
Diffusion processes in networks are increasingly used to model the spread of information and social influence. In several applications in computational sustainability such as the spread of wildlife, infectious diseases and traffic mobility pattern, the observed data often consists of only aggregate information. In this work, we present new models that generalize standard diffusion processes to suc…
▽ More
Diffusion processes in networks are increasingly used to model the spread of information and social influence. In several applications in computational sustainability such as the spread of wildlife, infectious diseases and traffic mobility pattern, the observed data often consists of only aggregate information. In this work, we present new models that generalize standard diffusion processes to such collective settings. We also present optimization based techniques that can accurately learn the underlying dynamics of the given contagion process, including the hidden network structure, by only observing the time a node becomes active and the associated aggregate information. Empirically, our technique is highly robust and accurately learns network structure with more than 90% recall and precision. Results on real-world flu spread data in the US confirm that our technique can also accurately model infectious disease spread.
△ Less
Submitted 26 September, 2013;
originally announced September 2013.
-
Planning with Partial Preference Models
Authors:
Tuan Nguyen,
Minh Do,
Alfonso Gerevini,
Ivan Serina,
Biplav Srivastava,
Subbarao Kambhampati
Abstract:
Current work in planning with preferences assume that the user's preference models are completely specified and aim to search for a single solution plan. In many real-world planning scenarios, however, the user probably cannot provide any information about her desired plans, or in some cases can only express partial preferences. In such situations, the planner has to present not only one but a set…
▽ More
Current work in planning with preferences assume that the user's preference models are completely specified and aim to search for a single solution plan. In many real-world planning scenarios, however, the user probably cannot provide any information about her desired plans, or in some cases can only express partial preferences. In such situations, the planner has to present not only one but a set of plans to the user, with the hope that some of them are similar to the plan she prefers. We first propose the usage of different measures to capture quality of plan sets that are suitable for such scenarios: domain-independent distance measures defined based on plan elements (actions, states, causal links) if no knowledge of the user's preferences is given, and the Integrated Convex Preference measure in case the user's partial preference is provided. We then investigate various heuristic approaches to find set of plans according to these measures, and present empirical results demonstrating the promise of our approach.
△ Less
Submitted 12 January, 2011;
originally announced January 2011.