By Topic

A reasoning model based on human societies

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)

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.

Published in:

Latin America Transactions, IEEE (Revista IEEE America Latina)  (Volume:6 ,  Issue: 6 )