Nicolae Tandareanu

Learn More
In this paper we shall propose a knowledge representation method, the deduction process in a knowledge representation and reasoning system using this method and therefore the answer function of such a system. This is an algebraic method because some concepts of universal algebra are used. More precisely, we introduce the concept of knowledge base with(More)
In this paper we reconsider the computations accomplished in a semantic schema. We reconsider also the computations in a master-slave systems of semantic schemas introduced in [6] as a cooperating system of such structures. We show that a master-slave system is adequate to represent distributed knowledge. To relieve this fact we describe such a system named(More)