7
Aussagenlogik
Dieses Kapitel gibt eine Einführung in die Grundlagen der mathematischen Logik und zeigt mit dem Resolutionskalkül der Aussagenlogik eine Beweismethode, die sich rechentechnisch einfach implementieren lässt. Als wichtiges Anwendungsgebiet wird die Verifikation von Steuerungen behandelt.
7.1Einführung in die logikbasierte Wissensverarbeitung
Ein wichtiges Merkmal menschlicher Intelligenz ist die Fähigkeit, neues Wissen aus bekannten Tatsachen durch logische Schlüsse abzuleiten. Logikbasierte Wissensverarbeitungssysteme sollen die dabei verwendeten Schlussweisen nachvollziehen. Sie werden auch als Inferenzsysteme im engeren Sinne bezeichnet.
Die Erweiterung der regelbasierten auf die logikbasierte Wissensverarbeitung ist notwendig, ...
Get Künstliche Intelligenz für Ingenieure, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
