Sciweavers

2655 search results - page 64 / 531
» An agent model for fault-tolerant systems
Sort
View
AAAI
2008
13 years 11 months ago
An Extended Interpreted System Model for Epistemic Logics
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
Kaile Su, Abdul Sattar
MAGS
2006
150views more  MAGS 2006»
13 years 8 months ago
The Agent-Rule-Class framework for Multi-Agent Systems
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
Liang Xiao 0002, Des Greer
ATAL
2006
Springer
14 years 19 days ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton
SGAI
2007
Springer
14 years 3 months ago
Can Agents Without Concepts Think? An Investigation Using a Knowledge Based System
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...
Nicky Moss, Adrian Hopgood, Martin Weller
PDSE
2000
91views more  PDSE 2000»
13 years 10 months ago
A Formalism for Hierarchical Mobile Agents
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
Ichiro Satoh