Details of the KR second lab in 2020

The task in the second lab is to use logic reasoners for question answering (pure symbolic ai):

• present a selected large subset of your geodata int the reasoner usable form.
• write rules for deriving new knowledge (facts) from the database.
• write a number of interesting queries and demonstrate how the reasoner solves them

During the defence of the lab you will have to make a presentation of all these three parts and demonstrate how the reasoner can answer a number of questions.

Bear in mind that in the third lab we will add a small natural language understanding component to automatically generate (a) some additional facts (b) the queries like the ones you manually write in this lab.

Please start by experimenting with a real prover:

• look and run Reasoner examples with gkc 2020
• look and run at the River example from lecture

We use the gkc prover for examples (instructions are in the Reasoner examples ... page above).

Make sure to get the latest release of gkc from gkc releases (currently delta) and either download a binary or compile using instructions on the gkc github page. The basic instructions are also on the gkc github page. Also, see the few examples in the Examples folder.