کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
389278 | 661123 | 2014 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A logic framework for reasoning with movement based on fuzzy qualitative representation
ترجمه فارسی عنوان
یک چارچوب منطقی برای استدلال با حرکت بر اساس نمایندگی کیفی فازی؟
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
استدلال کیفی با داده های فازی حرکت اشیاء، استدلال مرتبه سفارش، منطق پویا پیشنهاد دلیل عدم قطعیت
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
We present a logic approach to reason with moving objects under fuzzy qualitative representation. This way, we can deal both with qualitative and quantitative information, and consequently, to obtain more accurate results. The proposed logic system is introduced as an extension of Propositional Dynamic Logic: this choice, on the one hand, simplifies the theoretical study concerning soundness, completeness and decidability; on the other hand, provides the possibility of constructing complex relations from simpler ones and the use of a language very close to programming languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 242, 1 May 2014, Pages 114–131
Journal: Fuzzy Sets and Systems - Volume 242, 1 May 2014, Pages 114–131
نویسندگان
E. Muñoz-Velasco, A. Burrieza, M. Ojeda-Aciego,