Discovery Projects - Grant ID: DP0452628

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP0452628

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Combining modal logics for dynamic and multi-agent systems. 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.

Funded Activity Details

Start Date: 01-01-2004

End Date: 31-12-2010

Funding Scheme: Discovery Projects

Funding Amount: $480,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Logics And Meanings Of Programs | Other Artificial Intelligence | Cognitive Science | Knowledge Representation And Machine Learning

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified |

Other Keywords

Cognitive Science | Computer software and services not elsewhere classified | Knowledge Representation And Machine Learning | Logics And Meanings Of Programs | Other Artificial Intelligence

Related Links