Discovery Projects - Grant ID: DP0343475

Funding Activity

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

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

Reasoning about Rational Agents from a Programming Languages Perspective. Rational agents are complex system components inspired by models of rationality, in which beliefs, desires and intentions are represented explicitly. Intelligent agents are fast becoming mainstream and have wide-ranging industrial application. However, a serious obstacle to the deployment of rational agents is a lack of understanding of how to design and reason about agents to provide performance and correctness guarantees. This project will investigate extensions to intelligent agent architectures and develop tools for reasoning about complex systems built using those architectures. This will not only enable reliable prediction of performance, but contribute to a general methodology for intelligent agent design.

Funded Activity Details

Start Date: 07-01-2003

End Date: 24-05-2007

Funding Scheme: Discovery Projects

Funding Amount: $164,930.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Other Artificial Intelligence | Programming Techniques | Artificial Intelligence and Image Processing

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified |

Other Keywords

Artificial Intelligence and Image Processing | Computer software and services not elsewhere classified | Other Artificial Intelligence | Programming Languages | Programming Techniques

Related Links