|
Šifra:
|
34371
|
|
ECTS:
|
4
|
Lecturers in charge:
|
Prof. dr. sc.
Nikola Bogunović
|
Take exam:
|
Studomat
|
English level:
1,0,0
|
All teaching activities will be held in Croatian. However, foreign students in mixed groups will have the opportunity to attend additional office hours with the lecturer and teaching assistants in English to help master the course materials. Additionally, the lecturer will refer foreign students to the corresponding literature in English, as well as give them the possibility of taking the associated exams in English.
|
|
Load:
|
| Lecture type | Total |
| Lectures |
30 |
* Load is given in academic hour (1 academic hour = 45 minutes)
|
Description:
|
Project oriented course. Fundamentals of automated reasoning and deductive systems. Application of automated reasoning in mathematics, digital systems design (verification of hardware and software) and problem solving. Rule-based expert systems augmented with rule weighting, certainty factors, and fuzzy logic. Applications in technical systems synthesis, diagnostics, and process control. Probabilistic reasoning based on Bayesian belief networks. Applications of Bayesian networks in diagnostics and prediction. Project work involves hands-on experience with prevalent expert system shells (e.g. Otter, CLIPS, FuzzyCLIPS, HuginLite).
|
Literature:
|
- Introduction to expert systems, 3rd Ed.; Peter Jackson; Addison Wesley; 1999; ISBN: 0201876868
- Automated reasoning: Introduction and Applications; Wos, L., Overbeek, R., Lusk, E., Boyle; McGraw-Hill; 1992; ISBN: 007911251X
- Bayesian Networks and Decision Graphs, 2nd. Ed.; Finn B. Jensen; Springer Verlag; 2010; ISBN: 1441923942
|
|
3. semester
|
preporučeni izborni predmeti
-
profile
Computer Engineering
preporučeni izborni predmeti
-
profile
Computer Science
Predmeti specijalizacije profila
-
profile
Control Engineering and Automation
preporučeni izborni predmeti
-
profile
Information Processing
preporučeni izborni predmeti
-
profile
Software Engineering and Information Systems
|
|
