Search Results for author: Elmer Salazar

Found 11 papers, 3 papers with code

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP

no code implementations11 Jul 2024 Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta

Ethical and legal considerations require informing individuals of changes in input attribute values (features) that could lead to a desired outcome for the user.

Attribute counterfactual +1

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP

no code implementations24 May 2024 Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta

More importantly, we show how CFGs navigates between these worlds, namely, go from our initial state where we obtain an undesired outcome to the imagined goal state where we obtain the desired decision, taking into account the causal relationships among features.

Attribute counterfactual

Counterfactual Generation with Answer Set Programming

no code implementations6 Feb 2024 Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta

In our framework, we show how counterfactual explanations are computed and justified by imagining worlds where some or all factual assumptions are altered/changed.

Attribute counterfactual +2

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.

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

no code implementations10 Sep 2021 Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements.

Constraint Answer Set Programming without Grounding

2 code implementations30 Apr 2018 Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta

The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets.

Programming Languages Logic in Computer Science

Computing Stable Models of Normal Logic Programs Without Grounding

1 code implementation1 Sep 2017 Kyle Marple, Elmer Salazar, Gopal Gupta

We present a method for computing stable models of normal logic programs, i. e., logic programs extended with negation, in the presence of predicates with arbitrary terms.

Logic in Computer Science

Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning

no code implementations16 Jul 2017 Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin

A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that all physicians should follow.

Management

A New Algorithm to Automate Inductive Learning of Default Theories

1 code implementation10 Jul 2017 Farhad Shakerin, Elmer Salazar, Gopal Gupta

An approach through recursively finding patterns in exceptions turns out to correspond to the problem of learning default theories.

Logic in Computer Science

A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns

no code implementations25 Oct 2016 Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil

In this paper we describe a physician-advisory system for CHF management that codes the entire set of clinical practice guidelines for CHF using answer set programming.

Management

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