English
Related papers

Related papers: Exploiting Uncertainty for Querying Inconsistent D…

200 papers

There has been a considerable amount of work on uncertainty in knowledge-based systems. This work has generally been concerned with uncertainty arising from the strength of inferences and the weight of evidence. In this paper we discuss…

Artificial Intelligence · Computer Science 2013-04-12 Steven J. Henkind

Ambiguous words or underspecified references require interlocutors to resolve them, often by relying on shared context and commonsense knowledge. Therefore, we systematically investigate whether Large Language Models (LLMs) can leverage…

Computation and Language · Computer Science 2025-09-22 Lukas Ellinger , Georg Groh

Modern deterministic retrieval pipelines prioritize achieving state-of-the-art performance but often lack interpretability in decision-making. These models face challenges in assessing uncertainty, leading to overconfident predictions. To…

Information Retrieval · Computer Science 2024-02-06 EuiYul Song , Philhoon Oh , Sangryul Kim , James Thorne

The deductive closure of an ideal knowledge base (KB) contains exactly the logical queries that the KB can answer. However, in practice KBs are both incomplete and over-specified, failing to answer some queries that have real-world answers.…

Machine Learning · Computer Science 2021-02-01 Haitian Sun , Andrew O. Arnold , Tania Bedrax-Weiss , Fernando Pereira , William W. Cohen

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood…

Artificial Intelligence · Computer Science 2011-11-02 Birte Glimm , Ian Horrocks , Carsten Lutz , Ulrike Sattler

The performance and usability of Large-Language Models (LLMs) are driving their use in explanation generation tasks. However, despite their widespread adoption, LLM explanations have been found to be unreliable, making it difficult for…

Computation and Language · Computer Science 2025-06-05 Diana Galvan-Sosa , Gabrielle Gaudeau , Pride Kavumba , Yunmeng Li , Hongyi gu , Zheng Yuan , Keisuke Sakaguchi , Paula Buttery

Text semantic matching is a fundamental task that has been widely used in various scenarios, such as community question answering, information retrieval, and recommendation. Most state-of-the-art matching models, e.g., BERT, directly…

Computation and Language · Computer Science 2022-03-08 Yicheng Zou , Hongwei Liu , Tao Gui , Junzhe Wang , Qi Zhang , Meng Tang , Haixiang Li , Daniel Wang

Traditional symbolic reasoning engines, while attractive for their precision and explicability, have a few major drawbacks: the use of brittle inference procedures that rely on exact matching (unification) of logical terms, an inability to…

Computation and Language · Computer Science 2021-12-07 Aditya Kalyanpur , Tom Breloff , David Ferrucci

This paper offers an approach to extensible knowledge representation and reasoning for a family of formalisms known as Description Logics. The approach is based on the notion of adding new concept constructors, and includes a heuristic…

Artificial Intelligence · Computer Science 2011-05-30 A. Borgida

Recent work in entity disambiguation (ED) has typically neglected structured knowledge base (KB) facts, and instead relied on a limited subset of KB information, such as entity descriptions or types. This limits the range of contexts in…

Computation and Language · Computer Science 2022-07-12 Tom Ayoola , Joseph Fisher , Andrea Pierleoni

Language models (LMs) have already demonstrated remarkable abilities in understanding and generating both natural and formal language. Despite these advances, their integration with real-world environments such as large-scale knowledge…

Computation and Language · Computer Science 2024-02-12 Yiheng Shu , Zhiwei Yu

In this paper, we explore a quantitative approach to querying inconsistent description logic knowledge bases. We consider weighted knowledge bases in which both axioms and assertions have (possibly infinite) weights, which are used to…

Logic in Computer Science · Computer Science 2024-08-01 Meghyn Bienvenu , Camille Bourgaux , Robin Jean

Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases. In this direction, in our previous works we presented a datalog…

Logic in Computer Science · Computer Science 2019-05-23 Loris Bozzato , Thomas Eiter , Luciano Serafini

Knowledge bases (KB) constructed through information extraction from text play an important role in query answering and reasoning. In this work, we study a particular reasoning task, the problem of discovering causal relationships between…

Artificial Intelligence · Computer Science 2017-11-17 Dhanya Sridhar , Jay Pujara , Lise Getoor

Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decidability and complexity of traditional reasoning tasks such as satisfiability of circumscribed DL knowledge bases (KBs) is well…

Artificial Intelligence · Computer Science 2023-06-08 Carsten Lutz , Quentin Manière , Robin Nolte

This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic knowledge bases, provided by different sources, into a new…

Artificial Intelligence · Computer Science 2013-02-01 Salem Benferhat , Claudio Sossai

The ability to summarize and organize knowledge into abstract concepts is key to learning and reasoning. Many industrial applications rely on the consistent and systematic use of concepts, especially when dealing with decision-critical…

Computation and Language · Computer Science 2024-05-31 Rosario Uceda-Sosa , Karthikeyan Natesan Ramamurthy , Maria Chang , Moninder Singh

Distributed knowledge based applications in open domain rely on common sense information which is bound to be uncertain and incomplete. To draw the useful conclusions from ambiguous data, one must address uncertainties and conflicts…

Artificial Intelligence · Computer Science 2013-02-01 Benson Hin Kwong Ng , Kam-Fai Wong , Boon-Toh Low

Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new…

Artificial Intelligence · Computer Science 2015-06-05 Diego Calvanese , Marco Montali , Ario Santoso

When answering natural language questions over knowledge bases, missing facts, incomplete schema and limited scope naturally lead to many questions being unanswerable. While answerability has been explored in other QA settings, it has not…

Computation and Language · Computer Science 2023-06-27 Mayur Patidar , Prayushi Faldu , Avinash Singh , Lovekesh Vig , Indrajit Bhattacharya , Mausam