automated strategic reasoning

自动策略推理

• 批准号: DP140103365
• 负责人: Prof Mark Reynolds
• 金额: $ 25.11万
• 依托单位: The University of Western Australia
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2014
• 资助国家: 澳大利亚
• 起止时间: 2014-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP140103365
• 关键词: automated; strategic; reasoning

Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.

形式化方法用于确保计算机系统的设计和实现中稳健正确的行为。传统的计算机操作模型涉及线性的行为序列，但当今的系统是许多组件之间复杂的交互，包括系统环境和人类用户。因此，分析是通过组件之间的逻辑游戏来完成的，其中每个组件都试图满足其指定的要求，而不管其他组件做什么：形式包括分支时间和代理的竞争联盟。该项目旨在尽早利用研究人员使用此类模型进行自动逻辑推理的最新突破，以提供系统开发和验证的通用实用技术。