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

ﻫﺪف اﯾﻦ ﻣﻘﺎﻟﻪ ﭘﯿﺎدهﺳﺎزی دو ﻗﺴﻤﺖ اول از ﺳﻪ ﻗﺴﻤﺖ ﻋﻤﺪه (1) ﻣﻨﻄﻖ ﻓﺎزی، (2) اﺳﺘﺪﻟﺎل ﺟﺒﺮی و ﻣﻨﻄﻘﯽ ﯾﮑﭙﺎرﭼﻪ و (3) ﯾﺎدﮔﯿﺮی اﺗﻮﻣﺎﺗﯿﮏ ﻋﺒﺎرات ﻓﻀﺎﺋﯽ اﺳﺖ. ﭘﺲ از ﺑﺤﺚ در ﺧﺼﻮص ﻟﺰوم اﺳﺘﻔﺎده از ﻋﺒﺎرات ﻓﺎزی در ﻫﻨﺪﺳﻪ ﻓﻀﺎﺋﯽ ﺑﻪ ﭼﮕﻮﻧﮕﯽ ادﻏﺎم ﻣﺨﺘﺼﺎت ﮐﻤﯽ و ﮐﯿﻔﯽ ﻣﺮﺗﺒﻂ ﺑﺎ اﺷﮑﺎل ﻫﻨﺪﺳﯽ در ﻣﻮﺗﻮر ﺳﯿﺴﺘﻢ ارزﯾﺎﺑﯽ ﻋﺒﺎرات ﻓﻀﺎﺋﯽ و اﺛﺒﺎت ﻗﻀﺎﯾﺎ، ﺑﻪﻧﺎم geomkr ﻣﯽﭘﺮدازﯾﻢ. اﺳﺘﺪﻟﺎل ﯾﮏ ﭘﺎرﭼﻪ ﺑﻪﻣﻌﻨﯽ ادﻏﺎم اﺳﺘﺪﻟﺎل ﻣﻨﻄﻘﯽ و ﺟﺒﺮی ﺑﺮای رﺿﺎﯾﺖﻣﻨﺪی ﻋﺒﺎرات ﺗﻮﺻﯿﻒ ﺻﺤﻨﻪ ﯾﺎ ﻗﻀﺎﯾﺎی ﻫﻨﺪﺳﯽ اﺳﺖ. ﺑﻌﺪ از ﺗﻮﺻﯿﻒ ﻧﺤﻮه ارزﯾﺎﺑﯽ ﻋﺒﺎرت ﻓﻀﺎﯾﯽ ﺑﻪ ﻣﻌﺮﻓﯽ اﻟﮕﻮرﯾﺘﻢ ﭘﯿﺎده ﺳﺎزی ﻣﯽﭘﺮدازﯾﻢ. در ﺧﺎﺗﻤﻪ ﭘﺲ از ﻧﺘﯿﺠﻪﮔﯿﺮی ﺑﻪ ﻃﺮح ﻣﺴﺎﺋﻞ ﺟﺪﯾﺪ اﺷﺎره ﻣﯽﮐﻨﯿﻢ.

a new method for implementation of geometric theorems

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.