8.3Resolutionswiderlegung in der logischen Programmierung
8.3.1Resolutionsregel für Hornklauseln
Die logische Programmierung, auf die im Kap. 9 ausführlich eingegangen wird, beruht auf dem Resolutionsprinzip. Mit dem Ziel einer einfachen Implementierung des Interpreters und einer speicherplatzsparenden Suchsteuerung wird dieses Prinzip dort unter zusätzlichen Voraussetzungen angewendet, die jetzt erläutert werden.
Hornklauseln. Die für die Darstellung der Axiome und des Theorems zugelassenen Klauseln werden auf solche mit Hornform eingeschränkt. Hornklauseln2 sind Klauseln, die höchstens ein positives Literal besitzen, also die Form
(8.30)
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.
