DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots

09/17/2021
by   Fang Li, et al.
0

We consider the problem of finding relevant consistent concepts in a conversational AI system, particularly, for realizing a conversational socialbot. Commonsense knowledge about various topics can be represented as an answer set program. However, to advance the conversation, we need to solve the problem of finding relevant consistent concepts, i.e., find consistent knowledge in the "neighborhood" of the current topic being discussed that can be used to advance the conversation. Traditional ASP solvers will generate the whole answer set which is stripped of all the associations between the various atoms (concepts) and thus cannot be used to find relevant consistent concepts. Similarly, goal-directed implementations of ASP will only find concepts directly relevant to a query. We present the DiscASP system that will find the partial consistent model that is relevant to a given topic in a manner similar to how a human will find it. DiscASP is based on a novel graph-based algorithm for finding stable models of an answer set program. We present the DiscASP algorithm, its implementation, and its application to developing a conversational socialbot.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/02/2021

grASP: A Graph Based ASP-Solver and Justification System

Answer set programming (ASP) is a popular nonmonotonic-logic based parad...
research
09/17/2021

Graph Based Answer Set Programming Solver Systems

Answer set programming (ASP) is a popular nonmonotonic-logic based parad...
research
04/14/2021

Knowledge-driven Answer Generation for Conversational Search

The conversational search paradigm introduces a step change over the tra...
research
07/24/2019

Partial Compilation of ASP Programs

Answer Set Programming (ASP) is a well-known declarative formalism in lo...
research
08/16/2011

Finding Similar/Diverse Solutions in Answer Set Programming

For some computational problems (e.g., product configuration, planning, ...
research
03/15/2023

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs

Achieving human-like communication with machines remains a classic, chal...
research
10/22/2021

Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming

Goal-directed evaluation of Answer Set Programs is gaining traction than...

Please sign up or login with your details

Forgot password? Click here to reset