کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951495 1364358 2017 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Logic programming approach to automata-based decision procedures
ترجمه فارسی عنوان
رویکرد برنامه ریزی منطقی به روش تصمیم گیری مبتنی بر اتوماتای
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی


- We propose a novel technique to the decision problem of WSnS (weak monadic second-order logic with n successors).
- We outline the advantages of the proposed method over more traditional approaches and provide experimental results demonstrating the performance gain with the proposed method.
- We also explore various optimizations of the proposed technique.

We propose a novel technique that reduces the decision problem of WSnS (weak monadic second-order logic with n successors) to the problem of evaluation of Complex-value Datalog queries. We then show how the use of advanced implementation techniques for Logic Programs, in particular the use of tabling in the XSB system, yields a considerable improvement in performance over more traditional approaches. We also explore various optimizations of the proposed technique based on variants of tabling and goal reordering. Although our primary focus is on WS1S, the logic of single successor, we show that it is straightforward to adapt our approach for other logics with existing automata-theoretic decision procedures, for example WS2S.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 86, Issue 1, January 2017, Pages 391-407
نویسندگان
, ,