Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Formal Concept Analysis (FCA) is an approach to creating a conceptual hierarchy in which a concept lattice is generated from a formal context. That is, a triple consisting of a set of objects, G, a set of attributes, M, and an incidence relation I on G×M. A concept is then modelled as a pair consisting of a set of objects (the extent), and a set of shared attributes (the intent). Implications in FCA describe how one set of attributes follows from another. The semantics of these implications closely resemble that of logical consequence in classical logic. In that sense, it describes a monotonic conditional. The contributions of this paper are two-fold. First, we introduce a non-monotonic conditional between sets of attributes, which assumes a preference over the set of objects. We show that this conditional gives rise to a consequence relation that is consistent with the postulates for non-monotonicty proposed by Kraus, Lehmann, and Magidor (commonly referred to as the KLM postulates). We argue that our contribution establishes a strong characterisation of non-monotonicity in FCA. To our knowledge, this is a novel view of FCA as a formalism which supports non-monotonic reasoning. We then extend the influence of KLM in FCA by introducing the notion of typical concepts through a restriction placed on what constitutes an acceptable preference over the objects. Typical concepts represent concepts where the intent aligns with expectations from the extent, allowing for an exception-tolerant view of concepts. To this end, we show that the set of all typical concepts is a meet semi-lattice of the original concept lattice. This notion of typical concepts is a further introduction of KLM-style typicality into FCA, and is foundational towards developing an algebraic structure representing a concept lattice of prototypical concepts.
Details
| Original language | English |
|---|---|
| Title of host publication | Artificial Intelligence Research |
| Editors | Aurona Gerber, Jacques Maritz, Anban W. Pillay |
| Publisher | Springer, Cham |
| Pages | 476–492 |
| Number of pages | 17 |
| ISBN (electronic) | 978-3-031-78255-8 |
| ISBN (print) | 978-3-031-78254-1 |
| Publication status | Published - 2024 |
| Peer-reviewed | Yes |
Publication series
| Series | Communications in Computer and Information Science |
|---|---|
| Volume | 2326 |
| ISSN | 1865-0929 |
External IDs
| Scopus | 85211820226 |
|---|
Keywords
ASJC Scopus subject areas
Keywords
- Defeasible reasoning, Formal Concept Analysis, Non-monotonic reasoning, Rational consequence relations