Unit 0b: Test adding facts
");
$kb = new knowledgeBase();
$jtms = new jtms($kb);
$kb->register_jtms($jtms);
$fact = new fact("describesTechnique", Array(new atom("paper")));
$kb->add_fact($fact);
$kb->add_fact($fact);
echo("");
print_r($kb);
echo("");
$kb->retract_fact($fact);
$kb->retract_fact($fact);
$kb->retract_fact($fact);
}
function unit1b(){
echo("
Unit 1b: testing unification of facts, variables and atoms
");
$kb = new knowledgeBase();
$inputString = "fact1(myAtom, *Variable*, atom2);
fact1(myAtom, const, atom2);";
$kb = parse($inputString, $kb);
$match = $kb->unify($kb->facts[0], $kb->facts[1]);
echo("");
print_r($match);
echo("");
}
function unit2b(){
echo("
Unit 2b: Testing rule unification
");
$kb = new knowledgeBase();
$inputString = "relevant(*A*) ^ significant(*A*) => accept(*A*);
relevant(myPaper);
significant(myPaper);
relevant(myPaper2);
significant(myPaper2);
relevant(myPaper3);
significant(myPaper5)";
$kb = parse($inputString, $kb);
$return = $kb->unify_rule($kb->rules[0], array());
echo("");
print_r($return);
echo("");
}
function unit3b(){
//test unifying across the kb
echo("
Unit Test 3b Test modus ponens
");
$kb = new knowledgeBase();
$inputstring = "original(*hypothesis*, *paper*) ^ nontrivial(*hypothesis*, *paper*) => significant(*paper*);
significant(*paper*) ^ relevant(*paper*, strongly) => accept(*paper*);
review(*paper*) ^ comprehensive(*paper*) => accept(*paper*);
original(hypothesis1, myPaper);
nontrivial(hypothesis1, myPaper);
original(hypothesis2, myPaper);
nontrivial(hypothesis2, myPaper);
relevant(myPaper, strongly);
review(myPaper);
comprehensive(myPaper);";
$kb = parse($inputstring, $kb);
echo('Facts before modus ponens:
');
foreach($kb->facts as $fact){
echo($fact->toString());
echo("
");
}
echo('
Rules before modus ponens:
');
foreach($kb->rules as $rule){
echo($rule->toString());
echo("
");
}
$kb->modus_ponens();
echo('
Facts after modus ponens:
');
foreach($kb->facts as $fact){
echo($fact->toString());
echo("
");
}
}
function unit4b(){
echo("
Unit Test 4b Test jtms
");
//create a new kb and jtms and register the jtms to the kb
$kb = new knowledgeBase();
$jtms = new jtms($kb);
$kb->register_jtms($jtms);
$rules = "original(*hypothesis*, *paper*) ^ nontrivial(*hypothesis*, *paper*) => significant(*paper*);
significant(*paper*) ^ relevant(*paper*, strongly) => accept(*paper*);
review(*paper*) ^ comprehensive(*paper*) => accept(*paper*);";
$facts = "original(hypothesis1, myPaper);
nontrivial(hypothesis1, myPaper);
original(hypothesis2, myPaper);
nontrivial(hypothesis2, myPaper);
relevant(myPaper, strongly);
review(myPaper);
comprehensive(myPaper)";
$kb = parse($rules, $kb);
$kb = parse($facts, $kb);
echo('
Facts before modus ponens:
');
foreach($kb->facts as $fact){
echo($fact->toString());
echo("
");
}
echo('
Rules before modus ponens:
');
foreach($kb->rules as $rule){
echo($rule->toString());
echo("
");
}
$kb->modus_ponens();
echo('
Facts after modus ponens:
');
foreach($kb->facts as $fact){
echo($fact->toString());
echo("
");
}
//$node = $jtms->jtms_find_node(new fact("accept", array(new atom("myPaper"))));
//echo(")");
//print_r($node);
echo("
Retracting original(hypothesis1, myPaper)");
$kb->retract_fact(new fact("original", Array(new atom("hypothesis1"), new atom("myPaper"))));
echo('
Facts after retracting original(hypothesis1, myPaper):
');
foreach($kb->facts as $fact){
echo($fact->toString());
echo("
");
}
//$node = $jtms->jtms_find_node(new fact("accept", array(new atom("myPaper"))));
//echo(")");
//print_r($node);
echo("
Retracting original(hypothesis2, myPaper)");
$kb->retract_fact(new fact("original", Array(new atom("hypothesis2"), new atom("myPaper"))));
echo('
Facts after retracting original(hypothesis2, myPaper):
');
foreach($kb->facts as $fact){
echo($fact->toString());
echo("
");
}
//$node = $jtms->jtms_find_node(new fact("accept", array(new atom("myPaper"))));
//echo(")");
//print_r($node);
echo("
Retracting review(myPaper)");
$kb->retract_fact(new fact("review", Array(new atom("myPaper"))));
echo('
Facts after retracting review(myPaper):
');
foreach($kb->facts as $fact){
echo($fact->toString());
echo("
");
}
//$node = $jtms->jtms_find_node(new fact("accept", array(new atom("myPaper"))));
//echo(")");
//print_r($node);
}
?>