|Fees||Look up fees|
The key focus of this subject is the foundations of automated planning and reasoning and their real-world applications. Automated planning is the AI approach to developing agents that make their own decisions and is becoming increasingly popular. Autonomous agents are active entities that perceive their environment, reason, plan and execute appropriate actions to achieve their goals, in service of their users (the real world, human beings, or other agents). This subject shows how this work is relevant for many applications beyond the traditional area of artificial intelligence, such as resource scheduling, logistics, process management, service composition, intelligent sensing and robotics. The subject focuses on the foundations that enable agents to reason autonomously about goals, perception, actions and the knowledge of other agents during collaborative task execution.
This subject is an elective subject in the Master of Science (Computer Science) and Master of Information Technology, in particular for the Distributed Computing and the Computing Specialisations. It can also be taken as an Advanced Elective subject in the Master of Engineering (Software).
Topics are drawn from the field of advanced artificial intelligence including
- Agent modelling
- Sensing and acting
- Search algorithms and heuristic functions
- Classical (AI) planning
- Theorem proving
- Introduction to modal logic and model theory
- Epistemic logic
- Dynamic logic
- The situation calculus
- Logical regression
- Non-deterministic programming
- Concurrency and multi-agent programming.
Intended learning outcomes
INTENDED LEARNING OUTCOMES (ILO)
On completion of this subject the student is expected to:
- Understand the theoretical concepts of automated planning and reasoning techniques
- Be able to apply agent modelling techniques to analyse, design and implement a small agent-based system
- Be able to evaluate, design, and implement automated planning and reasoning techniques
- Understand the strengths and weaknesses of different automated planning and reasoning approaches for software agents
- Be able to apply automated planning and concurrent programming techniques to non-trivial distributed problems.
On completion of the subject the students should have the following skills:
- Ability to undertake problem identification, formulation, and solution
- Ability to utilise a systems approach to complex problems and to design and operational performance
- Ability to manage information and documentation
- Capacity for creativity and innovation Ability to communicate effectively with both the engineering team and the community at large.
Last updated: 2 December 2019