English
Related papers

Related papers: An Acceptance Semantics for Stable Modal Knowledge

200 papers

Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…

Logic in Computer Science · Computer Science 2017-07-26 Ori Lahav , João Marcos , Yoni Zohar

Recent years have witnessed the emergence of a variety of post-hoc interpretations that aim to uncover how natural language processing (NLP) models make predictions. Despite the surge of new interpretation methods, it remains an open…

Computation and Language · Computer Science 2022-04-04 Fan Yin , Zhouxing Shi , Cho-Jui Hsieh , Kai-Wei Chang

Multimodal learning systems often face substantial uncertainty due to noisy data, low-quality labels, and heterogeneous modality characteristics. These issues become especially critical in human-computer interaction settings, where data…

Artificial Intelligence · Computer Science 2025-11-21 Hyo-Jeong Jang

The semantic web is an open and distributed environment in which it is hard to guarantee consistency of knowledge and information. Under the standard two-valued semantics everything is entailed if knowledge and information is inconsistent.…

Artificial Intelligence · Computer Science 2014-05-01 Wenzhao Qiao , Nico Roos

Substantial efforts have been made in developing various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge. In such contexts,…

Artificial Intelligence · Computer Science 2023-12-19 Đorđe Marković , Simon Vandevelde , Linde Vanbesien , Joost Vennekens , Marc Denecker

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett's and Dag Prawitz' philosophical motivations and…

Logic in Computer Science · Computer Science 2021-08-12 Nils Kürbis

Negation is a common linguistic phenomenon. Yet language models face challenges with negation in many natural language understanding tasks such as question answering and natural language inference. In this paper, we experiment with seamless…

Computation and Language · Computer Science 2024-06-12 MohammadHossein Rezaei , Eduardo Blanco

Realizability for knowledge representation formalisms studies the following question: given a semantics and a set of interpretations, is there a knowledge base whose semantics coincides exactly with the given interpretation set? We…

Artificial Intelligence · Computer Science 2016-04-01 Thomas Linsbichler , Jörg Pührer , Hannes Strass

Many applications of unpaired image-to-image translation require the input contents to be preserved semantically during translations. Unaware of the inherently unmatched semantics distributions between source and target domains, existing…

Computer Vision and Pattern Recognition · Computer Science 2021-10-07 Zhiwei Jia , Bodi Yuan , Kangkang Wang , Hong Wu , David Clifford , Zhiqiang Yuan , Hao Su

This paper describes a new kind of knowledge representation and mining system which we are calling the Semantic Knowledge Graph. At its heart, the Semantic Knowledge Graph leverages an inverted index, along with a complementary uninverted…

Information Retrieval · Computer Science 2016-09-06 Trey Grainger , Khalifeh AlJadda , Mohammed Korayem , Andries Smith

In argumentative discourse, persuasion is often achieved by refuting or attacking others arguments. Attacking is not always straightforward and often comprise complex rhetorical moves such that arguers might agree with a logic of an…

Computation and Language · Computer Science 2022-04-05 Farjana Sultana Mim , Naoya Inoue , Shoichi Naito , Keshav Singh , Kentaro Inui

Gradual semantics with abstract argumentation provide each argument with a score reflecting its acceptability, i.e. how "much" it is attacked by other arguments. Many different gradual semantics have been proposed in the literature, each…

Artificial Intelligence · Computer Science 2022-02-02 Nir Oren , Bruno Yun , Srdjan Vesic , Murilo Baptista

This position paper defends post-hoc explainability methods as legitimate tools for scientific knowledge production in machine learning. Addressing criticism of these methods' reliability and epistemic status, we develop a philosophical…

Machine Learning · Computer Science 2025-10-31 Nick Oh

This position paper reflects on the state-of-the-art in decision-making under uncertainty. A classical assumption is that probabilities can sufficiently capture all uncertainty in a system. In this paper, the focus is on the uncertainty…

Artificial Intelligence · Computer Science 2023-03-13 Thom Badings , Thiago D. Simão , Marnix Suilen , Nils Jansen

Natural language semantics has recently sought to combine the complementary strengths of formal and distributional approaches to meaning. More specifically, proposals have been put forward to augment formal semantic machinery with…

Computation and Language · Computer Science 2021-03-03 Noortje J. Venhuizen , Petra Hendriks , Matthew W. Crocker , Harm Brouwer

Human knowledge is subject to uncertainties, imprecision, incompleteness and inconsistencies. Moreover, the meaning of many everyday terms is dependent on the context. That poses a huge challenge for the Semantic Web. This paper introduces…

Artificial Intelligence · Computer Science 2023-09-25 Dave Raggett

With the increasing empirical success of distributional models of compositional semantics, it is timely to consider the types of textual logic that such models are capable of capturing. In this paper, we address shortcomings in the ability…

Computation and Language · Computer Science 2013-06-11 Karl Moritz Hermann , Edward Grefenstette , Phil Blunsom

Nontransitive choices have long been an area of curiosity within economics. However, determining whether nontransitive choices represent an individual's preference is a difficult task since choice data is inherently stochastic. This paper…

Theoretical Economics · Economics 2023-05-01 Mogens Fosgerau , John Rehbeck

Language is not only used to transmit neutral information; we often seek to persuade by arguing in favor of a particular view. Persuasion raises a number of challenges for classical accounts of belief updating, as information cannot be…

Computation and Language · Computer Science 2022-09-15 Samuel A. Barnett , Thomas L. Griffiths , Robert D. Hawkins

Scientific knowledge is constantly subject to a variety of changes due to new discoveries, alternative interpretations, and fresh perspectives. Understanding uncertainties associated with various stages of scientific inquiries is an…

Digital Libraries · Computer Science 2020-12-24 Chaomei Chen , Ming Song , Go Eun Heo
‹ Prev 1 3 4 5 6 7 10 Next ›