Sciweavers

3729 search results - page 9 / 746
» On Formal Modeling of Agent Computations
Sort
View
AAAI
2007
15 years 2 months ago
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
Steven Reece, Stephen Roberts, Alex Rogers, Nichol...
AAAI
2007
15 years 2 months ago
A Logic of Emotions for Intelligent Agents
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...
ARGMAS
2004
Springer
15 years 3 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed
ECAI
2006
Springer
15 years 3 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles