روش جدید پیاده سازی قضایای هندسی

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