The Modal Logic of Discrepancy |
| |
Authors: | Cross Charles B. |
| |
Affiliation: | (1) Department of Philosophy, University of Georgia, Athens, GA, 30602-1627, U.S.A. |
| |
Abstract: | Discrepancies between an agents goals and beliefs play an important, if implicit, role in determining what a rational agent is motivated to do. This is most obvious in cases where an agent achieves a complex goal incrementally and must deliberate anew as each milestone is reached. In such cases the concept of goal/belief discrepancy defines an appropriate space to which a degree-of-achievement yardstick can be applied. This paper presents soundness and completeness results concerning a logic for reasoning about goal/belief discrepancy, and it is suggested that a certain species of goal/belief discrepancy captures the concept of desire. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|