Reliable natural language understanding with large language models and answer set programming
Humans understand language by extracting information (meaning) from sentences,
combining it with existing commonsense knowledge, and then performing reasoning to draw …
combining it with existing commonsense knowledge, and then performing reasoning to draw …
Knowledge-driven natural language understanding of english text and its applications
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 …
understanding (NLU) research. An ideal NLU system should process a language in a way …
AUTO-DISCERN: autonomous driving using common sense reasoning
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 …
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 …
are increasingly attracting interest. In this context, ethical and legal concerns make it …
Automated interactive domain-specific conversational agents that understand human dialogs
We present the AutoConcierge system that can “understand” human dialogs in a specific
domain, namely, restaurant recommendation. AutoConcierge will interactively “understand” …
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
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 …
(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
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) …
(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 …
regulatory drafting. 1 That legislation can be represented in declarative code for automation …
EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
Text-based games (TBGs) have emerged as an important collection of NLP tasks, requiring
reinforcement learning (RL) agents to combine natural language understanding with …
reinforcement learning (RL) agents to combine natural language understanding with …
xASP: An Explanation Generation System for Answer Set Programming
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 …
why an atom belongs to (or does not belong to) an answer set of a given program. The …