کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874823 1441439 2018 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Finding models through graph saturation
ترجمه فارسی عنوان
پیدا کردن مدل ها از طریق اشباع گراف
ترجمه چکیده
ما یک رویه را می توانیم استفاده کنیم تا به صورت خودکار برآوردهای متغیرهای خاصی را برآورده کنیم. این ممنوعیت ممکن است با تقاطع عملیات، ترکیب و صحبت کردن در مورد روابط باینری و برابری در برابر این عملیات نوشته شود. ما این جمله های غیرمستقیم را می خوانیم که بیش از نمودار ها تفسیر می کنیم. برای سوالاتی که از طریق مجموعه ای از این احکام بیان شده است، این مقاله یک روش نیمه تصمیم گیری را به نام اشباع گراف می نامیم. این تصمیمات مربوط به این احکام را بر اساس تجدید نظر گراف انجام می دهد. ما صحت روش را ثابت می کنیم. علاوه بر این، ما نشان می دهد مشکل تصمیم گیری مربوط به غیر قابل تشخیص است. این یک حدس است که قبلا توسط نویسنده نوشته شده است [7] را تایید می کند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We give a procedure that can be used to automatically satisfy invariants of a certain shape. These invariants may be written with the operations intersection, composition and converse over binary relations, and equality over these operations. We call these invariants sentences that we interpret over graphs. For questions stated through sets of these sentences, this paper gives a semi-decision procedure we call graph saturation. It decides entailment over these sentences, inspired on graph rewriting. We prove correctness of the procedure. Moreover, we show the corresponding decision problem to be undecidable. This confirms a conjecture previously stated by the author [7].
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 100, November 2018, Pages 98-112
نویسندگان
,