中文
相关论文

相关论文: A Minimal Deductive System for RDFS with Negative …

200 篇论文

Word Sense Disambiguation (WSD) remains a key challenge in Natural Language Processing (NLP), especially when dealing with rare or domain-specific senses that are often misinterpreted. While modern high-parameter Large Language Models…

计算与语言 · 计算机科学 2026-03-06 Deshan Sumanathilaka , Nicholas Micallef , Julian Hough

Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Description Framework (RDF). One of the primary purposes of a…

计算机科学中的逻辑 · 计算机科学 2009-05-13 Marko A. Rodriguez , Joe Geldart

Self-improvement via RL often fails on complex reasoning tasks because GRPO-style post-training methods rely on the model's initial ability to generate positive samples. Without guided exploration, these approaches merely reinforce what the…

机器学习 · 计算机科学 2026-01-28 Ruiyang Zhou , Shuozhe Li , Amy Zhang , Liu Leqi

When asked a question in a language less seen in its training data, current reasoning large language models (RLMs) often exhibit dramatically lower performance than when asked the same question in English. In response, we introduce…

计算与语言 · 计算机科学 2026-01-27 Lintang Sutawika , Gokul Swamy , Zhiwei Steven Wu , Graham Neubig

Enhancing reasoning capabilities in small language models is critical for specialized applications such as medical question answering, particularly in underrepresented languages like Persian. In this study, we employ Reinforcement Learning…

计算与语言 · 计算机科学 2026-01-07 Mehrdad Ghassabi , Sadra Hakim , Hamidreza Baradaran Kashani , Pedram Rostami

Semantic knowledge graphs are foundational to implementing the FAIR Principles, yet RDF/OWL representations often lack the semantic flexibility and cognitive interoperability required in scientific domains. We present a novel framework for…

数据库 · 计算机科学 2025-06-09 Lars Vogt

Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a…

人工智能 · 计算机科学 2019-07-24 João Alcântara , Samy Sá , Juan Acosta-Guadarrama

The semantic web has received many contributions of researchers as ontologies which, in this context, i.e. within RDF linked data, are formalized conceptualizations that might use different protocols, such as RDFS, OWL DL and OWL FULL. In…

人工智能 · 计算机科学 2017-10-30 Renato Fabbri

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can…

人工智能 · 计算机科学 2007-05-23 Gerhard Brewka

Diffusion language models (DLMs) enable parallel, order-agnostic generation with iterative refinement, offering a flexible alternative to autoregressive large language models (LLMs). However, adapting reinforcement learning (RL) fine-tuning…

机器学习 · 计算机科学 2026-02-12 Kevin Rojas , Jiahe Lin , Kashif Rasul , Anderson Schneider , Yuriy Nevmyvaka , Molei Tao , Wei Deng

A deterministic finite automaton (DFA) separates two strings $w$ and $x$ if it accepts $w$ and rejects $x$. The minimum number of states required for a DFA to separate $w$ and $x$ is denoted by $sep(w,x)$. The present paper shows that the…

形式语言与自动机理论 · 计算机科学 2018-02-13 Farzam Ebrahimnejad

This paper develops a new approach to computational argumentation that is informed by philosophical and linguistic views. Namely, it takes into account two ideas that have received little attention in the literature on computational…

人工智能 · 计算机科学 2026-02-04 Michael A. Müller , Srdjan Vesic , Bruno Yun

The adoption of machine learning in health care hinges on the transparency of the used algorithms, necessitating the need for explanation methods. However, despite a growing literature on explaining neural networks, no consensus has been…

计算机视觉与模式识别 · 计算机科学 2020-03-20 Laura Rieger , Lars Kai Hansen

DPO and related algorithms align language models by directly optimizing the RLHF objective: find a policy that maximizes the Bradley-Terry reward while staying close to a reference policy through a KL divergence penalty. Previous work…

机器学习 · 计算机科学 2026-02-09 Idan Pipano , Shoham Sabach , Kavosh Asadi , Mohammad Ghavamzadeh

Backreference is a well-known practical extension of regular expressions and most modern programming languages, such as Java, Python, JavaScript and more, support regular expressions with backreferences (rewb) in their standard libraries…

形式语言与自动机理论 · 计算机科学 2024-06-28 Taisei Nogami , Tachio Terauchi

Diagnosis-Related Group (DRG) codes are essential for hospital reimbursement and operations but require labor-intensive assignment. Large Language Models (LLMs) struggle with DRG coding due to the out-of-distribution (OOD) nature of the…

机器学习 · 计算机科学 2025-10-16 Hanyin Wang , Zhenbang Wu , Gururaj Kolar , Hariprasad Korsapati , Brian Bartlett , Bryan Hull , Jimeng Sun

The generated responses of large language models (LLMs) are often fine-tuned to human preferences through a process called reinforcement learning from human feedback (RLHF). As RLHF relies on a challenging training sequence, whereby a…

机器学习 · 计算机科学 2025-06-10 Xiangkun Hu , Lemin Kong , Tong He , David Wipf

One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferred and stable. Although powerful, AFs have their…

人工智能 · 计算机科学 2014-05-05 Sylwia Polberg

Paraphrasing re-expresses meaning to enhance applications like text simplification, machine translation, and question-answering. Specific paraphrase types facilitate accurate semantic analysis and robust language models. However, existing…

计算与语言 · 计算机科学 2025-06-04 Christopher Lee Lübbers

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance…

人工智能 · 计算机科学 2018-09-10 Gerhard Brewka , Jörg Pührer , Hannes Strass , Johannes P. Wallner , Stefan Woltran