575 search results - page 2 / 115 » Transition systems for designing and reasoning about norms |
AAAI
2007
13 years 7 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
SEKE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
KR
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We show how protocols can be derived from norms using landmarks. The resulting protocols can be used by agents to fulfill the norms governing an e-institution without having to h...