Sciweavers

240 search results - page 15 / 48
» A Logic for Reasoning about Rational Agents
Sort
View
JELIA
2004
Springer
15 years 11 months ago
Practical Reasoning for Uncertain Agents
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
ARGMAS
2008
Springer
15 years 8 months ago
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
Katie Atkinson, Trevor J. M. Bench-Capon
AI
1998
Springer
15 years 5 months ago
The Logical Foundations of Goal-Regression Planning in Autonomous Agents
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
John L. Pollock
MATES
2005
Springer
15 years 11 months ago
Programming Cognitive Agents
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
John-Jules Ch. Meyer
KR
1991
Springer
15 years 9 months ago
Rational Belief Revision
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
Jon Doyle