Sciweavers

2638 search results - page 21 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
IAT
2007
IEEE
15 years 4 months ago
Formalizing Practical Reasoning Under Uncertainty: An Argumentation-Based Approach
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
Leila Amgoud, Henri Prade
DALT
2010
Springer
14 years 4 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
KR
2004
Springer
15 years 3 months ago
Regulative and Constitutive Norms in Normative Multiagent Systems
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...
Guido Boella, Leendert W. N. van der Torre
ICFEM
2010
Springer
14 years 7 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
69
Voted
AAMAS
2010
Springer
14 years 9 months ago
Modeling appraisal in theory of mind reasoning
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
Mei Si, Stacy C. Marsella, David V. Pynadath