کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875390 1441947 2018 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Lattices, closures systems and implication bases: A survey of structural aspects and algorithms
ترجمه فارسی عنوان
الکتریسیته، سیستمهای بسته بندی و پایگاه های پیمایشی: بررسی جنبه های ساختاری و الگوریتم ها
کلمات کلیدی
مشبک، شبکه مجموعه ای بسته مفهوم شبکه، مشبک گالوئیس، سیستم جبرانی، اپراتور بسته سیستم بسته شدن، کانونیکال مستقیم، اساس کانونی، نمودار وابستگی، ژنراتورهای کم
ترجمه چکیده
در این مقاله، ما یک نظرسنجی از نظریه شبکه را از تعریف جبری شبکه، به یک شبکه مفهومی، از طریق سیستم های بسته شدن و قوانین پیوندهای ارائه می دهیم. از جمله اکتشاف پیوندهای بی قاعده اساسی بین شبکه ها، کاهش زمینه ها و مبانی قوانین پیوندهای؛ و نتیجه گیری با ارائه الگوریتم های نسل اصلی این اشیاء.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In this paper, we present a survey of lattice theory, from the algebraic definition of a lattice, to that of a concept lattice, through closure systems and implicational rules; including the exploration of fundamental bijective links between lattices, reduced contexts and bases of implicational rules; and concluding with the presentation of the main generation algorithms of these objects.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 743, 26 September 2018, Pages 93-109
نویسندگان
, , , ,