Teilgebiet der Computerwissenschaft, das sich u.a. damit befasst, Aspekte des menschlichen intellektuellen Leistungsvermögens (z.B. Planen, Verstehen, Beweisen und Erstellen) auf Rechnern zu modellieren und somit für die rechnergestützte Behandlung von Problemlösungsprozessen technisch nutzbar zu machen.
Zur Verbesserung der Mensch-Maschine-Kommunikation entwickelt, sind es im Grund verfeinerte Informationssysteme mit dem wesentlichen Merkmal der Einbeziehung neu gewonnener Informationen in logische Abläufe.
Anwendungsgebiete sind Expertensysteme, Sprachverarbeitung, intelligente Datenbanksysteme, Robotik und die Agententechnologie.
