Modelling using UML diagrams of an intelligent system for the automatic demonstration of geometry theorems
Anca Iordan, Manuela Pănoiu, Ioan Baciu, Corina Daniela Cuntan · WSEAS Transactions on Computers archive · 2010
In this work will be presented the design of an intelligent system destined for development process of demonstrating abilities for geometry theorems. This system will make available to user a proof assistant which will allow interactive vizualization of several demonstrations for the same theorem, demonstrations that have been generated by using three specific methods for automatic demonstration of theorems: area method, full-angle method and inferences accomplishment. For the implementation of the component used to represent knowledge and proof mechanisms will be used Prolog language and for the achievement of geometric construction associated to the theorem will be used Java language.