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

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

Abstrakty

EN

Attribute exploration is an interactive computer algorithm which helps the expert to get informations about the attribute implications of a formal context. In the part I of this paper (see [H04]) an algorithm for attribute exploration with incomplete knowledge was presented. In this part we prove the main results of the algorithm: At the end of the attribute exploration the expert gets maximal information with respect to his knowledge about the unknown universe: He gets a list of implications which are certainly valid, a list of implications which are possibly valid, a list of counterexamples against the implications which are certainly not valid and a list of fictitious counterexamples against the implications which he answered by `"unknown''. He only has to check the implications which he answered by `"unknown'' and if he can decide for each of these implications whether it is valid or not, he gets complete knowledge about the implications of the context.

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: 41--63
• Opis fizyczny: Bibliogr. 15 poz., tab., wykr.

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 dependiencies in relations with null values. Information Processing Letters 18, page 233-238. 1984
• [B91a] P.Burmeister. Merkmaliniplikationen bei unwollsändigem Wissen. Arbeitstagung Begriffsanalyse und Künstliche Intelligenz. Informalik-Bericht 89/3 des Instituts fur Informatik, Clausthal-Zellerfeld, Januar 1991
• [B91b] P.Burmeister, BA.: Ein Programm zur formalen Begriffsanalyse einwertiger Kontexte. 1991
• [B96a] P.Burmeister. Attribute exploration with incomplete input information. Preliminary report. Technische Hochschule Darmstadt, 1996
• [B96b] P.Burmeister. Formal Concept Analysis with Conlmp: 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] P.Burmeister, R.Holzer. On the Treatment of Incomplete Knowledge in Formal Concept Analysis. In: Lecture Notes in Artificial Intelligence 1867, Eds: Bernhard Ganter, Guy W. Mineau. page 385-398, Springer-Verlag. 20(M)
• [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
• [HO1] 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 I.
• [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