کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10358805 868639 2014 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A normal form for spider diagrams of order
ترجمه فارسی عنوان
فرم عادی برای نمودارهای عنکبوتی نظم
کلمات کلیدی
نمودارهای عنکبوتی، منطق، فرم عادی، نمودارهای اویلر،
ترجمه چکیده
ما یک سیستم استدلال برای منطق بصری مبتنی بر نمودار اویلر، به نام نمودار عنکبوتی نظم، ایجاد می کنیم. یک فرم عادی را برای نمودارهای عنکبوتی نظم تعریف می کنیم و یک الگوریتم را براساس سیستم استدلال برای تولید نمودار در فرم عادی ما ارائه می کنیم. اشکال عادی منطق بصری برای کمک به اثبات کامل بودن سیستم های استدلال مرتبط کمک شده است. ما مایل به استفاده از سیستم استدلال برای اجازه مقایسه مستقیم دیجیتال عنکبوتی از نظم و منطق منطقی زمانی هستیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نرم افزارهای علوم کامپیوتر
پیش نمایش مقاله
فرم عادی برای نمودارهای عنکبوتی نظم
چکیده انگلیسی
We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We define a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal form. Normal forms for visual logics have been shown to assist in proving completeness of associated reasoning systems. We wish to use the reasoning system to allow future direct comparison of spider diagrams of order and linear temporal logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Visual Languages & Computing - Volume 25, Issue 6, December 2014, Pages 935-944
نویسندگان
, , , ,