روش جدید پیاده سازی قضایای هندسی
Publish Year: 1402
نوع سند: مقاله ژورنالی
زبان: Persian
View: 44
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_ABMIR-1-2_007
تاریخ نمایه سازی: 6 دی 1402
Abstract:
هدف این مقاله تشریح پیاده سازی دو قسمت اول از سه قسمت عمده زیر ( ۱) منطق فازی، ( ۲) استدلال جبری ومنطقی یکپارچه و ( ۳) یاد گیری اتوماتیک عبارات فضائی است.پس از بحث و بررسی در خصوص لزوم استفاده از عبارات فازی در هندسه فضائی به چگونگی ادغام مختصات کمی و کیفی مرتبط با اشکال هندسی در موتور سیستم ارزیابی عبارات فضائی و اثبات قضایا، بنام Geomkr می پردازیم. استدلال یک پارچه بمعنی ادغام استدلال منطقی و جبری برای رضایتمندی عبارات توصیف صحنه یا قضایای هندسی است. بعد از توصیف نحوه ارزیابی عبارت فضایی به معرفی الگوریتم پیاده سازی می پردازیم. در خاتمه پس از نتیجه گیری به طرح مسایل جدید اشاره می کنیم. الگوریتم استدلال این سیستم نه تنها از سیستم یک پارچه روش جبری و روش منطقی مرتبه اول استفاده می کند بلکه با معرفیگزاره های فضایی فازی و نحوه ادغام آنها و همچنین گزاره های کلاسیک در این سیستم از توان بالایی نسبت به سیستم های کلاسیک برخوردار است.
Keywords:
Authors
داریوش لطیفی
گروه ریاضیات و کاربردها، دانشگاه محقق اردبیلی، اردبیل، ایران
ابوالفضل فتح اله زاده
دانشگاه سانترال سوپلک، متز، فرانسه
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :