Consent of department. Knowledge representation using formalized symbolic logic, dealing with uncertainties and inconsistencies, structured knowledge. Knowledge acquisition, organization and expert systems. Master's students must register and fulfill departmental requirements of the seminar. Students register to this course in all semesters starting from the beginning of their fifth semester while the research program or write-up of thesis is in progress.
Contents vary from year to year according to interest of students and instructor in charge.
Typical contents include advanced fields of study in industrial engineering and operational research.