Evolving algebras and labelled deductive systems for the semantic network based reasoning (Extended Abstract)

Abstract

In the present paper we deal with two approaches suitable to formal treatment of semantical network based reasoning, that are Evolving Algebras (EA) and Labelled Deductive Systems (LDS). The evolving algebras methodology give a tools for precise operational description of the any computational process at the desired level of abstraction, while labelled deduction systems allows to treat various logical based approaches in the unified way. We give the formalizations the semantical networks based reasoning in the both formalisms and discuss their relationships