In this paper we present a formal specification of a traditionally informal domain of knowledge: the Behavior Analysis psychological theory. Our main objective is to highlight some motivations, issues, constructions and insights that, we believe, are particular to the task of formalizing a preexisting informal theory. In order to achieve this, we give a short introduction to Behavior Analysis and then explore in detail some fragments of the full specification, which is written using the Z formal method. With such a specification, we argue, one is in better position to implement a software system that relates to an actual psychological theory. Such relation could be useful, for instance, in the implementation of multi-agent simulators. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Da Silva, P. S., & De Melo, A. C. V. (2007). A simulation-oriented formalization for a psychological theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4422 LNCS, pp. 42–56). https://doi.org/10.1007/978-3-540-71289-3_5
Mendeley helps you to discover research relevant for your work.