Knowledge Anticipation on Agents Relationship in the Geometry Proof System

This paper describes the Geometry demonstration learning system LEEG (Learning Environment on Euclidean Geometry). This system was constructed on a learning environment composed of five agents that interact to promote the knowledge construction and evolution. The five agents are : Mestre, Oráculo, Sonda, Cliente and Aprendiz (or in English, respectively, Master, Oracle, Probe, Client, Apprentice), each one with distinctive and specific behavior. The focus of this work will be the specification of the Mestre-Oráculo and Mestre-Sonda relationships and the knowledge base specification.