Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I

• Autorzy: Holzer M.
• Języki publikacji: EN

Abstrakty

EN

Formal contexts with unknown entries can be represented by three-valued contexts K = (G,M, {x,o,?},I), where a question mark indicates that it is not known whether the object g ∈G has the attribute m ∈M. To describe logical formulas between columns of such incomplete contexts the Kripke-semantics are used for propositional formulas over the set M of attributes. Attribute implications are considered as special propositional formulas. If a context is too large to be fully represented, an interactive computer algorithm may help the user to get maximal information (with respect to his knowledge) about the valid attribute implications of the unknown context. This computer algorithm is called "attribute exploration''.

Słowa kluczowe

EN

formal concept analysis; incomplete knowledge; attribute exploration

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 63, nr 1
• Strony: 1--39
• Opis fizyczny: Bibliogr. 15 poz.

Twórcy

autor

Holzer M.

• Department of Mathematics, AG 1, Darnstadt University of Technology, Schlossgartenstr. 7, D-64289 Darmstadt, Germany,

Bibliografia

• [AM84] P. Atzeni, N.M. Morfuni, Functional dependencies in relations with null values. Information Processing Letters 18, page 233-238,1984
• [B91a] R. Burmeister. Merkmalimplikationen bei unvollständigem Wissen. Arbeitstagung Begriffsanalyse und Künstliche Intelligenz, Informatik-Bericht 89/3 des Instituts fur Informatik, Clausthal-Zellerfeld, Januar 1991
• [B91b] R. Burmeister, BA.: Ein Programm zur formalen Begriffsanalyse einwertiger Kontexte. 1991
• [B96a] R. Burmeister, Attribute exploration with incomplete input information. Preliminary report, Technische Hochschule Darmstadt, 1996
• [B96b] R. Burmeister, Formal Concept Analysis with Colmp: Introduction to the Basic Features, english version of Stumme, Wille, Begriffliche Wissensverarbeitung: Methoden und Anwendungen, Springer Verlag, 1996, also available as preprint 2284, Fachbereich Mathematik, TU-Darmstadt, 2003
• [BHOO] R. Burmeister, R. Holzer, On the Treatment of Incomplete Knowledge in Formal Concept Analysis. In: Lecture Notes in Artificial Intelligence 1867, Eds: Bemhard Ganter, Guy W, Mineau, page 385-398, Springer-Verlag, 2000
• [G98] B. Ganter. Begriffe und Implikationen. 1998
• [G99] B. Ganter, Attribute exploration with background knowledge. Theoretical Computer Science 217, page 215-233, 10, 1999
• [GW99] B. Ganter, R. Wille, Formal Concept Analysis - Mathematical Foundations. Springer Verlag, 1999
• [HOI] R. Holzer, Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens. Dissertation, Shaker Verlag, 2001
• [H04] R. Holzer, Knowledge acquisition under incomplete knowledge using methods from formal concept analysis Part 11.
• [L82] Y.E. Lien. On the equivalence of database models. Journal of the ACM 29, page 333-362,1982
• [M83] D. Maier. The Theory of Relational Databases. Computer Science Press, 1983
• [S97] G. Stumme. Concept exploration - Knowledge acquisition in conceptual knowledge systems. Shaker, Aachen, 1997
• [W89] R. Wille. Knowledge acquisition by methods of formal concept analysis. In: E.Diday (ed.): Data analysis, learning symbolic and numeric knowledge. Nova Science Publishers, New York-Budapest, 365-380,1989