中文
相关论文

相关论文: Computing Presuppositions by Contextual Reasoning

200 篇论文

Despite the increasing effectiveness of language models, their reasoning capabilities remain underdeveloped. In particular, causal reasoning through counterfactual question answering is lacking. This work aims to bridge this gap. We first…

计算与语言 · 计算机科学 2025-03-18 Alihan Hüyük , Xinnuo Xu , Jacqueline Maasch , Aditya V. Nori , Javier González

A major reason behind the success of probability calculus is that it possesses a number of valuable tools, which are based on the notion of probabilistic independence. In this paper, I identify a notion of logical independence that makes…

人工智能 · 计算机科学 2013-03-08 Adnan Darwiche

This paper presents Abduction and Argumentation as two principled forms for reasoning, and fleshes out the fundamental role that they can play within Machine Learning. It reviews the state-of-the-art work over the past few decades on the…

人工智能 · 计算机科学 2020-10-27 Antonis Kakas , Loizos Michael

An important task for the design of Question Answering systems is the selection of the sentence containing (or constituting) the answer from documents relevant to the asked question. Most previous work has only used the target sentence to…

计算与语言 · 计算机科学 2020-06-03 Ivano Lauriola , Alessandro Moschitti

To appear in Theory and Practice of Logic Programming (TPLP). Tabling is a commonly used technique in logic programming for avoiding cyclic behavior of logic programs and enabling more declarative program definitions. Furthermore, tabling…

编程语言 · 计算机科学 2020-02-19 Thepfrastos Mantadelis , Ricardo Rocha , Paulo Moura

To make sense of massive data, we often fit simplified models and then interpret the parameters; for example, we cluster the text embeddings and then interpret the mean parameters of each cluster. However, these parameters are often…

人工智能 · 计算机科学 2025-01-14 Ruiqi Zhong , Heng Wang , Dan Klein , Jacob Steinhardt

Fact-checking has become increasingly important due to the speed with which both information and misinformation can spread in the modern media ecosystem. Therefore, researchers have been exploring how fact-checking can be automated, using…

计算与语言 · 计算机科学 2022-06-07 Zhijiang Guo , Michael Schlichtkrull , Andreas Vlachos

A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition covers first-order logical inference or probabilistic inference. It also includes…

人工智能 · 计算机科学 2011-02-14 Leon Bottou

A framework is presented for a computational theory of probabilistic argument. The Probabilistic Reasoning Environment encodes knowledge at three levels. At the deepest level are a set of schemata encoding the system's domain knowledge.…

人工智能 · 计算机科学 2013-04-05 Kathryn Blackmond Laskey

Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep question answering by methods from automated deduction and…

人工智能 · 计算机科学 2015-07-31 Ulrich Furbach , Claudia Schon , Frieder Stolzenburg , Karl-Heinz Weis , Claus-Peter Wirth

Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appears in an expression. Existing work has brought contextual…

编程语言 · 计算机科学 2025-07-17 Tyler Hou , Shadaj Laddad , Joseph M. Hellerstein

Most spoken language understanding systems use a pipeline approach composed of an automatic speech recognition interface and a natural language understanding module. This approach forces hard decisions when converting continuous inputs into…

计算与语言 · 计算机科学 2023-10-18 Quentin Meeus , Marie-Francine Moens , Hugo Van hamme

This position paper suggests that progress with automatic summarising demands a better research methodology and a carefully focussed research strategy. In order to develop effective procedures it is necessary to identify and respond to the…

cmp-lg · 计算机科学 2007-05-23 Karen Sparck Jones

Eliciting knowledge from pre-trained language models via prompt-based learning has shown great potential in many natural language processing tasks. Whereas, the applications for more complex tasks such as event extraction are less studied…

计算与语言 · 计算机科学 2022-05-16 Jiaju Lin , Qin Chen

Recently, pretrained language models (PLMs) have had exceptional success in language generation. To leverage the rich knowledge encoded by PLMs, a simple yet powerful paradigm is to use prompts in the form of either discrete tokens or…

计算与语言 · 计算机科学 2022-10-04 Tianyi Tang , Junyi Li , Wayne Xin Zhao , Ji-Rong Wen

Accurate trajectory prediction has long been a major challenge for autonomous driving (AD). Traditional data-driven models predominantly rely on statistical correlations, often overlooking the causal relationships that govern traffic…

Currently, there is a significant amount of research being conducted in the field of artificial intelligence to improve the explainability and interpretability of deep learning models. It is found that if end-users understand the reason for…

信息检索 · 计算机科学 2023-06-02 Niloofar Ranjbar , Saeedeh Momtazi , MohammadMehdi Homayounpour

The ease and speed of spreading misinformation and propaganda on the Web motivate the need to develop trustworthy technology for detecting fallacies in natural language arguments. However, state-of-the-art language modeling methods exhibit…

人工智能 · 计算机科学 2023-05-19 Zhivar Sourati , Filip Ilievski , Hông-Ân Sandlin , Alain Mermoud

Commonsense reasoning has long been considered as one of the holy grails of artificial intelligence. Most of the recent progress in the field has been achieved by novel machine learning algorithms for natural language processing. However,…

人工智能 · 计算机科学 2020-03-31 Tanel Tammet

Identifying mathematical relations expressed in text is essential to understanding a broad range of natural language text from election reports, to financial news, to sport commentaries to mathematical word problems. This paper focuses on…

计算与语言 · 计算机科学 2016-09-29 Subhro Roy , Shyam Upadhyay , Dan Roth