-
1) Knowledge science
-
The first aim of the course is to present the foundations of knowledge science: set theory, logic and lamda calculus are ideally suited as the foundations of this course.
The second aim of the course is to present the formal methodologies of processing human knowledge, organizational knowledge, and societal knowledge. The issues of ontology, knowledge sharing, and reasoning about knowledge are also discussed.
-
2) Knowledge engineering & Advanced programming
-
The aim of the course is to present various methodologies of processing knowledge in order to build intelligent systems. The course also provides advanced programming techniques such as functional programming, LISP, logic programming, PROLOG, and an object-oriented programming.
-
3) Foundations of problem solving using computer
-
The aim of the course is to present a methodology of general problem solving using computers. The course will focus on the concept of rationarity and intelligent problem solving. This course may be applied on its own, independently, or as a methodology of handling knowledge for solving problems using computers.
-
4) Advanced topics of software science
-
The aim of the course is to present advanced topics of software science such as multi-agent, artificial life, machine learning, computational organization, groupware.