Home  |  Activities  |  Awards  |  Demos  |  Funding  |  Members  |  NewsLog  |  Patents  |  Publications

Projects

Neuro-Symbolic and Automated Planning

Generalized Planning Neuro-Symbolic AI Automated Planning

Team: University of South Carolina, IBM Research, University of Udine, University of Brescia

Description: The Fast and Slow AI (SOFAI) architecture draws inspiration from cognitive theories discussed by Daniel Kahneman in ‘Thinking Fast and Slow.’ This project aims to develop AI-supported machines that can replicate human decision-making behaviors and provide assistance through nudging and explanations. By creating a cognitive architecture that encompasses both fast (S1) and slow (S2) decision-making modalities, the team seeks to enhance problem-solving capabilities, outperforming traditional symbolic planners like FastDownward.

More Details

Collaborative Assistants Neuro-Symbolic AI Trusted AI

Team: Vishal Pallagani, Bharath Chandra, Kausik Lakkaraju, Biplav Srivastava

Description: Collaborative Assistants, popularly known as chatbots provide an easy interface for users to obtain answers for their queries. At AI4Society, we build collaborative assistants for various applications such as information retrieval, answer election based questions, help learn puzzle solving through a series of conversations, and obtain information regarding sensor data.

More Details

Rubik’s Cube Automated Planning

Team: Bharath Muppasani, Vishal Pallagani, Kausik Lakkaraju, Biplav Srivastava, Forest Agostinelli

Description: Rubik’s Cube (RC) is a popular puzzle that is also computationally hard to solve. In this demonstration, we introduce the first PDDL formulation for the 3-dimension RC and solve it with off-the-shelf Fast-Downward planner. We also create a plan executor and visualizer to show how the plan achieves the intended goal. Our system has two audiences:(a) planning researchers who can explore a hard problem, and (b) RC learners wanting to learn how to solve the puzzle at their own pace.

More Details

Trusted AI

Rating of AI Systems Neuro-Symbolic AI Trusted AI

Team: Kausik Lakkaraju, Biplav Srivastava, Marco Valtorta

Description: AI systems, such as facial recognition and sentiment analyzers, often show model uncertainty, leading to algorithmic bias, particularly concerning protected attributes like gender and race. This research seeks to understand and reduce bias by establishing causal relationships. Assigning ratings to AI systems based on this helps users make informed choices.

More Details

Trustworthy Group Recommendation Recommender Systems Trusted AI

Team: Siva Likitha Valluru, Sai Teja Paladi, Tarmo Koppel, Biplav Srivastava

Description: We study the problem of trustworthy group recommendation, where the focus goes beyond individual user preferences and dives into collective tastes and interests. Our objective is to build novel methods and useful tools for group recommendation with fairness, and drive different use cases. We extend this problem to the team formation domain, where we present an AI-based system to aid in collaborative teaming for researchers responding to funding agency proposals. Our approach leverages NLP techniques to extract and normalize technical skills from various data sources, facilitating matching and teaming based on constraints. We have gathered initial feedback from university researchers to deploy the prototype system and published a dataset for broader use.

More Details

LLM and Chatbot Testing Trusted AI

Team: Kausik Lakkaraju, Sara Rae Jones, Sai Krishna Revanth Vuruma, Vishal Pallagani, Bharath Muppasani, Biplav Srivastava

Description: Increasingly powerful Large Language Model (LLM) based chatbots, like ChatGPT and Bard, are becoming available to users that have the potential to revolutionize the quality of decision-making achieved by the public. We find that although the outputs of the chatbots are fluent and plausible, there are still critical gaps in providing accurate and reliable information using LLM-based chatbots.

More Details

Applications and Others

Insights with Power Data Time-Series Data Analysis

Team: Bharath Muppasani, Cheyyur Jaya Anand, Chinmayi Appajigowda, Lokesh Johri, Biplav Srivastava

Description: The project aims to identify power usage patterns of any system, like buildings or factories, of interest using the harmonics data obtained from MiDAS IoT sensor. We also make power usage dataset (electricity consumption data and harmonics data) available from 8 institutions in manufacturing, education and medical institutions from the US and India.

More Details

Opinion Network for Online User Safety Planning

Team: Bharath Muppasani, Vignesh Narayanan, Biplav Srivastava, Michael N. Huhns

Description: This project focuses on understanding and influencing information spread and opinion formation within networks by integrating the principles from Opinion Dynamics and Automated Planning.

More Details

Traffic Data Analysis Data Analysis

Team: Bharath Muppasani, Nitin Gupta, Biplav Srivastava, Lucas Vasconcelos

Description: The project aims to enhance road safety in South Carolina by analysing traffic data provided by Department of Transportation. We focused on identifying collision patterns and evaluating the Alive@25 program's impact to develop targeted recommendations for reducing accidents and improving road safety initiatives across urban and rural areas.

More Details


GitHub |  Address