5158 search results - page 683 / 1032 » Generalization of the Dempster-Shafer Theory |
151
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
181
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
168
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
171
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
185
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...