paper-with-me

홈 › Papers

Transformers in the Service of Description Logic-based Contexts

2023-11-15 · Angelos Poulis, Eleni Tsalapati, Manolis Koubarakis

Recent advancements in transformer-based models have initiated research interests in investigating their ability to learn to perform reasoning tasks. However, most of the contexts used for this purpose are in practice very simple: generated from short (fragments of) first-order logic sentences with only a few logical operators and quantifiers. In this work, we construct the natural language dataset, DELTA$_D$, using the description logic language $\mathcal{ALCQ}$. DELTA$_D$ contains 384K examples, and increases in two dimensions: i) reasoning depth, and ii) linguistic complexity. In this way, we systematically investigate the reasoning ability of a supervised fine-tuned DeBERTa-based model and of two large language models (GPT-3.5, GPT-4) with few-shot prompting. Our results demonstrate that the DeBERTa-based model can master the reasoning task and that the performance of GPTs can improve significantly even when a small number of samples is provided (9 shots). We open-source our code and datasets.

📄 PDF Abstract BibTeX arXiv:2311.08941

Code (1)

angelosps/delta 공식 구현

Tasks

Question Answering

Similar Papers 제목 키워드 기반

Fuzzy Lattice-based Description Logic

2025-06-06 · Yiwen Ding, Krishna Manoorkar

Recently, description logic LE-ALC was introduced for reasoning in the semantic environment of enriched formal contexts, and a polynomial-time tableaux algorithm was developed to check the consistency of knowledge bases …

On the uniform one-dimensional fragment

2016-04-06 · Antti Kuusisto

The uniform one-dimensional fragment of first-order logic, U1, is a formalism that extends two-variable logic in a natural way to contexts with relations of all arities. We survey properties of U1 and investigate its rel…

Survey

KPI2KVI: A Multi Agent Workflow for Calculating Key Value Indicators from Service Descriptions

2026-03-31 · Masoud Shokrnezhad, Tarik Taleb, Yan Chen, Qize Guo arxiv

Key Value Indicators (KVIs) provide a decision oriented view of a service by summarizing how operational performance translates into stakeholder value, risk, and outcomes. However, in many domains KVIs are difficult to c…

A Logic for Expressing Log-Precision Transformers

2022-10-06 · NeurIPS 2023 11

One way to interpret the reasoning power of transformer-based language models is to describe the types of logical rules they can resolve over some input text. Recently, Chiang et al. (2023) showed that finite-precision t…

Sentence

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)

2016-06-30 · Rafael Peñaloza, Nico Potyka

A central question for knowledge representation is how to encode and handle uncertain knowledge adequately. We introduce the probabilistic description logic ALCP that is designed for representing context-dependent knowle…