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
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,)
q’ — SUBsT(9. q)
if q’ does not unify with some sentence already in KB or new then
add q’ to new
if is not fail then return 4
add new to KB
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
Challenge [20 points]:
There is another 20 points to be won if
DescriptionIn this final assignment, the students will demonstrate their ability to apply two ma
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. Thisprogram will have two classes, a LineItem class and a Transaction class. Th
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
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