It's UWAweek 47
|
unitinfo
This page provides helpful information about many coursework units offered by
Computer Science and Software Engineering
in 2023.
The information here is not official -
for official information please see the
current UWA Handbook.
Instead, it will help students to prepare for their future units,
before the beginning of each semester,
and before they have access to
UWA's
Learning Management System (LMS).
|
About the unit CITS3005 Knowledge Representation (2nd semester 2023)
Unit description:
Knowledge Representation will cover tools and methodologies for the formal representation of knowledge in a machine readable format, and automated reasoning technologies. These technologies are important for capturing domain specific details and supporting and automating decision making processes. The course will cover: logical foundations of artificial intelligence, including first order, probabilistic and fuzzy logics; formal representation of knowledge domains, including description logics, ontologies and graphical models; reasoning techniques including logic programming and theorem proving; and applications to planning domains.
Unit outcomes:
Students are able to (1) formulate complex concepts, rules and arguments in an appropriate logical language.; (2) select suitable tools and formalisms to capture domain specific knowledge in a machine readable format.; (3) describe the theoretical foundation of logic programming.; (4) design, verify and implement logic programs.; and (5) design and implement planning systems for a given domain..
Unit coordinator:
Unit homepage:
|
|
Unit is offered in these majors and courses:
Indicative weekly topics:
| week 1 |
Knowledge and Epistemiology |
| week 2 |
First order logic |
| week 3 |
Expressing Knowledge |
| week 4 |
Resolution |
| week 5 |
Logic Programming |
| week 6 |
Description Logic I |
| week 7 |
Description Logic II |
| week 8 |
Default Reasoning |
| week 9 |
Reasoning about Action |
| week 10 |
Planning |
| week 11 |
Vagueness and Probability |
| week 12 |
Revision |
Indicative assessment:
Take home tests/assignments, programming project, take home exam
Useful prior experience and background knowledge:
data structures and algorithms, discrete mathematics, some logic
Useful prior programming and software experience:
Python
Hardware required for this unit:
Students are able to undertake their laboratory exercises and projects in laboratories in the CSSE building, but most students also complete work on their own laptops.
The following hardware is required to successfully complete this unit:
Anything from this century will do.
Software required for this unit:
Students are able to undertake their laboratory exercises and projects in laboratories in the CSSE building, but most students also complete work on their own laptops.
The following software is required to successfully complete this unit:
python libraries...
Operating system(s) used in this unit:
Different units will use different operating systems for their teaching - for in-class examples, laboratory exercises, and programming projects.
If an operating system is REQUIRED, it will be used when marking assessments.
ANY reasonable platform
This information last updated 6:48pm Thu 20th Apr 2023
