English
Related papers

Related papers: Modeling and Reasoning in Event Calculus using Goa…

200 papers

Understanding event and event-centered commonsense reasoning are crucial for natural language processing (NLP). Given an observed event, it is trivial for human to infer its intents and effects, while this type of If-Then reasoning still…

Computation and Language · Computer Science 2019-12-03 Li Du , Xiao Ding , Ting Liu , Zhongyang Li

Event Causality Identification (ECI) aims at determining whether there is a causal relation between two event mentions. Conventional prompt learning designs a prompt template to first predict an answer word and then maps it to the final…

Computation and Language · Computer Science 2023-07-20 Wei Xiang , Chuanhong Zhan , Bang Wang

Causal models, also known as Structural Equation Models (SEM), are a well-known formalism for representing and reasoning about causal dependencies between events. In this paper, we show that Temporal SEMs (TSEMs), which extend SEMs to…

Formal Languages and Automata Theory · Computer Science 2026-05-08 Maksim Gladyshev , Natasha Alechina , Brian Logan

Machine learning models are increasingly used in critical areas such as loan approvals and hiring, yet they often function as black boxes, obscuring their decision-making processes. Transparency is crucial, as individuals need explanations…

Artificial Intelligence · Computer Science 2024-10-31 Sopam Dasgupta , Joaquín Arias , Elmer Salazar , Gopal Gupta

On-the-fly reasoning often requires adaptation to novel problems under limited data and distribution shift. This work introduces CausalARC: an experimental testbed for AI reasoning in low-data and out-of-distribution regimes, modeled after…

Artificial Intelligence · Computer Science 2026-03-20 Jacqueline Maasch , John Kalantari , Kia Khezeli

Commonsense reasoning, aiming at endowing machines with a human-like ability to make situational presumptions, is extremely challenging to generalize. For someone who barely knows about "meditation," while is knowledgeable about "singing,"…

Computation and Language · Computer Science 2023-05-11 Weiqi Wang , Tianqing Fang , Baixuan Xu , Chun Yi Louis Bo , Yangqiu Song , Lei Chen

The domain of explainable AI is of interest in all Machine Learning fields, and it is all the more important in clustering, an unsupervised task whose result must be validated by a domain expert. We aim at finding a clustering that has high…

Artificial Intelligence · Computer Science 2024-03-28 Mathieu Guilbert , Christel Vrain , Thi-Bich-Hanh Dao

This work studies Complex Event Recognition (CER) under time constraints regarding its query language, computational models, and streaming evaluation algorithms. We start by introducing an extension of Complex Event Logic (CEL), called…

Databases · Computer Science 2025-04-02 Julián García , Cristian Riveros

Action languages have emerged as an important field of Knowledge Representation for reasoning about change and causality in dynamic domains. This article presents Cerbere, a production system designed to perform online causal, temporal and…

Artificial Intelligence · Computer Science 2020-02-19 Theodore Patkos , Dimitris Plexousakis , Abdelghani Chibani , Yacine Amirat

Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail approval, hiring, and many more. Unfortunately, most of these models are black-boxes, i.e., they…

Artificial Intelligence · Computer Science 2024-02-08 Sopam Dasgupta , Farhad Shakerin , Joaquín Arias , Elmer Salazar , Gopal Gupta

Machine learning models that automate decision-making are increasingly used in consequential areas such as loan approvals, pretrial bail approval, and hiring. Unfortunately, most of these models are black boxes, i.e., they are unable to…

Artificial Intelligence · Computer Science 2024-05-28 Sopam Dasgupta , Joaquín Arias , Elmer Salazar , Gopal Gupta

Self-consistency (SC) has been a widely used decoding strategy for chain-of-thought reasoning. Despite bringing significant performance improvements across a variety of multi-step reasoning tasks, it is a high-cost method that requires…

Computation and Language · Computer Science 2024-01-22 Yiwei Li , Peiwen Yuan , Shaoxiong Feng , Boyuan Pan , Xinglin Wang , Bin Sun , Heda Wang , Kan Li

Counterfactual Explanations (CEs) are a powerful technique used to explain Machine Learning models by showing how the input to a model should be minimally changed for the model to produce a different output. Similar proposals have been made…

Artificial Intelligence · Computer Science 2025-09-01 Nicola Gigante , Francesco Leofante , Andrea Micheli

In this paper, we present event constraints as a new modeling paradigm that generalizes joint chance constraints from stochastic optimization to (1) enforce a constraint on the probability of satisfying a set of constraints aggregated via…

Optimization and Control · Mathematics 2025-01-14 Daniel Ovalle , Stefan Mazzadi , Carl D. Laird , Ignacio E. Grossmann , Joshua L. Pulsipher

Engineering collective adaptive systems (CAS) with learning capabilities is a challenging task due to their multi-dimensional and complex design space. Data-driven approaches for CAS design could introduce new insights enabling system…

Software Engineering · Computer Science 2020-08-11 Mirko D'Angelo , Sona Ghahremani , Simos Gerasimou , Johannes Grohmann , Ingrid Nunes , Sven Tomforde , Evangelos Pournaras

The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing…

Logic in Computer Science · Computer Science 2021-09-13 Peter Baumgartner

Commonsense reasoning is omnipresent in human communications and thus is an important feature for open-domain dialogue systems. However, evaluating commonsense in dialogue systems is still an open challenge. We take the first step by…

Computation and Language · Computer Science 2023-11-06 Sarik Ghazarian , Yijia Shao , Rujun Han , Aram Galstyan , Nanyun Peng

An approach based on answer set programming (ASP) is proposed in this paper for representing knowledge generated from natural language texts. Knowledge in a text is modeled using a Neo Davidsonian-like formalism, which is then represented…

Computation and Language · Computer Science 2021-12-22 Dhruva Pendharkar , Kinjal Basu , Farhad Shakerin , Gopal Gupta

This paper presents a novel approach to stochastic economic model predictive control (SEMPC) that minimizes average economic cost while satisfying an empirical expected shortfall (EES) constraint to manage risk. A new scenario-based problem…

Systems and Control · Electrical Eng. & Systems 2025-10-31 Alireza Arastou , Algo Carè , Ye Wang , Marco Campi , Erik Weyer

We present PEC, an Event Calculus (EC) style action language for reasoning about probabilistic causal and narrative information. It has an action language style syntax similar to that of the EC variant Modular-E. Its semantics is given in…

Artificial Intelligence · Computer Science 2017-07-03 Fabio Aurelio D'Asaro , Antonis Bikakis , Luke Dickens , Rob Miller