|
UNIT OUTLINES 2005 |
| home > undergraduate > Artificial Intelligence and Logic Programming > Artificial Intelligence and Logic Programming (1) Homepage |
|
Artificial Intelligence and Logic Programming (230.302) 6 points / Semester 2 Handbook Description This unit covers the following topics: introduction to artificial intelligence; knowledge representation methods-logic, production rules, frame, semantic nets; search strategies-depth-firt search, heuristic search; expert systems-structure of expert systems, and forward and backward reasoning. The foundations of logic are presented-propositional calculus, first-order predicate calculus, substitution, unification, principle of resolution, and control of reasoning. Practical examples and case studies are supported with programming in PROLOG. Unit Aims Course objectives can be divided into three main sections. Attaining understanding of mathematical background underpinning logic programming. Gaining a working knowledge of practical logic programming language PROLOG. Understanding the relationship between theoretical logic programming and limitations of practical logic programming. Testing the logic programming on some sime A.I. problems (e.g. expert systems or searching). Contact Hours With regards to formal contact hours, you will be required to attend weekly held two-hour lecture block, 6 semester tutorial sessions, and up to one/two hours weekly laboratory session. Two hour consultation time is also allocated with the unit coordinator. To complete the work in this unit you are expected to work out of hours. Teaching Staff
Assessment The assessment scheme for CS302 lecture this year consists of one project, eleven tutorial assessments (returned on a weekly basis), and a final 3hr examination held in November 2005 (the exact date to be advised). Penalties All work submitted for assessment must be the individual students own work. Any instance of plagiarism will be brought to the attention of the Department Disciplinary Board and dealt with under the Department's and Faculty's plagiarism policies. Project/assignment will receive a penalty (if at all considered) for each day delay. Textbook L. Sterling and E. Shapiro, The Art of Prolog, The MIT Press Cambridge Massachusetts London England Recommended Reading To be advised during the semester Plagiarism Plagiarism is broadly defined to be when any portion of the work presented for assessment, can be attributed to another party. The student making the submission should acknowledge what aspects of the presented work is not directly derived by them. For the purposes of plagiarism it is irrelevant that you have been given permission by someone to copy their work and present it as your own.
This information is correct as at 07-July-2005, but is subject to change from time to time. In particular, The University reserves the right to change the content and/or method of presentation and/or the method of assessment of any unit of study, to withdraw any unit of study or programme, and/or to vary arrangements for any programme. Last updated: 07-June-2005. Copyright© 2005, School of Computer Science and Software Engineering, The University of Western Australia |