中文
相关论文

相关论文: Priority-Based Conflict Resolution in Inconsistent…

200 篇论文

Consistency management, the ability to detect, diagnose and handle inconsistencies, is crucial during the development process in Model-driven Engineering (MDE). As the popularity and application scenarios of MDE expanded, a variety of…

软件工程 · 计算机科学 2016-11-16 Nuno Macedo , Tiago Jorge , Alcino Cunha

In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A natural notion of query acyclicity for this language is…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Arnaud Durand , Etienne Grandjean

In default reasoning, usually not all possible ways of resolving conflicts between default rules are acceptable. Criteria expressing acceptable ways of resolving the conflicts may be hardwired in the inference mechanism, for example…

人工智能 · 计算机科学 2011-05-30 J. Rintanen

Ranking entities such as algorithms, devices, methods, or models based on their performances, while accounting for application-specific preferences, is a challenge. To address this challenge, we establish the foundations of a universal…

机器学习 · 计算机科学 2026-03-25 Sébastien Piérard , Anaïs Halin , Anthony Cioppa , Adrien Deliège , Marc Van Droogenbroeck

In the RAG paradigm, the information retrieval module provides context for generators by retrieving and ranking multiple documents to support the aggregation of evidence. However, existing ranking models are primarily optimized for…

信息检索 · 计算机科学 2026-03-10 Yongqi Fan , Yuxiang Chu , Zhentao Xia , Xiaoyang Chen , Jie Liu , Haijin Liang , Jin Ma , Ben He , Yingfei Sun , Dezhi Ye , Tong Ruan

Large language models (LLMs) have achieved impressive advancements across numerous disciplines, yet the critical issue of knowledge conflicts, a major source of hallucinations, has rarely been studied. Only a few research explored the…

计算与语言 · 计算机科学 2024-08-23 Zhaochen Su , Jun Zhang , Xiaoye Qu , Tong Zhu , Yanshu Li , Jiashuo Sun , Juntao Li , Min Zhang , Yu Cheng

This paper introduces U-relations, a succinct and purely relational representation system for uncertain databases. U-relations support attribute-level uncertainty using vertical partitioning. If we consider positive relational algebra…

数据库 · 计算机科学 2007-07-12 Lyublena Antova , Thomas Jansen , Christoph Koch , Dan Olteanu

Causal probing aims to analyze foundation models by examining how intervening on their representation of various latent properties impacts their outputs. Recent works have cast doubt on the theoretical basis of several leading causal…

机器学习 · 计算机科学 2025-12-23 Marc Canby , Adam Davies , Chirag Rastogi , Julia Hockenmaier

The rise of large language models (LLMs) has significantly influenced the quality of information in decision-making systems, leading to the prevalence of AI-generated content and challenges in detecting misinformation and managing…

Rational belief revision is commonly viewed as being based on a preference order between possible worlds, with the resulting new belief set being those sentences true in all the most preferred models of the incoming new information.…

人工智能 · 计算机科学 2026-05-01 Richard Booth , Ivan Varzinczak

Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be…

软件工程 · 计算机科学 2015-04-15 Uwe Lesta , Ina Schaefer , Tim Winkelmann

Biomedical retrieval-augmented large language models (LLMs) often face evidence that is incomplete, misleading, or internally contradictory, yet evaluation usually emphasizes answer accuracy under helpful context rather than reliability…

计算与语言 · 计算机科学 2026-05-15 Yikun Han , Mengfei Lan , Halil Kilicoglu

Ranking problems, also known as preference learning problems, define a widely spread class of statistical learning problems with many applications, including fraud detection, document ranking, medicine, credit risk screening, image ranking…

机器学习 · 计算机科学 2020-12-17 Tino Werner

In this paper, we address the problem of handling inconsistent data in Temporal Description Logic (TDL) knowledge bases. Considering the data part of the Knowledge Base as the source of inconsistency over time, we propose an ABox repair…

人工智能 · 计算机科学 2021-08-31 Mourad Ouziri , Sabiha Tahrat , Salima Benbernou , Mourad Ouzirri

We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted…

数据库 · 计算机科学 2010-09-14 L. Caroprese , M. Truszczynski

The ranking problem is to order a collection of units by some unobserved parameter, based on observations from the associated distribution. This problem arises naturally in a number of contexts, such as business, where we may want to rank…

统计理论 · 数学 2019-09-04 Toby Kenney

We present a preference learning framework for multiple criteria sorting. We consider sorting procedures applying an additive value model with diverse types of marginal value functions (including linear, piecewise-linear, splined, and…

机器学习 · 计算机科学 2019-10-15 Jiapeng Liu , Milosz Kadzinski , Xiuwu Liao , Xiaoxin Mao , Yao Wang

Preference-based reinforcement learning (PbRL) provides a natural way to align RL agents' behavior with human desired outcomes, but is often restrained by costly human feedback. To improve feedback efficiency, most existing PbRL methods…

机器学习 · 计算机科学 2024-07-08 Xiao Hu , Jianxiong Li , Xianyuan Zhan , Qing-Shan Jia , Ya-Qin Zhang

In search and recommendation systems, predictive models often suffer from temporal instability when certain input features introduce volatility in output scores. This instability can degrade model reliability and user experience especially…

We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show that it is decidable to determine whether a constraint satisfaction…

计算机科学中的逻辑 · 计算机科学 2015-07-01 Benoit Larose , Cynthia Loten , Claude Tardif