روش جدید پیاده سازی قضایای هندسی
- سال انتشار: 1402
- محل انتشار: مجله پژوهش های نظری و کاربردی هوش ماشینی، دوره: 1، شماره: 2
- کد COI اختصاصی: JR_ABMIR-1-2_007
- زبان مقاله: فارسی
- تعداد مشاهده: 51
نویسندگان
گروه ریاضیات و کاربردها، دانشگاه محقق اردبیلی، اردبیل، ایران
دانشگاه سانترال سوپلک، متز، فرانسه
چکیده
هدف این مقاله تشریح پیاده سازی دو قسمت اول از سه قسمت عمده زیر ( ۱) منطق فازی، ( ۲) استدلال جبری ومنطقی یکپارچه و ( ۳) یاد گیری اتوماتیک عبارات فضائی است.پس از بحث و بررسی در خصوص لزوم استفاده از عبارات فازی در هندسه فضائی به چگونگی ادغام مختصات کمی و کیفی مرتبط با اشکال هندسی در موتور سیستم ارزیابی عبارات فضائی و اثبات قضایا، بنام Geomkr می پردازیم. استدلال یک پارچه بمعنی ادغام استدلال منطقی و جبری برای رضایتمندی عبارات توصیف صحنه یا قضایای هندسی است. بعد از توصیف نحوه ارزیابی عبارت فضایی به معرفی الگوریتم پیاده سازی می پردازیم. در خاتمه پس از نتیجه گیری به طرح مسایل جدید اشاره می کنیم. الگوریتم استدلال این سیستم نه تنها از سیستم یک پارچه روش جبری و روش منطقی مرتبه اول استفاده می کند بلکه با معرفیگزاره های فضایی فازی و نحوه ادغام آنها و همچنین گزاره های کلاسیک در این سیستم از توان بالایی نسبت به سیستم های کلاسیک برخوردار است.کلیدواژه ها
منطق فازی, ارزیابی عبارت هندسی, عبارات فازی هندسی, استدلال یکپارچه جبری و منطقیاطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.