中文
相关论文

相关论文: Reverse Queries in DATR

200 篇论文

The type-theoretic modelling of DRT that [degroote06] proposed features continuations for the management of the context in which a clause has to be interpreted. This approach, while keeping the standard definitions of quantifier scope,…

计算与语言 · 计算机科学 2008-12-18 Sylvain Pogodalla

Relational reasoning is a central component of generally intelligent systems, enabling robust and data-efficient inductive generalization. Recent empirical evidence shows that many existing neural architectures, including Transformers,…

机器学习 · 计算机科学 2025-06-23 Awni Altabaa , John Lafferty

Conversational recommender systems (CRS) dynamically obtain the user preferences via multi-turn questions and answers. The existing CRS solutions are widely dominated by deep reinforcement learning algorithms. However, deep reinforcement…

信息检索 · 计算机科学 2022-09-01 A S M Ahsan-Ul Haque , Hongning Wang

Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logical language. This paper contributes to another perspective on…

计算机科学中的逻辑 · 计算机科学 2016-07-13 Hein Duijf , Jan Broersen

As the popularity of voice assistants continues to surge, conversational search has gained increased attention in Information Retrieval. However, data sparsity issues in conversational search significantly hinder the progress of supervised…

信息检索 · 计算机科学 2024-10-21 Dayu Yang , Yue Zhang , Hui Fang

Large language models often encounter challenges with static knowledge and hallucinations, which undermine their reliability. Retrieval-augmented generation (RAG) mitigates these issues by incorporating external information. However, user…

In Information Retrieval System (IRS), the Automatic Relevance Feedback (ARF) is a query reformulation technique that modifies the initial one without the user intervention. It is applied mainly through the addition of terms coming from the…

信息检索 · 计算机科学 2013-06-18 Abderrahim Mohammed El Amine , Benameur Said , Abderrahim Mohammed Alaeddine

This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and…

逻辑 · 数学 2014-12-01 Alex Citkin

Multiple lines of research have developed Natural Language (NL) interfaces for formulating database queries. We build upon this work, but focus on presenting a highly detailed form of the answers in NL. The answers that we present are…

数据库 · 计算机科学 2020-07-10 Daniel Deutch , Nave Frost , Amir Gilad

Reversible forms of computations are often interesting from an energy efficiency point of view. When the computation device in question is an automaton, it is known that the minimal reversible automaton recognizing a given language is not…

形式语言与自动机理论 · 计算机科学 2017-08-23 Kitti Gelle , Szabolcs Iván

Dense retrieval (DR) approaches based on powerful pre-trained language models (PLMs) achieved significant advances and have become a key component for modern open-domain question-answering systems. However, they require large amounts of…

计算与语言 · 计算机科学 2022-08-08 Xiaoyu Shen , Svitlana Vakulenko , Marco del Tredici , Gianni Barlacchi , Bill Byrne , Adrià de Gispert

In this paper we show that reversible analysis of logic languages by abstract interpretation can be performed without loss of precision by systematically refining abstract domains. The idea is to include semantic structures into abstract…

编程语言 · 计算机科学 2007-05-23 R. Giacobazzi , F. Ranzato , F. Scozzari

This paper presents a grammar formalism designed for use in data-oriented approaches to language processing. The formalism is best described as a right-linear indexed grammar extended in linguistically interesting ways. The paper goes on to…

cmp-lg · 计算机科学 2016-08-31 David Tugwell

Retrieval-Augmented Generation (RAG) improves large language models by retrieving external knowledge, often truncated into smaller chunks due to the input context window, which leads to information loss, resulting in response hallucinations…

计算与语言 · 计算机科学 2025-11-18 Jie Zhang , Bo Tang , Wanzi Shao , Wenqiang Wei , Jihao Zhao , Jianqing Zhu , Zhiyu li , Wen Xi , Zehao Lin , Feiyu Xiong , Yanchao Tan

This research work deals with Natural Language Processing (NLP) and extraction of essential information in an explicit form. The most common among the information management strategies is Document Retrieval (DR) and Information Filtering.…

计算与语言 · 计算机科学 2020-04-07 K. R. Chowdhary

Voice, as input, has progressively become popular on mobiles and seems to transcend almost entirely text input. Through voice, the voice search (VS) system can provide a more natural way to meet user's information needs. However, errors…

信息检索 · 计算机科学 2023-09-06 Yi-Cheng Wang , Tzu-Ting Yang , Hsin-Wei Wang , Bi-Cheng Yan , Berlin Chen

Conversational retrieval refers to an information retrieval system that operates in an iterative and interactive manner, requiring the retrieval of various external resources, such as persona, knowledge, and even response, to effectively…

计算与语言 · 计算机科学 2024-02-29 Hongru Wang , Boyang Xue , Baohang Zhou , Rui Wang , Fei Mi , Weichao Wang , Yasheng Wang , Kam-Fai Wong

Document retrieval is one of the best established information retrieval activities since the sixties, pervading all search engines. Its aim is to obtain, from a collection of text documents, those most relevant to a pattern query. Current…

信息检索 · 计算机科学 2013-10-01 Gonzalo Navarro

Traversals are commonly seen in tree data structures, and performance-enhancing transformations between tree traversals are critical for many applications. Existing approaches to reasoning about tree traversals and their transformations are…

编程语言 · 计算机科学 2019-10-28 Yanjun Wang , Jinwei Liu , Dalin Zhang , Xiaokang Qiu

In this paper, we propose a fresh perspective on argumentation semantics, to view them as a relational database. It offers encapsulation of the underlying argumentation graph, and allows us to understand argumentation semantics under a…

人工智能 · 计算机科学 2021-04-27 Ryuta Arisaka , Takayuki Ito