Sciweavers

68 search results - page 6 / 14
» Mental states as multi-context systems
Sort
View
IJAIT
2006
136views more  IJAIT 2006»
13 years 6 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
PROMAS
2004
Springer
14 years 1 days ago
Goal Representation for BDI Agent Systems
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
Lars Braubach, Alexander Pokahr, Daniel Moldt, Win...
AISB
2008
Springer
13 years 8 months ago
Cognition without content
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
Paul Schweizer
AIED
2007
Springer
14 years 27 days ago
The Effect of Problem Templates on Learning in Intelligent Tutoring Systems
: This paper proposes the notion of problem templates (PTs), a concept based on theories of memory and expertise. These mental constructs allow experts to quickly recognise problem...
Moffat Mathews, Antonija Mitrovic
AAAI
2010
13 years 8 months ago
Intentions in Equilibrium
Intentions have been widely studied in AI, both in the context of decision-making within individual agents and in multiagent systems. Work on intentions in multi-agent systems has...
John Grant, Sarit Kraus, Michael Wooldridge