Behaviour and Reasoning Description Language (BRDL)

Abstract

This paper introduces BRDL—a concise language to formally describe human behaviour and reasoning—grounded in a cognitive architecture based on memory and reasoning processes. The notation is designed to be intuitive and accessible to non-mathematical practitioners like psychologists and linguists, and supports modelling of deliberate and automatic behaviour, problem solving, and interactive systems. Its formal semantics are implemented using the Real-Time Maude rewriting logic framework to enable formal modelling and analysis of human/system interaction.