39 search results - page 4 / 8 » Automating Belief Revision for AgentSpeak |
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
NMR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, a possible worlds framework for representing general belief change operators is presented. In common with many approaches, an agent’s set of beliefs are specifie...
NMR
2004
Springer
14 years 1 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
TIME
1994
IEEE
13 years 12 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
NMR
2004
Springer
14 years 1 months ago
2004
Springer
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...