×

Boolean judgment logic. (English) Zbl 0994.03025

Delugach, Harry S. (ed.) et al., Conceptual structures: broadening the base. 9th international conference, ICCS 2001, Stanford, CA, USA, July 30 - August 3, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2120, 115-128 (2001).
Summary: How to introduce negations for formal (semi-)concepts of formal contexts was shown in “Boolean concept logic” [R. Wille, Lect. Notes Comput. Sci. 1867, 317-331 (2000; Zbl 0973.03035)]. For formal judgments, which are represented by concept graphs of power context families, there is the problem that the negation of a judgment is no more a judgment since judgments are understood as valid propositions. This problem is solved in “Boolean judgment logic” by introducing the “negating inversion”. This leads to basic algebras of (semi-)concept graphs of power context families which are investigated in this paper to obtain a mathematical foundation of Boolean judgment logic. The basic notions and relationships are illustrated by an example concerned with an information system for supporting the configuration of PCs.
For the entire collection see [Zbl 0969.00087].

MSC:

03B70 Logic in computer science
68T30 Knowledge representation
68T27 Logic in artificial intelligence

Citations:

Zbl 0973.03035
PDFBibTeX XMLCite
Full Text: Link