| Description |
1 online resource (x, 348 pages) : illustrations (some color) |
| Series |
Lecture notes in computer science ; 3626. Lecture notes in artificial intelligence |
|
Lecture notes in computer science ; 3626.
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence.
|
| Contents |
Formal concept analysis as mathematical theory of concepts and concept hierarchies / Rudolf Wille -- Semiconcept and protoconcept algebras : the basic theorems / Bjorn Vormbrock and Rudolf Wille -- Features of interaction between formal concept analysis and algebraic geometry / Tim Becker -- From formal concept anlysis to contextual logic / Frithjof Dau and Julia Klinger -- Contextual attribute logic of many-valued attribues / Bernhard Ganter -- Treating incomplete knowledge in formal concept analysis / Peter Burmeister and Richard Holzer -- States, transitions, and life tracks in temporal concept analysis / Karl Erich Woff -- Linguistic applications of formal concept analysis / Uta Priss -- Using conrcept lattices for text retrieval and mining / Claudio Carpineto and Giovanni Romano -- Efficient mining of association rules based on formal concept analysis / Lotfi Lakhal and Gerd Stumme -- Galois connections in data analysis : contributions from the Soviet era and modern Russian research / Sergei 0. Kuznetsov -- Conceptual knowledge proessing in the field of economics / Rudolf Wille -- A survey of formal concept analysis support for software engineering activities / Thomas Tilley [and others] -- Concept lattices in software analysis / Gregor Snelting -- Formial concept analysis used for software analysis and modelling / Wolfgang Hesse and Thomas Tilley -- Formal concept analysis-based class hierarchy design in object oriented software development / Robert Godin and Petko Valtchev -- The ToscanaJ suite for implementing conceptual information systems / Peter Becker and Joachim Hereth Correia |
| Summary |
Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. The formal concept analysis approach has been proven successful in a wide range of application fields. This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering |
| Analysis |
wiskunde |
|
mathematics |
|
informatieontsluiting |
|
information retrieval |
|
informatieopslag |
|
information storage |
|
computerwetenschappen |
|
computer sciences |
|
kunstmatige intelligentie |
|
artificial intelligence |
|
software engineering |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Lattice theory.
|
|
Comprehension (Theory of knowledge)
|
|
Logic, Symbolic and mathematical.
|
|
Information theory.
|
|
Artificial intelligence -- Mathematical models
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Informatique.
|
|
Artificial intelligence -- Mathematical models
|
|
Comprehension (Theory of knowledge)
|
|
Information theory
|
|
Lattice theory
|
|
Logic, Symbolic and mathematical
|
|
Formale Begriffsanalyse
|
|
Intelligence artificielle.
|
|
Modèle mathématique.
|
|
Analyse formelle de concepts.
|
|
Darmstadt <2005>
|
| Genre/Form |
Kongress.
|
| Form |
Electronic book
|
| Author |
Ganter, Bernhard
|
|
Stumme, Gerd, 1967-
|
|
Wille, Rudolf
|
| LC no. |
2005929194 |
| ISBN |
3540278915 |
|
9783540278917 |
|
9783540318811 |
|
354031881X |
|
9788354031888 |
|
8354031888 |
|
