T-79.5102 Special Course in Computational Logic P (4 cr)
Course overview
| Credits | 4 cr |
| Period | 24 + 12 (2 + 1) I-II |
| Objectives | |
| Contents | Knowledge representation, reasoning, and decision-making. Automated reasoning. |
| Prerequisites | T-79.3001. |
| Course replacements | Replaces former courses T-79.154 Logic in computer science: special topics II and T-79.230 Foundations of agent-based computing. |
| Target audience | Students who major in theoretical computer science or knowledge engineering. The course is also eligible for post-graduate studies. |
| Requirements | Exam and project work. The project is done in groups of 1—3 students and it is related to the simulation league of RoboCup. The goal is to implement a soccer playing agent or a whole team for this environment. |
| Assessment | The exam is graded using scale 0—5 (1 is requred to pass the course). The project work is graded as failed, passed, or passed with distinction. The grade for the exam determines the overall course grade expect that grades 1—4 are raised by one if the project is passed with distinction. |
| Literature | Stuart Russell and Peter Norvig: Artificial Intelligence: A Modern Approach. Second edition. Prentice Hall, 2003. |
| Language of instruction | English. |
| Course staff |
Lecturer: Docent, D.Sc.(Tech.) Tomi Janhunen Course assistant: M.Sc. (Tech.) Antti Hyvärinen |
| Office hours | Modays, 15:15—16:00, room TB335. Consult the lecturer's home page for potential exceptions. |
| Additional information | The contents of this course vary. The topic for Autumn 2008 is agent-based computing. |
| CEF level |
Intelligent software agents form an interesting and emergent approach
to software development. The goal is to combine the best features of
distributed computing, artificial intelligence, and object-oriented
programming in a single paradigm. The agent-based model is becoming increasingly important in the development of software systems for
heterogeneous and distributed computing environments and sources of information. The idea is to compose a complex software system out of
intelligent and independent software agents who cooperate and
coordinate their actions through communication.
The general goal of the course is to acquaint students with the
foundations of agent-based systems and, in particular, decision-making upon uncertain information which is modeled using Bayesian networks. Hands-on experience on implementing software agents is obtained in the project work.