8
Prädikatenlogik
Die Prädikatenlogik bietet die Möglichkeit, allgemeingültige Ausdrücke zu formulieren, die für eine Klasse von Individuen gelten. Dieses Kapitel zeigt, wie der Resolutionskalkül dementsprechend erweitert werden muss und welchen Vorteil diese Erweiterung gegenüber der aussagenlogischen Behandlung technischer Probleme mit sich bringt.
8.1Grundlagen der Prädikatenlogik
8.1.1Prädikate, logische Ausdrücke und Aussageformen
Die Erweiterung der Aussagenlogik zur Prädikatenlogik verfolgt zwei Ziele. Erstens soll es möglich sein, Variablen für die Individuen eines Gegenstandsbereichs einzuführen, um Aussagen formulieren zu können, die sich nicht nur auf Einzelobjekte, sondern auf eine ganze Klasse von Objekten beziehen. In der Aussagenlogik ...
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.
