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

Our assignment help service offers the best quality assistance at the lowest prices in the market. You can rely on us to provide you with exceptional support for all your academic needs.

Python Programming Help

 

Related Questions

. The fundamental operations of create, read, update, and delete (CRUD) in either Python or Java

CS 340 Milestone One Guidelines and Rubric  Overview: For this assignment, you will implement the fundamental operations of create, read, update,

. 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

Retail Transaction Programming Project  Project Requirements:  Develop a program to emulate a purchase transaction at a retail store. This

. The following program contains five errors. Identify the errors and fix them

7COM1028   Secure Systems Programming   Referral Coursework: Secure

. Accepts the following from a user: Item Name Item Quantity Item Price Allows the user to create a file to store the sales receipt contents

Create a GUI program that:Accepts the following from a user:Item NameItem QuantityItem PriceAllows the user to create a file to store the sales receip

. The final project will encompass developing a web service using a software stack and implementing an industry-standard interface. Regardless of whether you choose to pursue application development goals as a pure developer or as a software engineer

CS 340 Final Project Guidelines and Rubric  Overview The final project will encompass developing a web service using a software stack and impleme