Extending the behavioural paradigm for intelligent systems

Based upon fundamentally different ideas about the nature of knowledge and intelligence, the behavioural approach to artificial intelligence is an alternative to traditional representational AI paradigms that overcomes specific limitations of traditional approaches. Behavioural control systems for autonomous mobile robots have demonstrated robust and effective performance. However, a comprehensive methodology for the behavioural paradigm has not yet been fully developed. Concentrating upon a behavioural methodology called the subsumption architecture, this paper describes methodological enhancements to the behavioural paradigm based upon the use of logic. The logical definition of behaviours allows many techniques from traditional artificial intelligence to be applied to the analysis, definition, and verification of behavioural systems, and supports strategies for achieving robustness, without incurring the problems associated with traditional AI.<>