کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6872762 | 685057 | 2016 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Classical Resolution for Many-Valued Logics
ترجمه فارسی عنوان
قطعنامه کلاسیک برای منطقهای ارزشمند
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطقهای چندگانه، معنویت دوطرفه، روش قطعنامه،
ترجمه چکیده
ما یک روش اثبات مبتنی بر رزولوشن برای منطق گزاره ای با ارزش محدود بر اساس یک روش کاهش الگوریتمی ارائه می دهیم که این منطق را از لحاظ معانی دوگانگی بیان می کند. رویکرد ما ترکیبی از استفاده از برخی از عناصر است که داخلی و دیگران است که خارجی به منطق ارزشمند در نظر گرفته شده است، همانطور که ما زبان اصلی خود را به زبان فلسفه ای بیشتر برای مقابله با مشکل رفع است. در مقایسه با رویکردهای قبلی به همین مشکل، زبان هدف ما به طور کامل کلاسیک است، چرا که طراحی قوانین مبتنی بر رزولوشن برای یک منطق ارزشمند خاص را به یک کار ساده تبدیل می کند. نتایج صحیح که در تحقیق حاضر به طور دقیق ثابت شده است، به راحتی از نتایج در مورد وضوح کلاسیک پیروی می کنند. ما کاربرد روش با نمونه ها را نشان می دهیم و اظهار نظر در مورد پیاده سازی آن را می توانیم با ترجمه مستقیم به منطق گزاره ای کلاسیک انجام دهیم، که با استفاده از محققان معتبر اتوماتیک معتبر قابل دستیابی است.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present a resolution-based proof method for finite-valued propositional logics based on an algorithmic reduction procedure that expresses these logics in terms of bivalent semantics. Our approach is hybrid in using some elements which are internal and others which are external to the many-valued logic under consideration, as we embed its original language into a more expressive metalanguage to deal with the satisfiability problem. In contrast to previous approaches to the same problem, our target language is fully classical, what turns the design of the resolution-based rules for a specific many-valued logic into a straightforward task. Correctness results, which are proved in detail in the present study, follow easily from results on classical resolution. We illustrate the application of the method with examples, and comment on its implementation, readily achievable by direct translation into classical propositional logic, making use of reliable existing automated provers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 323, 11 July 2016, Pages 253-270
Journal: Electronic Notes in Theoretical Computer Science - Volume 323, 11 July 2016, Pages 253-270
نویسندگان
João Marcos, Cláudia Nalon,