Goals in conflict: semantic foundations of goals in agent programming |
| |
Authors: | M. Birna van Riemsdijk Mehdi Dastani John-Jules Ch. Meyer |
| |
Affiliation: | (1) Technische Universiteit Delft, Delft, The Netherlands;(2) Utrecht University, Utrecht, The Netherlands |
| |
Abstract: | This paper addresses the notion of (declarative) goals as used in agent programming. Goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways. We focus in this paper on the representation of conflicting goals. In particular, we define two semantics for goals, one for unconditional goals and one for conditional goals. The first is based on propositional logic, and the latter is based on default logic. We establish relations between and properties of these semantics. This title was inspired by the title of the PhD thesis of Harrenstein: Logic in conflict: logical explorations in strategic equilibrium [25]. |
| |
Keywords: | Agent programming languages Goals Logic |
本文献已被 SpringerLink 等数据库收录! |
|