Reliable natural language understanding with large language models and answer set programming

A Rajasekharan, Y Zeng, P Padalkar… - arXiv preprint arXiv …, 2023 - arxiv.org
Humans understand language by extracting information (meaning) from sentences,
combining it with existing commonsense knowledge, and then performing reasoning to draw …

Knowledge-driven natural language understanding of english text and its applications

K Basu, SC Varanasi, F Shakerin, J Arias… - Proceedings of the AAAI …, 2021 - ojs.aaai.org
Understanding the meaning of a text is a fundamental challenge of natural language
understanding (NLU) research. An ideal NLU system should process a language in a way …

AUTO-DISCERN: autonomous driving using common sense reasoning

S Kothawade, V Khandelwal, K Basu, H Wang… - arXiv preprint arXiv …, 2021 - arxiv.org
Driving an automobile involves the tasks of observing surroundings, then making a driving
decision based on these observations (steer, brake, coast, etc.). In autonomous driving, all …

Automated legal reasoning with discretion to act using s (LAW)

J Arias, M Moreno-Rebato… - Artificial Intelligence and …, 2023 - Springer
Automated legal reasoning and its application in smart contracts and automated decisions
are increasingly attracting interest. In this context, ethical and legal concerns make it …

Automated interactive domain-specific conversational agents that understand human dialogs

Y Zeng, A Rajasekharan, P Padalkar, K Basu… - … Symposium on Practical …, 2024 - Springer
We present the AutoConcierge system that can “understand” human dialogs in a specific
domain, namely, restaurant recommendation. AutoConcierge will interactively “understand” …

FOLD-RM: a scalable, efficient, and explainable inductive learning algorithm for multi-category classification of mixed data

H Wang, F Shakerin, G Gupta - Theory and Practice of Logic …, 2022 - cambridge.org
FOLD-RM is an automated inductive learning algorithm for learning default rules for mixed
(numerical and categorical) data. It generates an (explainable) answer set programming …

FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data

H Wang, G Gupta - International Symposium on Functional and Logic …, 2022 - Springer
FOLD-R is an automated inductive learning algorithm for learning default rules for mixed
(numerical and categorical) data. It generates an (explainable) normal logic program (NLP) …

Constraint answer set programming as a tool to improve legislative drafting: a rules as code experiment

J Morris - … of the Eighteenth International Conference on Artificial …, 2021 - dl.acm.org
" Rules as Code" in this paper is used to refer to a proposed methodology of legislative and
regulatory drafting. 1 That legislation can be represented in declarative code for automation …

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning

K Basu, K Murugesan, S Chaudhury… - arXiv preprint arXiv …, 2024 - arxiv.org
Text-based games (TBGs) have emerged as an important collection of NLP tasks, requiring
reinforcement learning (RL) agents to combine natural language understanding with …

xASP: An Explanation Generation System for Answer Set Programming

LL Trieu, TC Son, M Balduccini - International Conference on Logic …, 2022 - Springer
In this paper, we present a system, called xASP, for generating explanations that explain
why an atom belongs to (or does not belong to) an answer set of a given program. The …