add reasoning test

Author: cjen07

mln/alarm.db

@@ -0,0 +1,6 @@
+livesIn(James,Yorkshire)
+livesIn(Stefan,Freiburg)
+burglary(James)
+tornado(Freiburg)
+neighborhood(James,Average)
+neighborhood(Stefan,Bad)

mln/alarm.mln

@@ -0,0 +1,20 @@
+// domain declarations
+domNeighborhood = {Good, Bad, Average}
+person = {James,Stefan}
+place = {Freiburg,Yorkshire,Austin}
+
+
+
+// predicate declarations
+alarm(person)
+burglary(person)
+livesIn(person,place!)
+neighborhood(person,domNeighborhood!)
+tornado(place)
+
+// formulas
+2.200000    burglary(x) => alarm(x)
+2.200000    (livesIn(x,y) ^ tornado(y)) => alarm(x)
+0.400000    neighborhood(x,Bad) => burglary(x)
+-0.400000   neighborhood(x,Average) => burglary(x)
+-0.800000   neighborhood(x,Good) => burglary(x)

mln/demo_pracmln.py

@@ -33,5 +33,12 @@ def test_db():
     db.write()
     return (mln, db)
 
+def test_reasoning():
+    mln = MLN.load(files='./mln/alarm.mln')
+    db = Database.load(mln, './mln/alarm.db')
+    result = MLNQuery(mln=mln, db=db).run()
+    result.write()
+
 if __name__ == "__main__":
-    test_db()
+    test_db()
+    test_reasoning()