Holzer, Richard Methods of formal concept analysis for the treatment of incomplete knowledge. (Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens.) (German) Zbl 0989.68138 Berichte aus der Mathematik. Aachen: Shaker Verlag. Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.), 219 S. (2001). Summary: The PhD thesis discusses the treatment of incomplete knowledge in formal concept analysis. In the first part, it brings together Kripke and Kleene logics with knowledge representation in incomplete formal contexts. In the second part, it applies the results to B. Ganter’s attribute exploration. A comparison with the extension of attribute exploration by incomplete knowledge and background knowledge discussed by B. Ganter [Theor. Comput. Sci. 217, No. 2, 215-233 (1999; Zbl 0914.68168)] would have been helpful. Cited in 2 Documents MSC: 68T30 Knowledge representation 06B99 Lattices Keywords:incomplete knowledge; formal concept analysis; knowledge representation; attribute exploration Citations:Zbl 0914.68168 PDFBibTeX XMLCite \textit{R. Holzer}, Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens. Aachen: Shaker Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (2001; Zbl 0989.68138) Full Text: Link