Reactive Transitive Closures with Drools (Backward Chaining)

1

Reasoning with Graphs

House

Location("Office", "House ")

Location("Kitchen", "House")

Location("Desk", "Office")

Location("Chair", "Office")

Location("Computer", "Desk")

Location("Draw", "Desk")

Location("Knife", "Kitchen")

Location("Cheese", "Kitchen")

Location("Key", "Draw")

Tuesday, 2 July 13

2

Backward Chaining

query isContainedIn( String x, String y ) Location( x, y; ) or ( Location( z, y; ) and isContainedIn( x, z; ) )end

House










Tuesday, 2 July 13

Backward Chaining3

ksession.insert( new Location("Office", "House") );ksession.insert( new Location("Kitchen", "House") );ksession.insert( new Location("Knife", "Kitchen") );ksession.insert( new Location("Cheese", "Kitchen") );ksession.insert( new Location("Desk", "Office") );ksession.insert( new Location("Chair", "Office") );ksession.insert( new Location("Computer", "Desk") );ksession.insert( new Location("Draw", "Desk") );

House










Tuesday, 2 July 13

Backward Chaining4

rule "go" salience 10when $s : String( )then System.out.println( $s );end

House










Tuesday, 2 July 13

Backward Chaining5

rule "go1"when String( this == "go1" ) isContainedIn("Office", "House"; )then System.out.println( "office is in the house" );end


House










Tuesday, 2 July 13

Backward Chaining6




House










Tuesday, 2 July 13

Backward Chaining7



ksession.insert( "go1" );ksession.fireAllRules();---go1office is in the house


House










Tuesday, 2 July 13

Backward Chaining8





isContainedIn(x==Office, y==House)

House










Tuesday, 2 July 13

Backward Chaining9





Location(x==Office, y==House)isContainedIn(x==Office, y==House)

House










Tuesday, 2 July 13

Backward Chaining10

rule "go2"when String( this == "go2" ) isContainedIn("Draw", "House"; )then System.out.println( "Draw in the House" );end

House










Tuesday, 2 July 13

Backward Chaining11



House










Tuesday, 2 July 13

Backward Chaining12



ksession.insert( "go2" );ksession.fireAllRules();---go2Draw in the House

House










Tuesday, 2 July 13

Backward Chaining13



isContainedIn(x==Draw, y==House)


House










Tuesday, 2 July 13

Backward Chaining14



Location(z==Office, y==House)isContainedIn(x==Draw, y==House)


House










Tuesday, 2 July 13

Backward Chaining15



Location(z==Office, y==House)isContainedIn(x==Draw, z==Office)



House










Tuesday, 2 July 13

Backward Chaining16



Location(z==Office, y==House)isContainedIn(x==Draw, z==Office)

Location(z==Kitchen, y==House)isContainedIn(x==Draw, z==Kitchen)



House










Tuesday, 2 July 13

Backward Chaining17



isContainedIn(x==Draw, y==Office)


House










Tuesday, 2 July 13

Backward Chaining18



Location(z==Desk, y==Office)isContainedIn(x==Draw, y==Office)


House










Tuesday, 2 July 13

Backward Chaining19



Location(z==Desk, y==Office)isContainedIn(x==Draw, z==Desk)

isContainedIn(x==Draw, y==Office)


House










Tuesday, 2 July 13

Backward Chaining20



isContainedIn(x==Draw, y==Desk)


House










Tuesday, 2 July 13

Backward Chaining21



Location(x==Draw, y==Desk)isContainedIn(x==Draw, y==Desk)


House










Tuesday, 2 July 13

Backward Chaining22

rule "go3"when String( this == "go3" ) isContainedIn("Key", "Office"; )then System.out.println( "Key in the Office" );end

House










Tuesday, 2 July 13

Backward Chaining23


ksession.insert( "go3" );ksession.fireAllRules();---go3

House










Tuesday, 2 July 13

Backward Chaining24


ksession.insert( "go3" );ksession.fireAllRules();---go3

ksession.insert( new Location("Key", "Draw") );ksession.fireAllRules();---Key in the Office

House










Tuesday, 2 July 13

Backward Chaining25

rule "go4"when String( this == "go4" ) isContainedIn(thing, "Office"; )then System.out.println( "thing " + thing + " is in the Office" );end

House










Tuesday, 2 July 13

Backward Chaining26


Out Var (unbound)

House










Tuesday, 2 July 13

Backward Chaining27


ksession.insert( "go4" );ksession.fireAllRules();---go4thing Key is in the Officething Computer is in the Officething Draw is in the Officething Desk is in the Officething Chair is in the Office

Out Var (unbound)

House










Tuesday, 2 July 13

Backward Chaining28

rule "go5"when String( this == "go5" ) isContainedIn(thing, location; )then System.out.println( "thing " + thing + " is in " + location );end

House










Tuesday, 2 July 13

Backward Chaining29


Out Var (unbound)

House










Tuesday, 2 July 13

Backward Chaining30


Out Var (unbound) Out Var

(unbound)

House










Tuesday, 2 July 13

Backward Chaining31


ksession.insert( "go5" );ksession.fireAllRules();---go5thing Knife is in Housething Cheese is in Housething Key is in Housething Computer is in Housething Draw is in Housething Desk is in Housething Chair is in Housething Key is in Officething Computer is in Officething Draw is in Officething Key is in Deskthing Office is in House

Out Var (unbound) Out Var

(unbound)

thing Computer is in Deskthing Knife is in Kitchenthing Cheese is in Kitchenthing Kitchen is in Housething Key is in Drawthing Draw is in Deskthing Desk is in Officething Chair is in Office

House










Tuesday, 2 July 13

Reactive Transitive Closures with Drools (Backward Chaining)

Technology

Transcript of Reactive Transitive Closures with Drools (Backward Chaining)