Implement the simple forward-chaining algorithm in python as discussed in class. The algorithm is given below. function FOL-FC-ASK(KB,o) returns a substitution or false

INSTRUCTIONS TO CANDIDATES

ANSWER ALL QUESTIONS

Artificial Intelligence

Question [30 points]:

Implement the simple forward-chaining algorithm in python as discussed in class. The algorithm is given below.

function FOL-FC-ASK(KB,o) returns a substitution or false

inputs: KB, the knowledge base, a set of first-order definite clauses

cz the query, an atomic sentence

local variables: new, the new sentences inferred on each iteration

repeat until new is empty

new.—{}

for each rule in KB do

(p A .. . A p,  q) — STANDARDIZE-VARIABLES(rUJC)

foreachûsuchthaLSUBST(O.p1 A ... A p,3)=SuBST(0,p A ... A pi,)

forsomep,...,p,inKB

q’ — SUBsT(9. q)

if q’ does not unify with some sentence already in KB or new then

add q’ to new

*— UN1FY(q,a)

if  is not fail then return 4

add new to KB

return false

 

Your python program should be able to take the definite clauses from the “West is criminal” problem and infer that “West is a criminal”. It should output / print, preferably on command prompt, the processing being done at step and any new clauses being added.

 

You will need to give a demo of the program you have written and explain how you have implemented the program to the lecturer.

 

Information you will need

•   Problem statement

The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American.

 

•  Definite clauses

• American(x)∧Weapon(y)∧Sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
• Owns(Nono, M1)
• issile(M1)
• Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
• Missile(x) ⇒ Weapon(x)
• Enemy(x,America) ⇒ Hostile(x)
• American(West)
• Enemy(Nono,America)

 

Challenge [20 points]:

There is another 20 points to be won if

1. you can generalize you program to accept any number of definite clauses and make inferences if inferences can be made or return a
2. You can improve the efficiency of your program so it can faster (consider indexing) and make more intelligent choice in the clauses to process at each

Attachments:

Related Questions

. Introgramming & Unix Fall 2018, CRN 44882, Oakland University Homework Assignment 6 - Using Arrays and Functions in C

DescriptionIn this final assignment, the students will demonstrate their ability to apply two ma

. The standard path finding involves finding the (shortest) path from an origin to a destination, typically on a map. This is an

Path finding involves finding a path from A to B. Typically we want the path to have certain properties,such as being the shortest or to avoid going t

. Develop a program to emulate a purchase transaction at a retail store. This program will have two classes, a LineItem class and a Transaction class. The LineItem class will represent an individual

Develop a program to emulate a purchase transaction at a retail store. Thisprogram will have two classes, a LineItem class and a Transaction class. Th

. SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of Sea Ports. Here are the classes and their instance variables we wish to define:

1 Project 1 Introduction - the SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of

. Project 2 Introduction - the SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of Sea Ports. Here are the classes and their instance variables we wish to define:

1 Project 2 Introduction - the SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of