COMP508 Artificial Intelligence II
Updated: 18 April 2007| Credit Points | 6 | |||||||||
| Offering |
|
|||||||||
| Online level |
|
|||||||||
| Intensive School(s) | None | |||||||||
| Supervised Exam | There is a UNE Supervised Examination held at the end of the teaching period in which you are enrolled. | |||||||||
| Pre-requisites | COMP 318 or 518; candidature in a postgraduate award | |||||||||
| Co-requisites | None | |||||||||
| Restrictions | None | |||||||||
| Notes | on-campus online D; off-campus online E; see COMP 280 | |||||||||
| Combined Units | None | |||||||||
| Coordinator(s) | Ioan Despi (idespi@une.edu.au) | |||||||||
| Unit Description |
Two lectures and a two-hour laboratory session per week. This unit introduces students to the logical foundations of artificial intelligence. Symbolic logic forms the most important part of the mathematics of Artificial Intelligence (AI). Mathematical logic provides the basis for theory in AI. Logical languages are used for knowledge representation. When the predicate-calculus type language is used as a knowledge representation language, the theory behind such languages must include proof theory and model theory. External students should see COMP280 for computer requirements. |
|||||||||
| Prescribed Material Mandatory |
Textbook information is only available from 2008 units onwards. | |||||||||
| Recommended Material Optional |
Textbook information is only available from 2008 units onwards. | |||||||||
| Disclaimer | Unit information may be subject to change prior to commencement of the teaching period. |