Search.setIndex({docnames:["index","mdpproblog"],envversion:51,filenames:["index.rst","mdpproblog.rst"],objects:{"":{mdpproblog:[1,0,0,"-"]},"mdpproblog.engine":{Engine:[1,1,1,""]},"mdpproblog.engine.Engine":{add_annotated_disjunction:[1,2,1,""],add_assignment:[1,2,1,""],add_fact:[1,2,1,""],add_rule:[1,2,1,""],assignments:[1,2,1,""],compile:[1,2,1,""],declarations:[1,2,1,""],evaluate:[1,2,1,""],get_annotated_disjunction:[1,2,1,""],get_assignment:[1,2,1,""],get_fact:[1,2,1,""],get_instructions_table:[1,2,1,""],get_rule:[1,2,1,""],relevant_ground:[1,2,1,""]},"mdpproblog.fluent":{ActionSpace:[1,1,1,""],Fluent:[1,1,1,""],StateSpace:[1,1,1,""]},"mdpproblog.fluent.Fluent":{create_fluent:[1,3,1,""]},"mdpproblog.mdp":{MDP:[1,1,1,""]},"mdpproblog.mdp.MDP":{actions:[1,2,1,""],current_state_fluents:[1,2,1,""],next_state_fluents:[1,2,1,""],reward:[1,2,1,""],reward_model:[1,2,1,""],state_fluents:[1,2,1,""],transition:[1,2,1,""],transition_model:[1,2,1,""]},"mdpproblog.value_iteration":{ValueIteration:[1,1,1,""]},"mdpproblog.value_iteration.ValueIteration":{run:[1,2,1,""]},mdpproblog:{engine:[1,0,0,"-"],fluent:[1,0,0,"-"],mdp:[1,0,0,"-"],value_iteration:[1,0,0,"-"]}},objnames:{"0":["py","module","Python module"],"1":["py","class","Python class"],"2":["py","method","Python method"],"3":["py","classmethod","Python class method"]},objtypes:{"0":"py:module","1":"py:class","2":"py:method","3":"py:classmethod"},terms:{"class":1,"enum":1,"float":1,"function":1,"int":1,"new":1,"return":1,Not:1,accord:1,achiev:1,action:1,actionspac:1,adapt:1,add:1,add_annotated_disjunct:1,add_assign:1,add_fact:1,add_rul:1,algorithm:1,all:1,ani:1,annot:1,appli:1,argument:1,assign:1,assignment_typ:1,backup:1,base:1,bellman:1,bodi:1,bridg:1,build:1,choic:1,classmethod:1,claus:1,clausedb:1,compil:1,compon:1,comput:1,constant:1,content:0,converg:1,correspond:1,creat:1,create_flu:1,current:1,current_state_flu:1,databas:1,declar:1,declaration_typ:1,defin:1,describ:1,dict:1,dictionari:1,discount:1,disjunct:1,domain:1,each:1,encod:1,engin:0,epsilon:1,equal:1,error:1,evalu:1,evid:1,execut:1,fact:1,factor:1,factori:1,fluent:0,from:1,gamma:1,get_annotated_disjunct:1,get_assign:1,get_fact:1,get_instructions_t:1,get_rul:1,given:1,greedi:1,ground:1,head:1,horizon:1,hot:1,identifi:1,immedi:1,implement:1,index:0,individu:1,induc:1,infinit:1,instruct:1,item:1,iter:1,its:1,knowledg:1,last:1,less:1,list:1,liter:1,logic:1,loop:1,made:1,map:1,maximum:1,mdp:0,model:1,modul:0,namedtupl:1,next:1,next_state_flu:1,node:1,none:1,number:1,numer:1,object:1,one:1,optim:1,order:1,ordereddict:1,over:1,packag:0,page:0,pair:1,paramet:1,perform:1,polici:1,possibl:1,predic:1,probabilist:1,probabl:1,problem:1,problog:1,program:1,queri:1,relevant_ground:1,repres:1,represent:1,respect:1,reward:1,reward_model:1,rule:1,run:1,search:0,separ:1,sort:1,sourc:1,specifi:1,state:1,state_flu:1,statespac:1,str:1,string:1,submodul:0,success:1,synchron:1,tabl:1,term:1,than:1,timestep:1,total:1,transit:1,transition_model:1,tripl:1,type:1,until:1,util:1,valid:1,valu:1,value_iter:0,valueiter:1,vector:1,weight:1},titles:["Welcome to mdpproblog&#8217;s documentation!","mdpproblog package"],titleterms:{content:1,document:0,engin:1,fluent:1,indic:0,mdp:1,mdpproblog:[0,1],modul:1,packag:1,submodul:1,tabl:0,value_iter:1,welcom:0}})