English
Related papers

Related papers: Relevant Consequence Relations: An Invitation

200 papers

The notion of relevance was proposed for stability of justification status of a single argument in incomplete argumentation frameworks (IAFs) in 2024 by Odekerken et al. To extend the notion, we study the relevance for stability of…

Artificial Intelligence · Computer Science 2025-05-23 Anshu Xiong , Songmao Zhang

We study various notions of dependency in semiring team semantics. Semiring teams are essentially database relations, where each tuple is annotated with some element from a positive semiring. We consider semiring generalizations of several…

Logic in Computer Science · Computer Science 2025-10-10 Minna Hirvonen

Chain-of-Thought (CoT) prompting plays an indispensable role in endowing large language models (LLMs) with complex reasoning capabilities. However, CoT currently faces two fundamental challenges: (1) Sufficiency, which ensures that the…

Computation and Language · Computer Science 2025-10-28 Xiangning Yu , Zhuohan Wang , Linyi Yang , Haoxuan Li , Anjie Liu , Xiao Xue , Jun Wang , Mengyue Yang

We aim to create the highest possible quality of treatment-control matches for categorical data in the potential outcomes framework. Matching methods are heavily used in the social sciences due to their interpretability, but most matching…

Machine Learning · Statistics 2019-06-11 Yameng Liu , Aw Dieng , Sudeepa Roy , Cynthia Rudin , Alexander Volfovsky

Language technologies that accurately model the dynamics of events must perform commonsense reasoning. Existing work evaluating commonsense reasoning focuses on making inferences about common, everyday situations. To instead investigate the…

Computation and Language · Computer Science 2024-05-02 Wenting Zhao , Justin T Chiu , Jena D. Hwang , Faeze Brahman , Jack Hessel , Sanjiban Choudhury , Yejin Choi , Xiang Lorraine Li , Alane Suhr

Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may…

Artificial Intelligence · Computer Science 2007-05-23 Daniel Lehmann

Given a machine learning (ML) model and a prediction, explanations can be defined as sets of features which are sufficient for the prediction. In some applications, and besides asking for an explanation, it is also critical to understand…

Machine Learning · Computer Science 2023-02-08 Xuanxiang Huang , Martin C. Cooper , Antonio Morgado , Jordi Planes , Joao Marques-Silva

Most words are ambiguous--i.e., they convey distinct meanings in different contexts--and even the meanings of unambiguous words are context-dependent. Both phenomena present a challenge for NLP. Recently, the advent of contextualized word…

Computation and Language · Computer Science 2021-05-28 Sean Trott , Benjamin Bergen

This paper proposes a causal inference relation and causal programming as general frameworks for causal inference with structural causal models. A tuple, $\langle M, I, Q, F \rangle$, is an instance of the relation if a formula, $F$,…

Methodology · Statistics 2018-05-08 Joshua Brulé

This paper discusses a method for implementing a probabilistic inference system based on an extended relational data model. This model provides a unified approach for a variety of applications such as dynamic programming, solving sparse…

Artificial Intelligence · Computer Science 2013-02-21 Michael S. K. M. Wong , C. J. Butz , Yang Xiang

The form and justification of inductive inference rules depend strongly on the representation of uncertainty. This paper examines one generic representation, namely, incomplete information. The notion can be formalized by presuming that the…

Artificial Intelligence · Computer Science 2013-04-15 Norman C. Dalkey

We argue for a foundational epistemic claim and a hypothesis about the production and uses of mathematical epidemiological models, exploring the consequences for our political and socio-economic lives. First, in order to make the best use…

Computers and Society · Computer Science 2021-04-02 Matthias Kaiser , Tatjana Buklijas , Peter Gluckman

Often information relevant to a decision is summarized in an index number. This paper explores conditions under which conclusions using index numbers are relevant to the decision that needs to be made. Specifically it explores the idea that…

Theoretical Economics · Economics 2025-01-28 Fred Roberts , Helen Roberts , Alexis Tsoukiàs

Connections between relations in relation extraction, which we call class ties, are common. In distantly supervised scenario, one entity tuple may have multiple relation facts. Exploiting class ties between relations of one entity tuple…

Artificial Intelligence · Computer Science 2017-08-08 Hai Ye , Wenhan Chao , Zhunchen Luo , Zhoujun Li

To a good extent, words can be understood as corresponding to patterns or categories that appeared in order to represent concepts and structures that are particularly important or useful in a given time and space. Words are characterized by…

Computation and Language · Computer Science 2021-07-21 Henrique Ferraz de Arruda , Luciano da Fontoura Costa

In recent years the search for a proper formal definition of actual causation -- i.e., the relation of cause-effect as it is instantiated in specific observations, rather than general causal relations -- has taken on impressive proportions.…

Artificial Intelligence · Computer Science 2015-03-04 Sander Beckers , Joost Vennekens

We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the…

Databases · Computer Science 2024-07-23 Michael Benedikt , Stanislav Kikot , Johannes Marti , Piotr Ostropolski-Nalewaja

Rational inference relations were introduced by Lehmann and Magidor as the ideal systems for drawing conclusions from a conditional base. However, there has been no simple characterization of these relations, other than its original…

Logic in Computer Science · Computer Science 2007-05-23 Konstantinos Georgatos

We survey the different properties of an intuitive notion of redundancy, as a function of the precise semantics given to the notion of partial implication. The final version of this survey will appear in the Proceedings of the Int. Conf.…

Logic in Computer Science · Computer Science 2015-04-15 José L. Balcázar

One can argue that one of the main roles of the subject of statistics is to characterize what the evidence in collected data says about questions of scientific interest. There are two broad questions that we will refer to as the estimation…

Statistics Theory · Mathematics 2024-06-11 Michael Evans