Search Results for author: Huaduo Wang

Found 14 papers, 3 papers with code

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning

no code implementations15 Jun 2025 Alexis R. Tudor, Yankai Zeng, Huaduo Wang, Joaquin Arias, Gopal Gupta

Current advances in AI and its applicability have highlighted the need to ensure its trustworthiness for legal, ethical, and even commercial reasons.

Chatbot

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP

no code implementations26 Jul 2024 Yankai Zeng, Abhiramon Rajashekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta

To validate our proposal, we describe (real) conversations in which the chatbot's goal is to keep the user entertained by talking about movies and books, and s(CASP) ensures (i) correctness of answers, (ii) coherence (and precision) during the conversation, which it dynamically regulates to achieve its specific purpose, and (iii) no deviation from the main topic.

Common Sense Reasoning

Superfast Selection for Decision Tree Algorithms

no code implementations31 May 2024 Huaduo Wang, Gopal Gupta

We present a novel and systematic method, called Superfast Selection, for selecting the "optimal split" for decision tree and feature selection algorithms over tabular data.

feature selection

NeSyFOLD: Neurosymbolic Framework for Interpretable Image Classification

1 code implementation30 Jan 2023 Parth Padalkar, Huaduo Wang, Gopal Gupta

We evaluate the performance of our "semantic labelling algorithm" to quantify the efficacy of the semantic labelling for both the NeSy model and the NeSy-EBP model.

Classification image-classification +1

FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data

2 code implementations14 Feb 2022 Huaduo Wang, Farhad Shakerin, Gopal Gupta

FOLD-RM is an automated inductive learning algorithm for learning default rules for mixed (numerical and categorical) data.

Inductive Learning

FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data

no code implementations AAAI Workshop CLeaR 2022 Huaduo Wang, Gopal Gupta

FOLD-R is an automated inductive learning algorithm for learning default rules with exceptions for mixed (numerical and categorical) data.

feature selection Inductive Learning

AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning

no code implementations17 Oct 2021 Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta

That is, while machine learning technology is good for observing and automatically understanding the surroundings of an automobile, driving decisions are better automated via commonsense reasoning rather than machine learning.

Autonomous Driving BIG-bench Machine Learning +3

FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data

1 code implementation15 Oct 2021 Huaduo Wang, Gopal Gupta

We also create a powerful tool-set by combining FOLD-R++ with s(CASP)-a goal-directed ASP execution engine-to make predictions on new data samples using the answer set program generated by FOLD-R++.

feature selection Inductive Learning

A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories

no code implementations26 Sep 2021 Huaduo Wang, Farhad Shakerin, Gopal Gupta

We present a clustering- and demotion-based algorithm called Kmeans-FOLD to induce nonmonotonic logic programs from positive and negative examples.

Clustering Inductive Learning +1

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

no code implementations17 Sep 2021 Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta

We consider the problem of finding relevant consistent concepts in a conversational AI system, particularly, for realizing a conversational socialbot.

grASP: A Graph Based ASP-Solver and Justification System

no code implementations2 Apr 2021 Fang Li, Huaduo Wang, Gopal Gupta

As a result, justification for why a literal is in the answer set is hard to produce.

Cannot find the paper you are looking for? You can Submit a new open access paper.