240 search results - page 28 / 48 » A Logic for Reasoning about Rational Agents |
105
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
123
click to vote
AAAI
1990
15 years 28 days ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
100
click to vote
CLIMA
2011
13 years 11 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
AAAI
2007
15 years 2 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
119
click to vote
MASA
2001
Springer
15 years 4 months ago
2001
Springer
This chapter aims to introduce the reader to the basic issues surrounding the design and implementation of intelligent agents. It begins by motivating the idea of an agent, present...