no code implementations • 7 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.
no code implementations • 24 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.
no code implementations • 6 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.
no code implementations • 25 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.
no code implementations • 23 Oct 2023 • Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
Our approach utilizes answer set programming and the s(CASP) goal-directed ASP system.
no code implementations • 15 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.
no code implementations • 22 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.
no code implementations • 10 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.
no code implementations • 28 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.
2 code implementations • 30 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