Negation, opposition, and possibility in logical concept analysis

Abstract

We introduce the epistemic extension, a logic transformation based on the modal logic AIK (All I Know) for use in the frame-work of Logical Concept Analysis (LCA). The aim is to allow for the distinction between negation, opposition, and possibility in a unique formalism. The difference between negation and opposition is examplified by the difference between "young/not young" and "young/old". The difference between negation and possibility is examplified by the difference between "(certainly) not young" and "possibly not young". Furthermore this epistemic extension entails no loss of genericity in LCA. © Springer-Verlag Berlin Heidelberg 2006.