Automorphic Equivalence of Multi-models Recognition
In this paper we provide an implementable formal algorithm for knowledge bases equivalence verification based on the formal definition of knowledge base given by B. I. Plotkin in his works and also study some important properties of automorphic equivalence of models. In addition we show that notion...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Republic of Armenia National Academy of Sciences
2008-10-01
|
| Series: | Armenian Journal of Mathematics |
| Online Access: | http://www.armjmath.sci.am/index.php/ajm/article/view/23 |