School of Computer Science and Software Engineering

Artificial Intelligence and Logic Programming (CITS3212)

6 points / not available in 2008
Location: UWA (Crawley)

Handbook Description

This unit covers (1) introduction to artificial intelligence; (2) knowledge representation methodsâ€”logic, production rules, frames, semantic nets; (3) search strategiesâ€”depth-first search; and (4) 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, control of reasoning, soundness and completeness. Practical examples and case studies are supported with programming in PROLOG.

Prerequisites: CITS2200 Data Structures and Algorithms
Corequisites:

Unit Aims

Students are able to identify, formulate and solve problems using the logic paradigm, write software systems in PROLOG to implement their solutions, and design well-structured and well-documented code.

Teaching Staff

Unit Co-ordinator: Associate Professor Ryszard Kozera

Textbook

Contact Hours

62 (lectures: 26 hrs; tutorials: 12 hrs; labs: 24 hrs)

Assessment

This consists of a project, tutorial assignment and final examination. The project involves problem identification, formulation and solution. The students must demonstrate an understanding of logic programming, PROLOG, and its application to some artificial intelligence (AI) problems. The tutorial assignment refers to the theoretical and practical aspects of PROLOG and its application to AI covered in the lectures. Finally, the examination tests in-depth technical and theoretical competence in AI and logic programming and the ability to apply basic fundamentals. Supplementary assessment is not available in this unit except in the case of a bachelor's degree student who has obtained a mark of 45 to 49 and is currently enrolled in this unit, and it is the only remaining unit that the student must pass in order to complete the course.

Unsatisfactory Progress

Any student who does not demonstrate satisfactory progress in this unit, as defined in the FECM Policy on Assessment Practices and Procedures, may be refused admission to the final examinations. The final deadline for notification of unsatisfactory progress is the last day of Week 10.

Penalties

The School of Computer Science and Software Engineering has adopted a policy on minimum penalties for late items of assessment. This is the default policy of all units unless indicated otherwise, in writing, by the specific unit coordinator.

This policy shall apply to all items of continuous assessment, whether submitted either physically or electronically. Immediately after the submission deadline for an item of continuous assessment, a penalty of 20 percent will be applied PER DAY or PART THEREOF. The minimum mark possible for late submission is zero. The percentage is based on the item´s total contribution to the unit´s assessment. For example, a project contributing 40% to the unit´s assessment will incur a penalty of 8 marks for each day late until it is submitted or a mark of zero results.

A more detailed description is given in this School´s Policy on Late Submission. The Faculty does have an appeals procedure, the details of which can found at the Policy for Appeals.

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.

You are directed to the School of Computer Science and Software Engineering Policy on Plagiarism and the Faculty of Engineering,Computing and Mathematics Policy on Plagiarism.

Academic Conduct Essentials (ACE)

All students who have not previously been enrolled at UWA are required to complete a short compulsory online module called Academic Conduct Essentials (ACE) within the first 10 weeks of semester. ACE introduces students to essential knowledge regarding ethical scholarship, helps prepare them for the expectations of their university career and informs them of correct academic conduct.

The unit can be accessed via WebCT. The final unit quiz must be completed with a mark of 80% or greater. Students may attempt the quiz as many times as they wish to gain the required pass mark. Completion of the unit will be recorded as an Ungraded Pass (UP) on students’ academic records. Non-completion (NC) within the required timeframe will also be documented on formal academic records. More information on ACE is available at ace.uwa.edu.au

Faculty Marks Adjustment Policy

Final assessment is subject to the Faculty Scaling Policy.

Supplementary Examinations

Supplementary examinations will be awarded in accordance with Faculty Policy on supplementary assessment.

Student Rights

The University's charter of student rights is available at http://www.secretariat.uwa.edu.au/home/policies/charter

Academic misconduct

The University of Western Australia strongly supports teaching and learning that promotes academic literacy and ethical scholarship for all students. As part of this commitment, UWA has recently developed new guidelines relating to Academic Misconduct (including plagiarism). It is also developing a range of resources for students and staff to further strengthen academic literacy and ethical scholarship at UWA. Further details are available on the Teaching and Learning website.

Unit Outline