کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4945204 1438414 2017 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Typology of axioms for a weighted modal logic
ترجمه فارسی عنوان
تطبیق اصول برای یک منطق معادل وزن
کلمات کلیدی
ترجمه چکیده
در این مقاله به بررسی و بررسی فرمت های منطق مودال با بررسی صحیح معیارهای مودال کلاسیک در چارچوب وزن می پردازیم. این مفهوم مربوط به ارزش های مربوط به وزن را در معناشناسی کریپیک معنی دار معنی می کند و خواص مرتبط با قابلیت دسترسی را مورد بهره برداری قرار می دهد. تعمیم های مختلف اصطلاحات کلاسیک ساخته شده است و از این نوع، نوع شناسی عناصر وزنی ساخته شده است، تمایز بین چهار نوع، بسته به روابط خود را با همتایان کلاسیک خود و به شرایط احتمالا معادل.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش مقاله
تطبیق اصول برای یک منطق معادل وزن
چکیده انگلیسی
This paper introduces and studies extensions of modal logics by investigating the soundness of classical modal axioms in a weighted framework. It discusses the notion of relevant weight values, in a specific weighted Kripke semantics and exploits accessibility relation properties. Different generalisations of the classical axioms are constructed and, from these, a typology of weighted axioms is built, distinguishing between four types, depending on their relations to their classical counterparts and to the, possibly equivalent, frame conditions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 90, November 2017, Pages 341-358
نویسندگان
, , ,