Formal Specification of Complex Reasoning Systems

On the role of formal specification in AI an example reasoning task description A KADS/(ML)2 model of a scheduling task multi2Dcontext systems as a specification framework for complex reasoning systems how AIDE succeeds in an example design task formalizing and operationalizing a design task with KARL A compositional architecture for simple design formally specified in DESIRE algebraic specification of reasoning systems specifying simple scheduling tasks in a reflective and modular architechture specification of complex reasoning tasks in KBSSF comparing formal specification languages for complex reasoning systems.