searchindex.js

Search.setIndex({docnames:["education/blogs/blogs","education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence","education/education","education/examples/examples","education/examples/gm","education/examples/reasoning","education/tutorials/tutorials","education/videos/videos","index","introduction","lnn/LNN","papers","usage"],envversion:{"sphinx.domains.c":2,"sphinx.domains.changeset":1,"sphinx.domains.citation":1,"sphinx.domains.cpp":4,"sphinx.domains.index":1,"sphinx.domains.javascript":2,"sphinx.domains.math":2,"sphinx.domains.python":3,"sphinx.domains.rst":2,"sphinx.domains.std":2,"sphinx.ext.viewcode":1,sphinx:56},filenames:["education/blogs/blogs.rst","education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md","education/education.rst","education/examples/examples.rst","education/examples/gm.md","education/examples/reasoning.md","education/tutorials/tutorials.rst","education/videos/videos.rst","index.rst","introduction.md","lnn/LNN.rst","papers.md","usage.md"],objects:{"":[[10,0,0,"-","lnn"]],"lnn.Congruent":[[10,2,1,"","add_data"],[10,2,1,"","downward"]],"lnn.Equivalent":[[10,2,1,"","downward"],[10,2,1,"","upward"]],"lnn.ForAll":[[10,2,1,"","downward"]],"lnn.Formula":[[10,2,1,"","add_data"],[10,2,1,"","add_labels"],[10,2,1,"","contradicting_bounds"],[10,2,1,"","contradicting_stacked_bounds"],[10,2,1,"","flush"],[10,2,1,"","get_data"],[10,2,1,"","get_labels"],[10,3,1,"","groundings"],[10,3,1,"","is_classically_resolved"],[10,2,1,"","is_contradiction"],[10,2,1,"","is_equal"],[10,2,1,"","print"],[10,2,1,"","set_negative_weights"],[10,2,1,"","set_propositional"],[10,2,1,"","state"],[10,3,1,"","world"],[10,2,1,"","world_state"]],"lnn.Model":[[10,2,1,"","add_data"],[10,2,1,"","add_knowledge"],[10,2,1,"","add_labels"],[10,2,1,"","downward"],[10,4,1,"","graph"],[10,2,1,"","infer"],[10,2,1,"","infer_query"],[10,2,1,"","lift"],[10,4,1,"","nodes"],[10,4,1,"","query"],[10,2,1,"","set_query"],[10,2,1,"","train"],[10,2,1,"","upward"]],"lnn.Not":[[10,2,1,"","downward"],[10,2,1,"","upward"]],"lnn.Predicate":[[10,2,1,"","add_data"]],"lnn.Proposition":[[10,2,1,"","add_data"]],lnn:[[10,1,1,"","And"],[10,1,1,"","Congruent"],[10,1,1,"","Direction"],[10,1,1,"","Equivalent"],[10,1,1,"","Exists"],[10,1,1,"","Fact"],[10,1,1,"","ForAll"],[10,1,1,"","Formula"],[10,1,1,"","Function"],[10,1,1,"","Implies"],[10,1,1,"","Join"],[10,1,1,"","Loss"],[10,1,1,"","Model"],[10,1,1,"","NeuralActivation"],[10,1,1,"","Not"],[10,1,1,"","Or"],[10,1,1,"","Predicate"],[10,5,1,"","Predicates"],[10,1,1,"","Proposition"],[10,5,1,"","Propositions"],[10,1,1,"","Variable"],[10,5,1,"","Variables"],[10,1,1,"","World"],[10,5,1,"","predicate_truth_table"],[10,5,1,"","pretty_truth_table"]]},objnames:{"0":["py","module","Python module"],"1":["py","class","Python class"],"2":["py","method","Python method"],"3":["py","property","Python property"],"4":["py","attribute","Python attribute"],"5":["py","function","Python function"]},objtypes:{"0":"py:module","1":"py:class","2":"py:method","3":"py:property","4":"py:attribute","5":"py:function"},terms:{"0":[10,12],"04":10,"09":10,"1":[1,9,10,11,12],"11th":11,"1961":10,"2":[1,5,10,12],"2008":10,"2020":11,"2021":11,"2n":12,"3":[1,5,10],"3e2":10,"4":[1,10,12],"5":10,"50":10,"5559":11,"5563":11,"59th":11,"5e":10,"6":10,"75":10,"9":12,"\u0142ukasiewicz":[10,12],"abstract":11,"case":[1,10,12],"class":[1,8,10],"default":[10,12],"do":[1,10,12],"final":[5,9],"float":10,"function":[1,9,10,12],"g\u00f6del":12,"import":[5,12],"int":10,"long":11,"new":[1,10,12],"ram\u00f3n":11,"return":[10,12],"short":11,"switch":12,"true":[5,10,12],"while":[1,12],A:[1,10,11,12],And:[5,9,10,12],As:1,At:10,But:1,By:[1,12],For:[1,10,12],If:[1,10,12],In:[9,10,11],Is:[5,10],It:[1,10],No:10,Not:[9,10,12],Or:[9,10,12],The:[1,5,9,10,12],Then:5,There:5,These:[1,12],With:1,_:10,_ground:10,ab:10,abc:10,abdelaziz:11,abil:1,abl:[1,9],about:[1,5],abov:[5,10,12],absorb:10,abstractli:[1,12],accept:10,accord:[1,10,12],accordingli:[9,10,12],accuraci:[1,12],achiev:1,achil:11,acl:11,acoust:11,acquir:10,across:[10,12],act:1,action:11,activ:[1,9,10],ad:[1,5,10,12],adam:10,add:[1,5,10,12],add_data:[5,10,12],add_knowledg:[5,10,12],add_label:[10,12],addit:[9,10,12],addition:10,address:12,advanc:[1,11],after:[9,10],against:1,agent:1,agravant:11,ai:[0,2],aiplan:11,aka:5,akhalwaya:11,akifumi:11,albeit:12,alexand:11,alfio:11,algorithm:[1,10],alia:10,all:[1,5,10,12],all_1:10,all_2:10,allow:[1,10,12],along:12,alreadi:10,also:[1,10,12],altern:[10,12],am:1,america:5,america_enemi:5,american:5,amount:[10,12],an:[1,5,10,12],and_0:10,ani:[1,5,9,10],ankita:11,anna:12,annual:11,anoth:10,answer:[5,10,11],api:8,append:12,appli:[1,5,10,12],approach:[1,11,12],appropri:10,approxim:[1,9],ar:[1,5,9,10,12],architectur:[1,12],arg:10,arguabl:1,argument:10,ari:[10,12],aris:10,ariti:[10,12],arxiv:11,asid:9,asim:11,aspect:1,associ:[10,11,12],assum:[10,12],assumpt:[1,10,12],asthma:10,asthmatic_smokers_cough:10,astudillo:11,atom:9,attach:1,august:10,avail:10,award:1,axiom:[5,10,12],b:10,background:5,backprop:1,backpropag:1,bajillion:1,bar:10,barack:10,barahona:11,base:[1,10,11,12],bd:10,becaus:9,becom:[1,10,12],been:10,befor:10,befriend:12,behav:[1,9,10],behavior:[1,10,12],behaviour:1,being:[1,9,10,12],belief:10,below:5,besid:10,best:1,between:[1,10,12],beyond:[0,2],bhargav:11,bidirect:[9,10],binari:[5,10],bind:10,birthdat:10,block:12,bo:10,bob:12,bool:10,booltensor:10,boot:1,both:[1,12],bottleneck:12,bound:[1,9,10,12],bounds_tabl:10,box:1,broadcast:10,broader:1,brought:1,build:[1,5,12],c:[5,10],calcul:10,call:[10,12],can:[1,5,10,12],cancer:12,cannot:9,categori:12,cater:1,caus:10,certain:1,chang:[1,11],character:9,characteris:1,chaudhuri:11,check:[1,10],chilrden:12,choic:8,chosen:9,chri:12,clamp:10,classic:[9,10,12],close:[10,12],code:11,coeffici:10,collect:[10,12],colonel:5,column:[10,12],combin:10,come:[1,10],commun:1,compact:12,complet:[1,10],complex:[1,3,11],compon:[10,12],compos:[9,12],composit:12,compound:12,comput:[1,9,10,11,12],computation:12,confer:11,configur:10,conform:1,congruenc:10,congruent:10,conjunct:10,connect:[1,5,10,12],consid:12,consist:[1,5,10,12],const_1:10,const_2:10,const_3:10,const_5:10,const_6:10,const_7:10,constant:[5,10],constitut:10,constrain:[1,9],constraint:[9,10,12],construct:[9,10,12],constructor:12,contain:[5,10,12],content:12,context:[9,12],contextu:10,contradict:[10,12],contradicting_bound:10,contradicting_stacked_bound:10,contradictori:[9,10],contrast:10,control:9,converg:[9,10,12],cornelio:11,correl:1,correspond:9,cost:1,cough:10,countri:5,craft:1,creat:[1,10],crime:5,crimin:5,cristina:11,cross:12,current:[10,12],custom:10,d:10,daiki:11,dana:11,data:[1,9,10,12],db:10,decent:1,decis:1,declar:5,deep:[1,12],defin:[1,5,10,12],demand:12,demo:11,demonstr:11,depend:9,deploi:1,depth:10,describ:12,descript:5,design:8,desir:12,despit:[1,10],detail:[10,12],determin:10,dict:10,dictionari:[10,12],differ:[10,12],differenti:1,digraph:10,dimens:10,dinesh:11,direct:[5,10],directli:[1,5,9,10,12],disagr:10,discover:12,discuss:10,disjunct:10,distinguish:9,dl:1,document:12,doe:10,don:11,done:[10,12],door:1,down:10,downward:[1,9,10,12],dual:11,due:12,dure:[10,12],dynam:[1,10,12],e:[1,9,10,12],each:[1,5,9,10,12],easili:12,economi:1,edg:1,educ:8,edward:12,effici:[1,12],either:10,el:11,embed:[1,11],empir:11,empti:[10,12],en:12,enabl:12,encod:1,end:[1,10],enemi:5,enforc:[10,12],engag:1,engelmor:1,ensur:[10,12],entail:5,entir:[10,12],entiti:11,enumer:10,environ:[1,10,12],environment:1,epoch:10,equival:[10,12],equivalent_0:12,especi:12,etc:[5,12],evalu:[9,10],even:[1,10],everi:[1,12],everybodi:1,exactli:9,exampl:[1,2,8,10],exclud:12,exist:[5,9,10],existenti:10,expect:[1,5,10],explain:1,explicit:[1,12],explicitli:[10,12],express:[9,12],extend:10,extens:[1,12],extern:[1,11],extract:[5,11,12],extrem:12,extrins:1,f:10,facilit:1,fact:[1,5,10,12],facts_inf:[5,10],fagin:11,fail:1,fals:[10,12],fame:1,famili:9,favourit:1,featur:1,fernandez:11,few:1,field:1,fill:[10,12],financi:1,find:11,first:[1,10,11,12],fit:12,fix:10,flag:10,flush:10,fly:1,fokou:11,fol:[5,9,10,12],follow:[1,5,10,12],foral:[5,9,10],forall_0:10,form:[9,10,12],format:10,formla:10,formula:[9,10,12],formula_numb:10,forward:[1,10],found:5,foundat:[1,11],four:5,foursid:5,foursided_object:5,framework:[1,12],francisco:11,francoi:11,frank:12,frechet:10,free:[10,12],friend:[10,12],from:[5,9,10,12],full:10,further:10,g:[9,10,11,12],gaetano:11,game:11,gangi:11,garg:11,gari:12,gate:[1,12],gener:[1,5,10,12],generalis:1,geometr:5,geometri:3,get:[1,10],get_data:10,get_label:10,given:[1,5,9,10],gliozzo:11,goal:[1,5,12],godel:10,gotham:5,govern:[1,10],grad:10,gradient:[1,10],grai:11,granular:12,graph:[1,9,10,12],grass:1,ground:[1,2,3,10,12],groundi:10,groundind_t:10,grow:10,guid:1,gurajada:11,ha:[1,5,10],haifeng:11,hand:[1,10],handicap:1,handl:[1,10,12],hang:11,hard:12,have:[1,5,10,12],header_len:10,headlin:1,heap:1,henri:1,here:[5,10],hidden:1,hierarch:[1,8],hierarchi:12,high:1,hima:11,honestli:1,horesh:11,hostil:5,how:[1,5,12],howev:12,html:10,human:[1,12],i:[1,9,10,12],ibm:1,ibrahim:11,icassp:11,ident:10,identif:10,identifi:12,ieee:11,iff:10,ijcai:11,ijcnlp:11,ikbal:11,illustr:5,ilp:9,immens:1,imperfect:1,implement:[1,9,10,12],impli:[5,9,10,12],implic:10,implicitli:1,implies_1:12,implies_2:12,includ:[10,12],incomplet:10,increas:10,inde:1,index:10,individu:[9,10],induct:9,infer:[1,5,9,10,12],infer_queri:10,inform:[1,10,12],ingenu:1,initi:[9,12],initialis:12,inject:9,inner:[10,12],innov:9,input:[1,9,10,12],input_dim:10,inquiri:10,insert:[10,12],inspect:5,instanti:[5,10,12],instead:[1,9,10,12],intellig:[0,2],intens:12,interact:[1,11,12],interest:[9,12],intern:11,interpret:[1,10,12],introduc:10,intuit:12,is_classically_resolv:10,is_contradict:10,is_equ:10,is_neg:10,ismail:11,item:10,iter:10,its:[0,2,10],itself:1,ivan:12,jiang:11,join:[1,5,10,12],joint:11,jointli:12,joven:11,just:[1,9,12],justifi:1,k:5,kapanipathi:11,karanam:11,kautz:1,kb:9,kbrl:11,keep:12,kei:[9,10,12],kept:12,khan:11,khandelw:11,kimura:11,know:1,knowledg:[1,5,10,11,12],known:9,kohita:11,kwarg:12,kwd:10,l:10,label:[10,12],lack:1,languag:11,larg:[1,12],larger:10,later:10,law:5,layer:1,leaf:[1,10],lean:10,leap:1,learn:[1,9,10,11,12],learning_r:10,lebes:11,lectur:1,lee:11,left:10,length:[10,12],let:1,level:[1,10,12],leverag:[1,11],lh:10,li:11,life:1,lift:10,like:[1,12],likhyani:11,limit:[10,12],linguist:11,link:11,lior:11,list:[10,12],literatur:5,lnn:[2,8,9],loa:11,load:12,logic:[10,12],lookup:12,loop:10,loss:[1,9,10,12],loss_histori:10,lower:[10,12],lu:11,lucian:11,lukasiewicz:10,lukasiewicztranspar:10,luu:11,m1:5,m2:5,m3:5,machin:[1,12],made:5,mai:[1,9,10,12],maintain:10,make:[1,12],maker:1,makondo:11,manag:[1,2,3,12],mandat:1,manipul:10,manner:1,manual:5,map:[5,10,12],maria:11,masaki:11,mass:12,mathemat:1,max_step:10,mean:11,meet:11,memori:1,merg:1,messag:1,method:[10,11],methodolog:1,michiaki:11,mihindukulasooriya:11,minim:12,minimis:12,missil:5,ml:1,mo:11,model:[1,5,9,10,12],modern:1,modif:10,modifi:[10,12],modu:1,modul:[5,8,12],modular:9,monoton:9,more:[1,3,9,10,12],most:[10,12],move:[0,2,10],multi:12,multipl:[1,10,12],munawar:11,my:1,my_and:10,n:[10,12],n_ary_neuron:10,naiv:10,name:[1,10,12],nandana:11,narrow:[0,2],narrowli:1,naseem:11,nation:5,natur:[9,11,12],nawe:11,nb:10,ndivhuwo:11,necessarili:9,need:[1,10,12],neelam:11,neg:[10,12],negat:10,network:12,neural:10,neuralactiv:[10,12],neurip:11,neuro:[1,11],neuron:[1,9,10,12],neurosymbol:[1,11],next:1,nice:1,nick:12,nn:[1,10],node:[1,5,10,12],nois:12,noisi:1,non:12,none:10,nono:5,norm:[10,12],note:[10,12],notic:12,novel:1,now:1,nuanc:1,number:[10,12],nx:10,obama:10,obei:1,object:[5,10,12],ocean:1,octob:10,offer:[1,12],often:10,one:[5,9,10],onli:[1,10,12],ono:11,opaqu:1,open:[1,10,12],oper:[1,9,10,12],operand:10,opt:12,optim:[10,11],optimis:12,option:10,order:[1,10,11,12],oscil:9,other:[5,9,10],otherwis:[10,12],our:1,out:[10,12],outcom:1,outer:[5,10,12],outer_prun:10,output:[1,5,9,10,12],outsmart:1,over:[9,10,12],overload:12,ow:1,own:5,p1:10,p2:10,p3:10,p:[10,11],paper:8,param:[10,12],paramet:[9,10,12],parameteris:12,pars:5,part:9,parti:1,partial:1,particular:[5,9,10,12],partit:9,pass:[1,9,10],pavan:11,pbar:10,peopl:1,per:[1,12],perfect:12,perfectli:12,perform:[1,5,9,10],perhap:1,permit:9,person:10,person_1:10,person_2:10,person_3:10,pertain:9,piec:1,place:[10,12],plai:1,plausibl:1,plu:10,plus_func:10,point:[10,12],polici:11,ponen:1,popa:11,popul:[9,10,12],possibl:[1,9,10,12],pp:11,precis:12,predefin:[10,12],predic:[5,9,10,12],predicate_truth_t:10,predict:1,present:12,pretti:10,pretty_truth_t:10,prevent:12,previous:12,pricai:11,primal:11,principl:1,print:[5,10,12],printout:12,prior:12,prithviraj:11,problem:[9,12],proceed:11,process:[10,11],product:[10,12],program:[9,11],programmat:12,progress:10,promin:12,proof:11,propag:10,properti:[5,10,12],proposit:[9,10,12],prove:[5,9,10],provid:[5,9,10,12],proxi:10,pure:1,python:8,pytorch:10,q:10,qa:10,qian:11,qiuhao:11,quantifi:10,queri:[5,9,10,11],question:11,r:10,rage:1,rain:1,randomis:10,rang:[1,10],ravishankar:11,reach:1,readi:5,readili:12,real:[1,9,10,11,12],realli:1,reason:[1,2,3,10,11,12],rect_foursid:5,rectangl:5,rectangular:5,recurr:9,recurs:12,reddi:11,reduc:10,refer:[10,12],reflect:[9,10],region:10,regul:1,reinforc:[1,11],relat:[1,12],remov:10,replac:10,repres:[1,9,10,12],represent:[5,11,12],requir:[1,10,12],research:1,respect:[1,12],rest:10,restrict:[10,12],result:[9,10,12],retain:12,retriev:10,revanth:11,rh:10,riegel:11,right:[1,10],robert:1,robust:1,ronald:11,root:[10,12],rosebush:1,rossiello:11,rouko:11,roundoff:10,row:[10,12],rubber:1,rule:[1,5,10,12],run:[10,12],running_loss:10,ryan:11,ryosuk:11,s:[5,9,10],safer:12,sai:5,sairam:11,salim:11,same:[10,12],santosh:11,saswati:11,scenario:12,schemata:10,scientif:1,scope:[10,12],search:10,section:[5,10,12],see:[1,10,12],seen:1,select:10,self:[1,12],sell:5,semant:[5,12],sen:11,sequenti:12,serv:9,set:[9,10,12],set_fact:5,set_negative_weight:10,set_proposit:10,set_queri:10,sever:5,shajith:11,shape:5,sharma:11,should:[1,10,12],show:5,shrivatsa:11,side:[5,10],signal:[1,10,11,12],similarli:5,simpl:[1,3],simpli:[1,12],simultan:[1,12],sinc:[1,5,10],singl:[1,10,12],situat:12,slice:10,smart:1,smoke:[10,12],smoker:12,smokers_befriend_smok:[10,12],smokers_have_friend:10,smoking_causes_canc:12,snippet:5,so:[9,12],soft:12,sold:5,solv:10,some:[1,5,8,10],some_1:10,some_2:10,songtao:11,sound:[1,10],sourc:[10,12],special:12,specialis:1,specif:[9,10,12],specifi:[10,12],speech:11,squar:5,square_rect:5,sriniva:11,srivastava:11,stack:10,stand:1,standard:[1,10,12],start:10,state:[1,9,10,12],statement:1,step:[5,10],still:[1,12],stop:10,store:[10,12],str:10,strategi:[10,12],string:10,strongli:1,structur:[1,8,9],subformula:[9,10,12],subgraph:10,subhajit:11,subset:[10,12],success:1,suffici:1,suk:11,sum:10,sumit:11,summer:1,supervis:[1,10,12],supervisori:[10,12],support:10,surpass:1,symbol:[1,8,11],syntax:[1,9],system:[1,9,10,11,12],t:[10,12],tabl:[10,12],tahira:11,take:[9,10],taken:9,target:[10,12],task:[1,12],tatsubori:11,taxonomi:1,tell:12,templat:12,tensor:10,term:[9,10],ternari:5,text:[5,11],thabang:11,than:12,thei:[1,9],themselv:9,theorem:[5,10],theori:[10,12],thereaft:10,therebi:[10,12],therefor:[1,9,12],thi:[1,5,10,12],think:1,third:1,those:10,through:10,tighten:[9,10,12],tightened_bound:10,time:[1,12],to_bool:10,too:1,toolbox:1,torch:10,total_loss:10,touch:10,toward:[1,10],tqdm:10,train:[9,10,11,12],translat:5,travers:10,tree:[1,9,12],trim:1,trivial:12,true_ground:5,truli:1,trust:12,truth:[9,10,12],tupl:10,tutori:[2,8],two:[1,5,10],type:[1,10,12],typic:[5,9,12],u:10,udit:11,unari:[10,12],uncertainti:[1,10,11,12],under:[1,12],underli:12,understand:[1,2,8,12],unguid:12,union:10,uniqu:[10,12],unique_ground:10,univers:10,unknown:[9,10,12],unless:[10,12],unspecifi:10,unstructur:1,until:[10,12],unweight:10,up:[1,10,12],updat:[1,10],upper:[10,12],upward:[9,10],us:[1,5,8,10],user:[10,12],usual:[9,10],valu:[1,9,10,11,12],variabl:[5,10,12],variou:9,ve:1,veri:[1,12],verifi:[1,10],version:10,via:[1,10,11,12],video:[2,8],view:[0,2],violat:10,volum:11,vs:10,w:5,wachi:11,wai:1,wakanda:5,walk:1,we:[1,5,10,12],weapon:5,wear:1,weight:[1,9,10,12],well:[1,9],were:5,west:5,wet:1,what:10,when:[1,9,10],where:[1,10,12],wherea:[10,12],wherebi:[1,10],which:[1,9,10,12],white:1,who:5,within:[1,10,12],without:[1,10],work:10,workshop:11,world:[1,5,10,12],world_stat:10,would:[1,10,12],x:[5,9,10,12],xor:12,y:[5,9,10,12],yet:10,yield:10,you:12,young:11,yu:11,yunu:11,yunyao:11,z:[5,10]},titles:["Understanding LNNs","Moving AI Beyond its Narrow View of Intelligence","Education","Examples","Grounding Management","Reasoning","Tutorials","Videos","Logical Neural Networks","Logical Neural Networks","LNN Module","Papers","Python API"],titleterms:{"class":12,"import":1,activ:12,ai:1,api:12,beyond:1,choic:12,code:5,complex:5,configur:12,design:12,educ:2,exampl:[3,5],first:5,geometri:5,ground:4,hierarch:12,intellig:1,its:1,languag:5,lnn:[0,1,5,10,11,12],logic:[1,5,8,9,11],manag:4,miss:1,modul:10,more:5,move:1,narrow:1,natur:5,network:[1,8,9,11],neural:[1,8,9,11,12],order:5,paper:11,problem:5,python:12,reason:5,refer:1,represent:1,s:1,simpl:5,so:1,some:12,structur:[10,12],symbol:[10,12],todai:1,tutori:6,understand:0,us:[11,12],video:7,view:1,what:1,why:1}})