Tutorial: Getting started with the knowledge base

Section

Knowledge and reasoning - tutorials

🏁 Goal of this tutorial

By the end of this tutorial, you will know how to make inferences based on facts and relationships. This is important when you want ARI to store and retrieve information but also to make high-level symbolic reasoning.

Pre-requisites

• This tutorial requires that you have already read and understood how the knowldge core API works

• This tutorial requires that you already know how to add/remove/query the robot’s knowledge base.

Note

ARI already comes with the knowledge core installed and the reasonable OWL2 RL reasoner.

The code

first_reasoning_task.py

import rospy
import time
from knowledge_core.api import KB

rospy.init_node("test_knowledge_base")
kb = KB()

def on_robot_entering_alfred_property(evt):
    print(f'A robot entered Alfred\'s {evt[0]["place"]}: {evt[0]["robot"]}')

# instanciate the kb with some facts
kb += "ari rdf:type Robot"
kb += "alfred rdf:type Human"
kb += ["ari isIn kitchen"]
kb += ["Human rdfs:subClassOf Animal"]

# test existence with inference
print("Is Alfred an animal?")
if 'alfred rdf:type Animal' in kb:
    print("yes, he is")
time.sleep(0.1)


# test complex event
kb.subscribe(["?robot isIn ?place", "?place belongsTo alfred",
            "?robot rdf:type Robot"], on_robot_entering_alfred_property)
# add fact to the kb
kb += "kitchen belongsTo alfred"

#event should have been triggered
time.sleep(0.1)

rospy.spin()

The code explained

Let’s first import the KB class from the knowledge_core.api module. This class offers a more ‘Pythonic’ wrapper around the knowledge base’s ROS API.

import rospy
import time
from knowledge_core.api import KB

Next, we initialise a ROS node for the process and and create an object of the class KB.

rospy.init_node("test_knowledge_base")
kb = KB()

We define a callback which will trigger an event.In in this case it will print on the screen the string: "A robot entered Alfred's kitchen: ARI".

  def on_robot_entering_alfred_property(evt):
    print(f'A robot entered Alfred\'s {evt[0]["place"]}: {evt[0]["robot"]}')

Then, we can start populating the knowledge base, with some facts.

# instanciate the kb with some facts
kb += "ari rdf:type Robot"
kb += "alfred rdf:type Human"
kb += ["alfred looksAt ari", "ari isIn kitchen"]
kb += ["Human rdfs:subClassOf Animal"]

Let’s know test the reasoner with some basic inference. We ask whether Alfred belongs to the class Animal.

# test existence with inference
print("Is Alfred an Animal?")
if 'alfred rdf:type Animal' in kb:
    print("yes, he is")
time.sleep(0.1)

Finally, we try to make a more complex reasoning. We ask knowledge_core to trigger an event when someone enters in Alfred property. As soon as we add the fact that kitchen belongsTo alfred an event is triggered, printing the result of the callback on_robot_entering_alfred_property.

# test complex event
kb.subscribe(["?robot isIn ?place", "?place belongsTo alfred",
            "?robot rdf:type Robot"], on_robot_entering_alfred_property)
# add fact to the kb
kb += "kitchen belongsTo alfred"

#event should have been triggered
time.sleep(0.1)

rospy.spin()