中文
相关论文

相关论文: Computing Presuppositions by Contextual Reasoning

200 篇论文

With help of a compact Prolog-based theorem prover for Intuitionistic Propositional Logic, we synthesize minimal assumptions under which a given formula formula becomes a theorem. After applying our synthesis algorithm to cover basic…

计算机科学中的逻辑 · 计算机科学 2022-05-13 Paul Tarau

Classical planning asks for a sequence of operators reaching a given goal. While the most common case is to compute a plan, many scenarios require more than that. However, quantitative reasoning on the plan space remains mostly unexplored.…

人工智能 · 计算机科学 2025-02-04 David Speck , Markus Hecher , Daniel Gnad , Johannes K. Fichte , Augusto B. Corrêa

We study an important task of attacking natural language processing models in a black box setting. We propose an attack strategy that crafts semantically similar adversarial examples on text classification and entailment tasks. Our proposed…

计算与语言 · 计算机科学 2020-12-25 Rishabh Maheshwary , Saket Maheshwary , Vikram Pudi

Abductive reasoning aims to find plausible explanations for an event. This style of reasoning is critical for commonsense tasks where there are often multiple plausible explanations. Existing approaches for abductive reasoning in natural…

计算与语言 · 计算机科学 2023-05-25 Wenting Zhao , Justin T. Chiu , Claire Cardie , Alexander M. Rush

Tables in Web documents are pervasive and can be directly used to answer many of the queries searched on the Web, motivating their integration in question answering. Very often information presented in tables is succinct and hard to…

计算与语言 · 计算机科学 2021-01-27 Vicky Zayats , Kristina Toutanova , Mari Ostendorf

Fact-checking the truthfulness of claims usually requires reasoning over multiple evidence sentences. Oftentimes, evidence sentences may not be always self-contained, and may require additional contexts and references from elsewhere to…

计算与语言 · 计算机科学 2025-02-17 Delvin Ce Zhang , Dongwon Lee

The increasing incorporation of Artificial Intelligence in the form of automated systems into decision-making procedures highlights not only the importance of decision theory for automated systems but also the need for these decision…

人工智能 · 计算机科学 2018-08-23 Tarek R. Besold , Sara L. Uckelman

This introduction aims to tell the story of how we put words into computers. It is part of the story of the field of natural language processing (NLP), a branch of artificial intelligence. It targets a wide audience with a basic…

计算与语言 · 计算机科学 2020-04-20 Noah A. Smith

Contextual Partitioning introduces an innovative approach to enhancing the architectural design of large-scale computational models through the dynamic segmentation of parameters into context-aware regions. This methodology emphasizes the…

计算与语言 · 计算机科学 2025-08-11 Offa Kingsleigh , Alfred Abercrombie , David Woolstencroft , Beorhtric Meadowcroft , Marcus Irvin

Causal reasoning is a cornerstone of human intelligence and a critical capability for artificial systems aiming to achieve advanced understanding and decision-making. This thesis delves into various dimensions of causal reasoning and…

计算与语言 · 计算机科学 2025-04-22 Zhijing Jin

This paper addresses the problem of mapping natural language sentences to lambda-calculus encodings of their meaning. We describe a learning algorithm that takes as input a training set of sentences labeled with expressions in the lambda…

计算与语言 · 计算机科学 2012-07-09 Luke S. Zettlemoyer , Michael Collins

The advent of contextual word embeddings -- representations of words which incorporate semantic and syntactic information from their context -- has led to tremendous improvements on a wide variety of NLP tasks. However, recent contextual…

计算与语言 · 计算机科学 2021-06-09 Prakhar Gupta , Martin Jaggi

Recently, there has been extensive research on the capabilities of biologically plausible algorithms. In this work, we show how one of such algorithms, called predictive coding, is able to perform causal inference tasks. First, we show how…

机器学习 · 计算机科学 2024-06-04 Tommaso Salvatori , Luca Pinchetti , Amine M'Charrak , Beren Millidge , Thomas Lukasiewicz

Automation systems are increasingly being used in dynamic and various operating conditions. With higher flexibility demands, they need to promptly respond to surrounding dynamic changes by adapting their operation. Context information…

软件工程 · 计算机科学 2022-07-12 Nada Sahlab , Nasser Jazdi , Michael Weyrich

Citation texts are sometimes not very informative or in some cases inaccurate by themselves; they need the appropriate context from the referenced paper to reflect its exact contributions. To address this problem, we propose an unsupervised…

计算与语言 · 计算机科学 2017-05-24 Arman Cohan , Nazli Goharian

Reasoning about the causes behind observations is crucial to the formalization of rationality. While extensive research has been conducted on root cause analysis, most studies have predominantly focused on deterministic settings. In this…

人工智能 · 计算机科学 2024-12-24 Shakil M. Khan , Yves Lespérance , Maryam Rostamigiv

Automatically creating the description of an image using any natural languages sentence like English is a very challenging task. It requires expertise of both image processing as well as natural language processing. This paper discuss about…

计算机视觉与模式识别 · 计算机科学 2018-10-03 Parth Shah , Vishvajit Bakarola , Supriya Pati

Detecting semantic arguments of a predicate word has been conventionally modeled as a sentence-level task. The typical reader, however, perfectly interprets predicate-argument relations in a much wider context than just the sentence where…

计算与语言 · 计算机科学 2024-08-09 Paul Roit , Aviv Slobodkin , Eran Hirsch , Arie Cattan , Ayal Klein , Valentina Pyatkin , Ido Dagan

Language is contextual as meanings of words are dependent on their contexts. Contextuality is, concomitantly, a well-defined concept in quantum mechanics where it is considered a major resource for quantum computations. We investigate…

计算与语言 · 计算机科学 2021-08-02 Daphne Wang , Mehrnoosh Sadrzadeh , Samson Abramsky , Victor H. Cervantes

Sequence models are a critical component of modern NLP systems, but their predictions are difficult to explain. We consider model explanations though rationales, subsets of context that can explain individual model predictions. We find…

计算与语言 · 计算机科学 2021-11-19 Keyon Vafa , Yuntian Deng , David M. Blei , Alexander M. Rush