Formal Methods for Mining Structured Objects

  • Gemma CĀ Garriga

Part of the Studies in Computational Intelligence book series (SCI, volume 475)

Table of contents

  1. Front Matter
    Pages 1-8
  2. Gemma C. Garriga
    Pages 1-11
  3. Gemma C. Garriga
    Pages 13-19
  4. Gemma C. Garriga
    Pages 21-37
  5. Gemma C. Garriga
    Pages 39-50
  6. Gemma C. Garriga
    Pages 51-63
  7. Gemma C. Garriga
    Pages 65-83
  8. Gemma C. Garriga
    Pages 85-97
  9. Gemma C. Garriga
    Pages 99-100
  10. Back Matter
    Pages 101-109

About this book

Introduction

In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of this can be found under the mathematical theory of formal concept analysis, dedicated to the construction of a lattice of concepts by defining a Galois connection on a binary relationship. This book present such graph of concepts under the more complex case of data that comes in a set of structured objects; e.g. a set of sequences, trees or graphs. Nodes of this graph will represent patterns in the data and edges will correspond to relationships of specificity. From this combinatorial object results are derived such as a full characterization of  logical implications and closed partial orders. The results presented in this book are coupled with examples and empirical experiments that illustrate the derived theoretical contributions.

Keywords

Computational Intelligence Formal Methods Mining Structured Objects

Authors and affiliations

  • Gemma CĀ Garriga
    • 1
  1. 1., Parc Scientifique de la Haute BorneINRIA Lille Nord EuropeVilleneuve d'AscqFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-36681-9
  • Copyright Information Springe -Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Engineering
  • Print ISBN 978-3-642-36680-2
  • Online ISBN 978-3-642-36681-9
  • Series Print ISSN 1860-949X
  • Series Online ISSN 1860-9503
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences