Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings

این جلد شامل مقالات منتخب ارائه شده در ICFCA 2010، هشتمین کنفرانس بین المللی تحلیل مفهوم رسمی است. هدف مجموعه کنفرانس ICFCA این است که انجمن اصلی برای انتشار پیشرفت‌ها در تئوری شبکه‌های کاربردی و نظم، و به‌ویژه پیشرفت‌ها در تئوری و کاربردهای تحلیل مفهوم رسمی باشد. تجزیه و تحلیل مفهوم رسمی (FCA) یکی از شاخه های ریاضیات کاربردی است که ریشه ریاضی آن در نظریه نظم، به ویژه نظریه شبکه های کامل است. محققان از مدتها قبل از این واقعیت آگاه بودند که این برنامه های کاربردی بالقوه زیادی دارند. موضوع کلیدی رسمی سازی ریاضی مفهوم و سلسله مراتب مفهومی بود. از آن زمان به بعد، این بخش به خودی خود با یک جامعه نظری پر رونق و تعداد روزافزون برنامه های کاربردی و پردازش دانش از جمله تجسم داده ها، بازیابی اطلاعات، یادگیری ماشین، مهندسی نرم افزار، تجزیه و تحلیل داده ها، داده کاوی در وب 2.0، تجزیه و تحلیل شبکه های اجتماعی، به یک حوزه تحقیقاتی رو به رشد تبدیل شده است. ، نمودارهای مفهومی، منطق متنی و منطق توصیف. ICFCA 2010 طی 15 تا 18 مارس 2010 در اگادیر، مراکش برگزار شد. ما 37 مقاله ارسالی با کیفیت بالا دریافت کردیم که از بین آنها 17 مقاله به عنوان مقالات عادی در این مراحل پس از یک فرآیند انتخاب رقابتی انتخاب شدند. آثار کمتر بالغی که هنوز برای بحث در کنفرانس ارزشمند تلقی می شدند، در مجموعه مقالات تکمیلی جمع آوری شدند. مقالات موجود در جلد حاضر، جنبه‌های مختلف FCA را از مبانی نظری تا کاربردهای آن در بسیاری از بخش‌های دیگر پوشش می‌دهند. علاوه بر مقالات معمولی، این مجلد شامل چهار مقاله کلیدی است که از هفت سخنرانی دعوت شده در کنفرانس ارائه شده است. ما همچنین خوشحالیم که چاپ مجدد مقاله علمی برنهارد گانتر را در الگوریتم معروف او برای شمارش مجموعه‌های بسته اضافه می‌کنیم.

This volume contains selected papers presented at ICFCA 2010, the 8th Int- national Conference on Formal Concept Analysis. The ICFCA conference series aims to be the prime forum for dissemination of advances in applied lattice and order theory, and in particular advances in theory and applications of Formal Concept Analysis. Formal Concept Analysis (FCA) is a ?eld of applied mathematics with its mathematical root in order theory, in particular the theory of complete lattices. Researchershadlongbeenawareofthefactthatthese?eldshavemanypotential applications.FCAemergedinthe1980sfrome?ortstorestructurelattice theory to promote better communication between lattice theorists and potential users of lattice theory. The key theme was the mathematical formalization of c- cept and conceptual hierarchy. Since then, the ?eld has developed into a growing research area in its own right with a thriving theoretical community and an - creasingnumberofapplicationsindataandknowledgeprocessingincludingdata visualization, information retrieval, machine learning, sofware engineering, data analysis, data mining in Web 2.0, analysis of social networks, concept graphs, contextual logic and description logics. ICFCA 2010 took place during March 15–18, 2010 in Agadir, Morocco. We received 37 high-quality submissions out of which 17 were chosen as regular papers in these proceedings after a competitive selection process. Less mature works that were still considered valuable for discussion at the conference were collected in the supplementary proceedings. The papers in the present volume coveradvancesinvariousaspectsofFCArangingfromitstheoreticalfoundations to its applications in numerous other ?elds. In addition to the regular papers, thisvolumealsocontainsfourkeynotepapersarisingfromtheseveninvitedtalks given at the conference. We are also delighted to include a reprint of Bernhard Ganter’sseminalpaper on hiswell-knownalgorithmfor enumerating closedsets.