IWPAAMS2007-09: Un marco de razonamiento basado en sociedades humanas (IWPAAMS2007-09: A reasoning model based on human societies)

Rubén Fuentes-Fernández (ruben@fdi.ucm.es), Eva Ullán (evah@sip.ucm.es), Jorge J. Gómez-Sanz (jjgomez@sip.ucm.es)

Universidad Complutense de Madrid, Spain
This paper appears in: Revista IEEE América Latina

Publication Date: Oct. 2008
Volume: 6,   Issue: 6 
ISSN: 1548-0992

The use of simulation tools for reasoning about human societies formalizes their analysis and reduces the related costs, but it demands a high level of expertise in the design and programming of complex systems. This paper presents the SCAT framework aimed at bringing these tools closer to their end users, the researchers in Social Sciences. For this purpose, it adopts an approach with domain-specific languages based on the Activity Theory and the Situation Calculus. The Activity Theory is a paradigm from Social Sciences to analyze the behaviour of societies through activity systems, which are groups of tasks performed by actors in a social and historical context. SCAT uses the formalism of the Situation Calculus to define an operational semantics for these systems. On this basis, SCAT provides a modelling language to describe interconnected activity systems, and an environment for the simulation of these systems and the verification of their properties. An example on human relations organizes this presentation of SCAT.

Index Terms:
Social Factors, Simulation Languages, Psychology, Simulation, Software Verification and Validation   

Documents that cite this document
This function is not implemented yet.

[PDF Full-Text (519)]