Sciweavers

20 search results - page 2 / 4
» Towards a Logical Model of Social Agreement for Agent Societ...
Sort
View
MABS
2004
Springer
13 years 10 months ago
Patchiness and Prosociality: An Agent-Based Model of Plio/Pleistocene Hominid Food Sharing
Anthropologists have yet to adequately investigate the evolution of food sharing despite its prevalence among contemporary human societies. As an initial step toward rectifying thi...
L. S. Premo
STAIRS
2008
128views Education» more  STAIRS 2008»
13 years 6 months ago
Towards Social Dynamic Dependence Networks for Institutions
Social networks are structures that aim to represent the relationships among the actors of a society. In the multiagent model, these networks depict the dependencies among the agen...
Serena Villata
ATAL
2008
Springer
13 years 7 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff
ATAL
2008
Springer
13 years 6 months ago
Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
Benoit Gaudou, Dominique Longin, Emiliano Lorini, ...
AIML
2006
13 years 6 months ago
The Tree of Knowledge in Action: Towards a Common Perspective
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
Johan van Benthem, Eric Pacuit