Search

Abstract: The concept of labelled stratified graph (LSG) was introduced in Ţăndăreanu (Knowledge Inform. Syst. 2(4) (2000) 438) in connection with that of knowledge base with output (KBO). The aim of this paper is to present a distinct facet of this concept. We prove several algebraic properties for LSGs and we conclude that a LSG can be used independently of a KBO. In order to realize this aim we define a partial order on the set of all LSGs over a labelled graph G, an equivalence relation on and a partial order on the factor set. The set endowed with becomes a join semilattice with greatest element. Each equivalence class contains an unique LSG, which is named distinguished representative of C. This is the least element of. Particularly we obtain the distinguished representative for the supremum of two classes (DRS) and the greatest distinguished LSG (the least LSG of the greatest element of, denoted GD). Two applications are presented, one for DRS and one for GD. Several opens problems are briefly exposed in the last section. [Copyright &y& Elsevier]