When Horn is All You Need

Sergei ObiedkovSergei Obiedkov, Sebastian RudolphSebastian Rudolph

Sergei Obiedkov, Sebastian Rudolph
When Horn is All You Need
In Peggy Cellier, Bernhard Ganter, Rokia Missaoui, eds., Conceptual Knowledge Structures. CONCEPTS 2025, volume 15941 of Lecture Notes in Artificial Intelligence, 309–324, September 2025. Springer

Details
Bibtex

KurzfassungAbstract
In classical formal concept analysis, attribute logic refers to the study of implications that hold between the attributes of a formal context. In some scenarios, attributes may be logically interdependent a priori by definition, particularly when they are defined by logical formulae. This paper examines various settings in which attributes are logically defined and explores the resulting effects on attribute logic and on the structure of the concept lattice. We also investigate under which conditions the implicational theory of a context with logically defined attributes is as informative as the underlying context itself for deciding the validity of logical formulae.
Projekt:Project: SECAI, ScaDS.AI
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer.

@inproceedings{OR2025,
  author    = {Sergei Obiedkov and Sebastian Rudolph},
  title     = {When Horn is All You Need},
  editor    = {Peggy Cellier and Bernhard Ganter and Rokia Missaoui},
  booktitle = {Conceptual Knowledge Structures. {CONCEPTS} 2025},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {15941},
  publisher = {Springer},
  year      = {2025},
  month     = {September},
  pages     = {309{\textendash}324}
}