÷ƒ’À;è TeX output 1994.05.24:1406‹ÿÿÿÿ ‹ú- ýW‘ì Šn ý‘ì’!„Çó'ò"V ó3 cmbx10ÒUniv•¦tersit“y–2of“StoY‹c¦tkholm“(STO)Ž¤ ™š’ƺáDepartmen¦tt–2of“Computer“and“Systems“SciencesŽ¡’”[‡StoY‹c¦tkholmŽ¡’¤Ì/Sw¦tedenŽŸ'34‘sçResearc¦thersŽ¡‘sçó"Kñ`y ó3 cmr10ÍCarl–šöGustaf“Jansson,›?Henrik“Bostrom,˜P²!eter“Idestam-Almquist,˜Xiaohong“Jin,˜Lars“Ask²!er,Ž¡‘sçBassam–ê™Mic²!hel“El-Khouri,›;¥F‘ÿeredrik“Kilander,˜Harald“Kjellin,˜Pierre“Wijkman,˜Asa“Rud-Ž¡‘sçstrom,–¦fChrister“Sam²!uelsson,“Mats“Danielsson.Ž©34‘sçÒILP‘2AreasŽ¡‘sçÍTheory–¦frevision,“In•²!v“erse‘¦fresolution.Ž¦‘sçÒDescription–2of“Researc¦thŽ¡‘sçÍThe–Šâwš²!ork“of“the“StoMÞc˜kholm“Mac˜hine“Learning“Group“includes“theorethical“w˜ork“emphasizingŽ¡‘sçtecš²!hniques–based“upMÞon“logic“and“statistics,‘$realistic“applications“where“learning“mec˜hanismsŽ¡‘sçare–øinevitable,‘:as“wš²!ell“as“studies“of“the“cognitiv˜e“relev‘ÿdDance“of“learning“mec˜hanisms“and“theirŽ¡‘sçrole–¦fin“an“in•²!teractiv“e›¦fman/mac“hine˜problemsolving˜proMÞcess.Ž¡‘-sçWith–>KrespMÞect“to“logical“approacš²!hes“to“mac˜hine“learning“w˜e“are“primarily“in˜terested“inŽ¡‘sçtheory–Vºrevision“in“the“sense“of“moMÞdi cation“of“sev²!eral“related“concepts“(predicates)“in“orderŽ¡‘sçto–o@makš²!e“the“theory“ t“new“cases“(clauses).‘Ë{Giv˜en“an“impMÞerfect“theory“in“Horn“clause“form,Ž¡‘sça– system“designer“has“the“goal“to“enhance“the“theory“from“a“logical“as“w²!ell“as“a“pMÞerformanceŽ¡‘sçp•MÞersp“ectiv²!e.Ž¡‘-sçImpšMÞerfection–c¹from“a“logical“p˜oin²!t“of“view“is“basically“due“to“incompleteness“or“incon-Ž¡‘sçsistency‘ÿe.‘¸By–™Ñincompleteness“is“meanš²!t“that“a“true“theorem“cannot“bMÞe“pro˜v˜ed,‘Ö«and“b˜y“in-Ž¡‘sçconsistency–ìythat“a“false“theorem“can“bšMÞe“pro•²!v“ed.‘°As‘ìyp˜ositiv“e–ìyexamples“corresp˜onds“to“trueŽ¡‘sçtheorems,›/`these–ûcan“aid“the“revision“of“the“theory“to“remedy“incompleteness,˜basically“b²!yŽ¡‘sçgeneralizing–ùQpredicate“de nitions.‘¤,As“negativ²!e“examples“correspMÞond“to“false“theorems,‘ïtheseŽ¡‘sçcan–âUaid“the“revision“of“the“theory“to“remedy“inconsistency‘ÿe,‘ñQbasically“b²!y“spMÞecializing“predi-Ž¡‘sçcate–]Éde nitions.‘Å©ImpšMÞerfection“from“a“p˜erformance“orien²!ted“p˜oin²!t“of“view“is“basically“due“toŽ¡‘sçthe›Æin•²!tractabilit“y˜of˜the˜theory˜or˜the˜non-optimalit“y˜of˜the˜theory‘ÿe.‘<ÖOne˜concrete˜exampleŽ¡‘sçof–_Four“wš²!ork“is“a“no˜v˜el“approac˜h“to“in˜v˜erse“resolution“whic˜h“com˜bines“top“do˜wn“and“bMÞottomŽ¡‘sçup–¦fapproacš²!hes“[5Ž‘yš,“6Ž‘ ]“and“aiming“at“an“inductiv˜ely“complete“system.Ž¦‘sçÒRecen¦tt‘2PublicationsŽ¡‘!íÍ[1]ŽŽ‘2ö H.–®Bostrom.›ìXEliminating“redundancy“in“explanation-based“learning.˜ó%ý': ó3 cmti10ÐPr–ÿp¹o“c“e“e“dings‘ÝrofŽ¡‘2ö the–êêNinth“International“Confer–ÿp¹enc“e–êêon“Machine“L–ÿp¹e“arningÍ.–¦fMorgan“Kaufmann,“1992.Ž¡‘!í[2]ŽŽ‘2ö H.–âªBostrom.›ŽXImpro²!ving“example-guided“unfolding.˜ÐPr–ÿp¹o“c“e“e“dings–"\of“the“Eur–ÿp¹op“e“an‘"\Con-Ž¡‘2ö fer–ÿp¹enc“e–êêon“Machine“L–ÿp¹e“arningÍ.–¦fMorgan“Kaufmann,“1993.Ž¡‘!í[3]ŽŽ‘2ö H.–1ØBostrom.› u/Explanation-based“generalization“if“m²!ultiple“training“examples.˜ÐPr‘ÿp¹o-Ž¡‘2ö c–ÿp¹e“e“dings–§of“the“Thir›ÿp¹d“International“Workshop“on“Know‘Fle˜dge“Compilation“and“Sp˜e˜e˜dupŽ¡‘2ö L–ÿp¹e“arningÍ.–¦fAmherst“MA,“1993.Ž¡‘!í[4]ŽŽ‘2ö H.–ÛÉBostrom.›ËExplanation-based“transformation“of“logic“programs.˜PhD‘Û–thesis,‘ODepart-Ž¡‘2ö menš²!t–kýof“Computer“and“Systems“Sciences,‘w«StoMÞc˜kholm“Univ˜ersit˜y“and“Ro˜y˜al“Institute“ofŽ¡‘2ö T–ÿeec²!hnology“,‘¦f1993.Ž¡‘!í[5]ŽŽ‘2ö P‘ÿe.–[äIdestam-Almquist.‘÷™Learning“missing“clauses“bš²!y“in˜v˜erse“resolution.‘÷™ÐPr–ÿp¹o“c“e“e“dings‘‘ãofŽ¡‘2ö the–ÕÜInternational“Confer–ÿp¹enc“e–ÕÜon“Fifth“Gener‘ÿp¹ation“Computer“Systems“1992Í.‘¥ÇOhmshaŽŽŽŒ‹* ‹ú- ýW‘ì Šn ý‘ì‘2ö ÍPublishers,–¦fT‘ÿeoky²!o,“1992.Ž¤ ™š‘!í[6]ŽŽ‘2ö P‘ÿe.–/Idestam-Almquist.‘rA‘.ómethoMÞd“to“inš²!tegrate“top“do˜wn“and“bMÞottom“up“induction“forŽ¡‘2ö augmen²!tation–gˆof“incomplete“theories.‘Ã}ÐPr–ÿp¹o“c“e“e“dings–±of“1992“IEEE‘±International“Confer-Ž¡‘2ö enc›ÿp¹e–ó¯on“Computer“Systems“and“Softwar˜e“Engine˜eringÍ.–¯ïIEEE‘¯ìComputer“SoMÞciet²!y“Press,Ž¡‘2ö Los–¦fAlamitos,“California,“1992.Ž¡‘!í[7]ŽŽ‘2ö P‘ÿe.–HºIdestam-Almquist.›¸Generalization“of“clauses.˜PhD‘H£thesis,‘[vDepartmen²!t“of“ComputerŽ¡‘2ö and–¦fSystems“Sciences,“StoMÞcš²!kholm“Univ˜ersit˜y“and“Ro˜y˜al“Institute“of“T–ÿeec˜hnology“,‘¦f1993.Ž¡‘!í[8]ŽŽ‘2ö P‘ÿe.–[†Idestam-Almquist.‘ö‚Generalization“under“implication“bš²!y“recursiv˜e“an˜ti-uni cation.Ž¡‘2ö ÐPr–ÿp¹o“c“e“e“dings–qof“the“T‘ÿ)enth“International“Confer–ÿp¹enc“e–qon“Machine“L–ÿp¹e“arningÍ.–®Morgan“Kauf-Ž¡‘2ö mann,‘¦f1993.Ž¡‘!í[9]ŽŽ‘2ö P‘ÿe.–T?Idestam-Almquist.‘¼[Generalization“under“implication“bš²!y“using“or-in˜troMÞduction.‘¼[ÐPr‘ÿp¹o-Ž¡‘2ö c–ÿp¹e“e“dings–!of“the“Eur–ÿp¹op“e“an›!Confer“enc“e˜on˜Machine˜L“e“arning,‘IyECML-93Í.‘Ë Springer-V‘ÿeerlag,Ž¡‘2ö 1993.Ž¡‘sç[10]ŽŽ‘2ö P‘ÿe.–5øIdestam-Almquist.‘†—Generalization“under“implication:‘ýExpansion“of“clauses“for“in-Ž¡‘2ö direct‘Õ!roMÞots.‘fÐSc–ÿp¹andinavian›çConfer“enc“e˜on˜A¸\rti cial˜Intel‘Fligenc“e,‘ §SCAI-93Í.‘Õ!IOS‘ÕPress,Ž¡‘2ö 1993.Ž¡‘sç[11]ŽŽ‘2ö P‘ÿe.–ïñIdestam-Almquist.‘µêRecursivš²!e“an˜ti-uni cation.‘µêIn“S.Muggleton“(ed.)“ÐPr–ÿp¹o“c“e“e“dings‘.“ofŽ¡‘2ö the–—Thir›ÿp¹d“International“Workshop“on“Inductive“L˜o˜gic“Pr˜o˜gr˜ammingÍ.–ÉeJ.“Stefan“Institute,Ž¡‘2ö Ljubljana,›¦fSlo•²!v“enia,˜1993.ŽŸ34‘sçÒCon•¦ttact‘2P“ersonŽ¡‘sçÍCarl–¦fGustaf“JanssonŽ¡‘sçDepartmen²!t–¦fof“Computer“and“Systems“SciencesŽ¡‘sçKistag‘ú†fangen‘¦f16Ž¡‘sçS–¦f-“164“40“StoMÞc²!kholmŽ¡‘sçSw²!edenŽ¡‘sçPhone:‘ÝÝ+46–¦f8“161605Ž¡‘sçF‘ÿeax:‘ÝÝ+46–¦f8“7039025Ž¡‘sçE-mail:‘ÝÝcalle@dsv.su.seŽŽŽŒøFƒ’À;è‹ú-Οó'ò"V ó3 cmbx10ó%ý': ó3 cmti10ó"Kñ`y ó3 cmr10ùhßßßß