7.4Problemlösen durch Resolution
7.4.1Resolutionsprinzip der Aussagenlogik
Das Resolutionsprinzip (resolution principle) führt auf eine für die Implementierung besonders zweckmäßige Vorgehensweise des Theorembeweisens. Es wird im Folgenden für die Aussagenlogik behandelt. Anschließend wird erläutert, wie mit diesem Prinzip und zweckmäßigen Suchstrategien effiziente Beweisverfahren aufgebaut werden können.
Die Resolution beruht auf der Abtrennregel (7.34), wobei vorausgesetzt wird, dass die zu verarbeitenden Ausdrücke in Klauselform gegeben sind. Dies ist eine stets erfüllbare Voraussetzung, denn jeder logische Ausdruck kann in seiner konjunktiven Normalform aufgeschrieben werden. Die Resolutionsregel wird für zwei in Klauselform gegebene Ausdrücke ...
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.
