IWPAAMS2007-09: Un marco de razonamiento basado en sociedades humanas
(IWPAAMS2007-09: A reasoning model based on human societies)
Rubén Fuentes-Fernández (firstname.lastname@example.org), Eva Ullán (email@example.com), Jorge J. Gómez-Sanz (firstname.lastname@example.org)
Universidad Complutense de Madrid, Spain
This paper appears in: Revista IEEE América Latina
Publication Date: Oct. 2008
Volume: 6, Issue: 6
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.
Social Factors, Simulation Languages, Psychology, Simulation, Software Verification and Validation
Documents that cite this
This function is not implemented yet.
[PDF Full-Text (519)]