| 来源类型 | Article
|
| 规范类型 | 其他
|
| DOI | 10.1093/logcom/10.4.583
|
| The logic of conflicts between decision making agents. |
| Ekenberg L
|
| 发表日期 | 2000
|
| 出处 | Journal of Logic and Computation 10 (4): 583-602
|
| 出版年 | 2000
|
| 语种 | 英语
|
| 摘要 | We present a formal model 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. In this model, we allow for enrichment of agent systems with correspondence assertions, expressing the relationship between different entities in the formal specifications of the agents. Thereafter the specifications are analysed with respect to conflicts. If two specifications are free of conflicts, the formulae of one specification together with the set of correspondence assertions do not restrict the models of the other specification, i.e. the agent system does not restrict the individual agents. The approach takes into account static as well as dynamic aspects of this kind of interaction. Classifications of complexity of determining whether two specifications are free of conflicts are also presented. Furthermore, if the agents are allowed to act in accordance with the result of executions of a decision module, a situation may occur where, for example, 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. Therefore, the model is also enriched by processes for analysing when specifications are compatible with respect to states for which it is reasonable to assume that they eventually will be reached. |
| 主题 | Risk, Modeling and Society (RMS)
|
| 关键词 | multi-agent system, conflict detection, conceptual schema, theorem proving
|
| URL | http://pure.iiasa.ac.at/id/eprint/5991/
|
| 来源智库 | International Institute for Applied Systems Analysis (Austria)
|
| 引用统计 |
|
| 资源类型 | 智库出版物
|
| 条目标识符 | http://119.78.100.153/handle/2XGU8XDN/127915
|
推荐引用方式
GB/T 7714 |
Ekenberg L. The logic of conflicts between decision making agents.. 2000.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
