Beschreibung
Die Einführung befasst sich mit der historischen Entwicklung und der Definition von KI, wobei die Nachahmung menschlicher kognitiver Prozesse und die Abwägung zwischen Wissenssuche und -speicherung im Vordergrund stehen. Die abstrakte Betrachtung von Modellierung und elementarem Wissen ebnet den Weg für die Erforschung der Computerlogik, einschließlich der Analyse zusammengesetzter Aussagen durch einfache logische Konnektive, Prädikatenlogik sowie Wissensorganisation und -manipulation. Der Lehrplan befasst sich mit der Programmierung und Logik in der KI und behandelt LISP und andere Programmiersprachen, wobei zwischen LISP und PROLOG unterschieden wird. Er führt in die Syntax und numerische Funktionen ein und untersucht die Bedeutung von Eingabe und Ausgabe, lokalen Variablen, Interaktion und Rekursion. Die Einheit befasst sich auch mit formalisierten symbolischen Logiken, Wahrheitserhaltungssystemen, Standardschlussfolgerungen und der Annahme einer geschlossenen Welt.
