Sciweavers

3406 search results - page 213 / 682
» Modelling situations in intelligent agents
Sort
View
AAAI
2007
15 years 9 months ago
Action-Based Alternating Transition Systems for Arguments about Action
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...
Katie Atkinson, Trevor J. M. Bench-Capon
AAAI
2000
15 years 8 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
ATAL
2003
Springer
15 years 11 months ago
Integrating evolutionary computing and the SADDE methodology
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
Carles Sierra, Jordi Sabater, Jaume Agustí-...
AAMAS
2008
Springer
15 years 6 months ago
Technology diffusion: analysing the diffusion of agent technologies
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...
Jez McKean, Hayden Shorter, Michael Luck, Peter Mc...
IAT
2003
IEEE
15 years 12 months ago
MPIAB: A Novel Agent Architecture for Parallel Processing
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
Shahram Rahimi, Ajay Narayanan, Meha Sabharwal