Combining modal logics for dynamic and multi-agent systems

结合动态和多智能体系统的模态逻辑

• 批准号: DP0452628
• 负责人: Prof Abdul Sattar
• 金额: $ 34.12万
• 依托单位: Griffith University
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2004
• 资助国家: 澳大利亚
• 起止时间: 2004-01-01 至 2010-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0452628
• 关键词: Combining; modal; logics; dynamic; multi

Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.

现代计算机软件系统需要在复杂的动态环境中运行，并处理政府和商业中高度敏感（安全和安全关键）组织的功能。典型的应用包括空中交通管制系统、电信网络和银行系统。为了确保这些系统的鲁棒性，计算可预测的行为和可信度，它们的设计和实现必须正式良好的基础。这是一项重要但艰巨的挑战。该项目将通过结合模态逻辑来系统地开发一个框架，以充分捕获和推理动态和多智能体系统的时间，认知和社会方面。将在实际应用中对组合逻辑进行评估。