摘要: The authors describe an intelligent control system that combines mathematical theory and artificial intelligence (AI) technology. A controlled reasoning paradigm is proposed to carry out such integration. An advanced architecture, called Schemer, described can support a paradigm. Schemer embodies computational model of problem-solving 'agents' react to, interact with, the dynamically changing conditions complex task environment carrying their activities. >