aiqbench analysis
This paper introduces a configurable LLM framework that uses a variability model to generate human-interpretable names for formally defined concepts in Formal and Relational Concept Analysis. By controlling information sources like intent and relational attributes, the approach makes semantic choices explicit, aiding domain experts in validating and navigating symbolic knowledge structures. The method demonstrates how naming variability can uncover underlying modeling issues within the data.
A Variability-Based Framework for Interpretable Naming in Formal and Relational Concept Analysis
arXiv:2606.08477v1 Announce Type: new Abstract: Knowledge extraction from symbolic data often produces abstractions that are formally defined but not immediately interpretable by users. Formal Concept Analysis (FCA) and Relational Concept Analysis (RCA) provide representative settings for this issue: they generate explicit conceptual structures, implications, and relational dependencies from object descriptions and relations. Although these structures are explainable by design, their concepts are often identified by technical labels, which limits their use as human-interpretable knowledge units. Assigning meaningful names to such concepts is therefore a key issue for interpretation, navigation, validation, and reuse by domain experts. This paper investigates concept naming in FCA and RCA from a symbolic knowledge representation perspective. We first characterize the linguistic and terminological challenges involved in naming generated symbolic abstractions, including ambiguity, discrimination, concision, and consistency across related concepts. We then propose a configurable framework for LLM-assisted concept naming. The framework relies on a variability model that controls which sources of information are exposed during naming, such as intent, extent, inherited information, neighboring concepts, implications, and relational attributes. It thereby makes explicit the semantic choices involved in moving from formal concept descriptions to human-readable names. The approach is illustrated as a proof of concept on a small relational dataset in the pizzeria domain. This illustration shows how different configurations influence the names suggested by an LLM, and how naming variability can reveal interpretation choices, relational dependencies, and possible modeling issues in the underlying symbolic data.
Abstract:Knowledge extraction from symbolic data often produces abstractions that are formally defined but not immediately interpretable by users. Formal Concept Analysis (FCA) and Relational Concept Analysis (RCA) provide representative settings for this issue: they generate explicit conceptual structures, implications, and relational dependencies from object descriptions and relations. Although these structures are explainable by design, their concepts are often identified by technical labels, which limits their use as human-interpretable knowledge units. Assigning meaningful names to such concepts is therefore a key issue for interpretation, navigation, validation, and reuse by domain experts. This paper investigates concept naming in FCA and RCA from a symbolic knowledge representation perspective. We first characterize the linguistic and terminological challenges involved in naming generated symbolic abstractions, including ambiguity, discrimination, concision, and consistency across related concepts. We then propose a configurable framework for LLM-assisted concept naming. The framework relies on a variability model that controls which sources of information are exposed during naming, such as intent, extent, inherited information, neighboring concepts, implications, and relational attributes. It thereby makes explicit the semantic choices involved in moving from formal concept descriptions to human-readable names. The approach is illustrated as a proof of concept on a small relational dataset in the pizzeria domain. This illustration shows how different configurations influence the names suggested by an LLM, and how naming variability can reveal interpretation choices, relational dependencies, and possible modeling issues in the underlying symbolic data.
Artificial Intelligence (cs.AI)
arXiv:2606.08477 [cs.AI]
(or arXiv:2606.08477v1 [cs.AI] for this version)
https://doi.org/10.48550/arXiv.2606.08477 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
FeatureModels/Complete.uvl
FeatureModels/ConceptDesc.uvl
FeatureModels/Prompt.uvl
FeatureModels/RelAttrib.uvl
FeatureModels/Strategy.uvl
FeatureModels/Task.uvl
ResultAnalysis/Agreednamesscores.xlsx
ResultAnalysis/Differentnamesscores.xlsx
ResultAnalysis/ResultsMerged.xlsx
ResultAnalysis/ResultsOne.xlsx
(117 additional files not shown) You must enabled JavaScript to view entire file list.
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 352 words
Related coverage
The Next Swan: Frank Ramsey, Variable Hypotheticals, and the Bet on Induction
LessWrong · Jun 8, 2026

The Entangled Dimensions of Decision Theory
LessWrong · Jul 30, 2026

Hint-based CoT faithfulness evals still mostly work on Claude
LessWrong · Jul 30, 2026

[AINews] Reality Checks on AI News (Yegge shuts down Gas Town, Databricks’ +60% Astra cost)
Latent Space · Sep 17, 2026