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 …

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” …

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 …, 2024 - 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 …

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 …

[PDF][PDF] Semantic Analysis of Assurance Cases using s (CASP).

A Murugesan, IH Wong, RJ Stroud, J Arias… - ICLP …, 2023 - platon.etsii.urjc.es
The use of assurance cases is gaining popularity, particularly in the safety-critical system
industry, as an organized approach to submitting documentation for the safety and security …

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 …

[PDF][PDF] Advancements in xASP, an XAI System for Answer Set Programming.

M Alviano, LLT Trieu, TC Son, M Balduccini - CILC, 2023 - mbal.asklab.net
Explainable artificial intelligence (XAI) aims at addressing complex problems by coupling
solutions with reasons that justify the provided answer. In the context of Answer Set …

Automating semantic analysis of system assurance cases using goal-directed ASP

A Murugesan, I Wong, J Arias, R Stroud… - Theory and Practice of …, 2024 - cambridge.org
Assurance cases offer a structured way to present arguments and evidence for certification
of systems where safety and security are critical. However, creating and evaluating these …

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 …