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.

Autorentext
Prof. Shraddha N. Zanjat arbeitet als Assistenzprofessorin in der EEE-Abteilung der School of Engineering and Technology (SOET), Sandip Uni, Nashik. Sie verfügt über 9 Jahre Lehrerfahrung und 2 Jahre Industrieerfahrung. Sie hat ihr Postgraduiertenstudium mit dem Master of Technology in Elektronik und Kommunikation an der RTMN Uni abgeschlossen. Sie strebt eine Promotion an.