GitHub - shuaiwangvu/Learning: An assignment for my course at ILLC.

Dynamic Epistemic Learning Course

Shuai Wang @ ILLC, UvA

In case of confusion:

The number of preconditon is named demand; The number of postcondition is named active;

To use:

You need BuDDy.
Compile Smodels as described.
Go to the mas directory and type:

make main
For precondition free action learning, type:

./main 1 100 (for a domain of 100 propositions) or

./main 1 1000 (for a domain of 1000 propositions)
For conditional action learning, type:

./main 2 100 (for a domain of 100 propositions) or

./main 2 1000 (for a domain of 1000 propositions)

and for demand-oriented testings, type:

./main 3 (the domain is hard-coded to 100)

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
examples		examples
mas		mas
.DS_Store		.DS_Store
CHANGES		CHANGES
COPYING		COPYING
Makefile		Makefile
README.md		README.md
api.cc		api.cc
api.h		api.h
api.o		api.o
atomrule.cc		atomrule.cc
atomrule.h		atomrule.h
atomrule.o		atomrule.o
dcl.cc		dcl.cc
dcl.h		dcl.h
dcl.o		dcl.o
defines.h		defines.h
denant.cc		denant.cc
denant.o		denant.o
improve.cc		improve.cc
improve.o		improve.o
list.cc		list.cc
list.h		list.h
list.o		list.o
main.cc		main.cc
main.o		main.o
print.h		print.h
program.cc		program.cc
program.h		program.h
program.o		program.o
queue.cc		queue.cc
queue.h		queue.h
queue.o		queue.o
read.cc		read.cc
read.h		read.h
read.o		read.o
restart.cc		restart.cc
restart.h		restart.h
restart.o		restart.o
smodels		smodels
smodels.cc		smodels.cc
smodels.h		smodels.h
smodels.o		smodels.o
stable.cc		stable.cc
stable.h		stable.h
stable.o		stable.o
stack.cc		stack.cc
stack.h		stack.h
stack.o		stack.o
timer.cc		timer.cc
timer.h		timer.h
timer.o		timer.o
tree.cc		tree.cc
tree.h		tree.h
tree.o		tree.o

Provide feedback