2.2Prädikatenlogik

Resolution in der Prädikatenlogik

Bevor zwei Literale sich aufheben können, müssen ihre Terme passend gemacht werden – durch Unifikation.

Leitformel
σ={x↦sokrates}\sigma = \{x \mapsto \mathit{sokrates}\}
σ\sigma={x↦sokrates}= \{x \mapsto \mathit{sokrates}\}
Lernziel

Unifikatoren und den allgemeinsten Unifikator bestimmen und die prädikatenlogische Resolution anwenden.

Einheit wird geladen …