داریوش لطیفی - گروه ریاضیات و کاربردها، دانشگاه محقق اردبیلی، اردبیل، ایران
ابوالفضل فتح اله زاده - دانشگاه سانترال سوپلک، متز، فرانسه

هدف این مقاله تشریح پیاده سازی دو قسمت اول از سه قسمت عمده زیر ( ۱) منطق فازی، ( ۲) استدلال جبری ومنطقی یکپارچه و ( ۳) یاد گیری اتوماتیک عبارات فضائی است.پس از بحث و بررسی در خصوص لزوم استفاده از عبارات فازی در هندسه فضائی به چگونگی ادغام مختصات کمی و کیفی مرتبط با اشکال هندسی در موتور سیستم ارزیابی عبارات فضائی و اثبات قضایا، بنام Geomkr می پردازیم. استدلال یک پارچه بمعنی ادغام استدلال منطقی و جبری برای رضایتمندی عبارات توصیف صحنه یا قضایای هندسی است. بعد از توصیف نحوه ارزیابی عبارت فضایی به معرفی الگوریتم پیاده سازی می پردازیم. در خاتمه پس از نتیجه گیری به طرح مسایل جدید اشاره می کنیم. الگوریتم استدلال این سیستم نه تنها از سیستم یک پارچه روش جبری و روش منطقی مرتبه اول استفاده می کند بلکه با معرفیگزاره های فضایی فازی و نحوه ادغام آنها و همچنین گزاره های کلاسیک در این سیستم از توان بالایی نسبت به سیستم های کلاسیک برخوردار است.

منطق فازی, ارزیابی عبارت هندسی, عبارات فازی هندسی, استدلال یکپارچه جبری و منطقی