| << Prev | - Up - |
Testing the model checker on examples.
exampleModels.pl: View Download
So, it's time to start checking models. Some examples of models over our original vocabulary can be found in the file exampleModels.pl. Each example model is assigned a number, so we can easily select any of them.
And here is a driver predicate which evaluates a formula in an example model (selected via its number):
modelChecker.pl: View Download
evaluate(Formula,ExampleNumber):-
example(ExampleNumber,Model),
eval(Formula,Model).An example query looks like this: evaluate((love(peter,anna) & moron(anna)),1). Systematically test the model checker on our example models (download the files linked in Section 2.1.6). Are the results always as you expected? If not, why not?
| << Prev | - Up - |