Dynamics in integrated knowledge-based systems
Gennady S. Osipov · 2002
The paper studies the behavior of knowledge-based integrated systems with quasi-axiomatic state description. A mechanism for state closure is considered. Concepts of knowledge base deductive and causal completeness are introduced, and their relationship with behavior and controllability of integrated systems is established.