Formal methods for mining structured objects

در زمینه کشف دانش، نمودار مفاهیم یک تکنیک مدل‌سازی گویا و همه‌کاره است که راه‌هایی برای استدلال درباره اطلاعات ضمنی در مجموعه‌ای از داده‌ها ارائه می‌دهد. نمونه‌های جالبی از این موضوع را می‌توان در تئوری ریاضی تحلیل مفهوم رسمی یافت، که به ساخت شبکه‌ای از مفاهیم با تعریف یک اتصال Galois بر روی یک رابطه باینری اختصاص دارد. این کتاب چنین نموداری از مفاهیم را در مورد پیچیده تری از داده ها ارائه می دهد که در مجموعه ای از اشیاء ساخت یافته آمده است. به عنوان مثال، مجموعه ای از دنباله ها، درختان یا نمودارها. گره‌های این نمودار الگوهایی را در داده‌ها نشان می‌دهند و یال‌ها با روابط اختصاصی مطابقت دارند. از این شی ترکیبی، نتایجی مانند توصیف کامل مفاهیم منطقی و دستورات جزئی بسته به دست می‌آید. نتایج ارائه شده در این کتاب با مثال‌ها و آزمایش‌های تجربی همراه است که مشارکت‌های نظری مشتق‌شده را نشان می‌دهد.

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.