دانشگاه یزد پژوهش های نظری و کاربردی هوش ماشینی 2821-2029 1 2 2023 11 22 A new method for implementation of geometric theorems روش جدید پیاده سازی قضایای هندسی 81 91 3179 10.22034/abmir.2023.20024.1031 FA داریوش لطیفی گروه ریاضیات و کاربردها، دنشگاه محقق اردبیلی، اردبیل، ایران 0000-0002-3468-5453 ابوالفضل فتح اله زاده دانشگاه سانترال سوپلک، متز، فرانسه Journal Article 2023 07 11 This paper outlines the optimization of the two first parts of the three major components of the  scene descriptions of the geometrical shapes, namely (1) fuzzy logic scheme, (2) an integrated algebraic and logical reasoning, and (3) the machine learning technique. After arguing the need for using fuzzy expressions in spatial reasoning, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a spatial expression including possibly fuzzy one is conducted by both logical and algebraic reasoning. Then, the implementation of spatial expression evaluation is briefly described. The paper ends by the conclusion and the problems to be studied. The reasoning algorithm of this system not only uses the one-piece system, algebraic method and first-order logical method, but by introducing fuzzy spatial propositions and how to integrate them, as well as classical propositions in this system, it has a high power compared to classical systems. هدف این مقاله تشریح پیاده سازی دو قسمت اول از سه قسمت عمده زیر ( ۱) منطق فازی، ( ۲) استدلال جبری و<br /><br />منطقی یکپارچه و ( ۳) یاد گیری اتوماتیک عبارات فضائی است.<br /><br />پس از بحث و بررسی در خصوص لزوم استفاده از عبارات فازی در هندسه فضائی به چگونگی ادغام مختصات کمی و کیفی مرتبط با اشکال هندسی در موتور سیستم ارزیابی عبارات فضائی و اثبات قضایا، بنام Geomkr می پردازیم. استدلال یک پارچه بمعنی ادغام استدلال منطقی و جبری برای رضایتمندی عبارات توصیف صحنه یا قضایای هندسی است. بعد از توصیف نحوه ارزیابی عبارت فضایی به معرفی الگوریتم پیاده سازی می پردازیم. در خاتمه پس از نتیجه گیری به طرح مسایل جدید اشاره می کنیم. الگوریتم استدلال این سیستم نه تنها از سیستم یک پارچه روش جبری و روش منطقی مرتبه اول استفاده می کند بلکه با معرفی<br /><br />گزاره های فضایی فازی و نحوه ادغام آنها و همچنین گزاره های کلاسیک در این سیستم از توان بالایی نسبت به سیستم های کلاسیک برخوردار است. https://abmir.yazd.ac.ir/article_3179_79b52b5c5e7e1c8959504319f11e35dd.pdf