Search Results for author: Joaquín Arias

Found 11 papers, 1 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

Algorithms for learning value-aligned policies considering admissibility relaxation

no code implementations7 Jun 2024 Andrés Holgado-Sánchez, Joaquín Arias, Holger Billhardt, Sascha Ossowski

In this context, such agents must be capable of explicitly reasoning as to how far different courses of action are aligned with these values.

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

Automated legal reasoning with discretion to act using s(LAW)

no code implementations25 Jan 2024 Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski

We propose to use s(CASP), a top-down execution model for predicate ASP, to model vague concepts following a set of patterns.

Benchmarking Legal Reasoning

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs

no code implementations15 Mar 2023 Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta

To the best of our knowledge, AutoConcierge is the first automated conversational agent that can realistically converse like a human and provide help to humans based on truly understanding human utterances.

Sentence

Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming

no code implementations22 Oct 2021 Joaquín Arias, Manuel Carro, Gopal Gupta

However, the performance of existing s(CASP) implementations is not on par with other ASP systems: model consistency is checked once models have been generated, in keeping with the generate-and-test paradigm.

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.

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

no code implementations28 Jun 2021 Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI.

Negation

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

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