کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
434125 | 689687 | 2015 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A fixed point theorem for non-monotonic functions
ترجمه فارسی عنوان
یک قضیه نقطه ثابت برای توابع غیر مونوتونی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نظریه نقطه ثابت، غیر تکونیتی، معانی برنامه نویسی منطقی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster–Tarski fixed point theorem when restricted to the case of monotonic functions and Kleene's theorem when the functions are additionally continuous. From the practical side, the theorem has direct applications in the semantics of negation in logic programming. In particular, it leads to a more direct and elegant proof of the least fixed point result of [12]. Moreover, the theorem appears to have potential for possible applications outside the logic programming domain.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 574, 6 April 2015, Pages 18–38
Journal: Theoretical Computer Science - Volume 574, 6 April 2015, Pages 18–38
نویسندگان
Zoltán Ésik, Panos Rondogiannis,