Reasonable Goals

Ekenberg, L. ORCID: https://orcid.org/0000-0002-0665-1889 (1996). Reasonable Goals. IIASA Working Paper. IIASA, Laxenburg, Austria: WP-96-136

Preview

Text WP-96-136.pdf Download (471kB) | Preview

Abstract

Assume that a number of autonomous agents are going to act in such a way that their respective goal states constitute a global plan. A main question that arises in this situation is whether there is such a plan at all, i.e. whether a solvable conflict prevails. In some sense. this means that the set of common goals is non-empty. Furthermore, if the agents are allowed to act in accordance with the result of some decision process, a situation may occur where subsets of their possible goal sets are consistent, but in actual fact the individual agents may nevertheless always terminate in states that are in conflict. We present a formal framework for the analysis of conflicts in sets of autonomous agents restricted in the sense that they can be described in a (first-order) language and by a transaction mechanism. This is also enriched by processes for evaluating decision situations given imprecise background information. The agent specifications are analysed with respect to a concept of consistency that requires the formulae of one specification together with a set of correspondence assertions to not restrict the models of another specification. i.e. the agent system does not essentially restrict the individual agents. The main emphasis is on the specifications being compatible with respect to reasonable probable states. i.e. states for which it is reasonable to assume that they eventually will be reached.

Actions (login required)

View Item