Homomorphisms Between Relation Information Systems

摘要

Information system is one of the important mathematical models in the field of artificial intelligence. The concept of homomor-phism is very useful to study the communication between two information systems. In this paper, some properties of relation information systems under homomorphisms are investigated. The concept of a relation mapping between two universes is proposed in order to construct a binary relation on one universe according to the given binary relation on the other universe. The main properties of the mapping are studied. Furthermore, the notion of homomorphism of information systems based on arbitrary binary relations is proposed, and it is proved that the reductions of the original system and image system are equivalent to each other under the condition of homomorphism.