÷ƒ’À;è TeX output 1994.05.24:1441‹ÿÿÿÿ ‹ú- ýW‘ì Šn ý‘ì‘eyïó'ò"V ó3 cmbx10ÒGerman–2National“Researcš¦th“Cen˜ter“for“Computer“Science“(GMD)Ž¤ ™š’Çã(Arti cial–2Inš¦ttelligence“Researc˜h“Division“(I3.KI)Ž¡’x ¯Sankt‘2AugustinŽ¡’›NÁGerman¦tyŽŸ&ç‘sçResearc¦thersŽ¡‘sçó"Kñ`y ó3 cmr10ÍW‘ÿeerner– AEmde,›Þ¸J‘ú†forg-Uw²!e“Kietz,˜Edgar“Sommer,˜Stefan“W‘ÿerobMÞel,˜Roman“Englert,˜MarkusŽ¡‘sçL•MÞ‘ú8ˆubb“e,–¦fKatharina“Morik“(consultan²!t).Ž©34‘sçÒILP‘2AreasŽ¡‘sçÍConcept–öformation,›Conceptual“clustering,˜Declarativ²!e“bias,˜Kno²!wledge“acquisition,˜P‘ÿeA²!C-Ž¡‘sçlearnabilit•²!y‘ÿe,›¦fRepresen“tation˜and˜inference,˜Theory˜restructuring,˜Theory˜revision.Ž¦‘sçÒDescription–2of“Researc¦thŽ¡¡‘-sçÍThe–ÂOresearcš²!h“of“the“Mac˜hine“Learning“group“at“GMD‘Âco˜v˜ers“a“broad“range“of“topics“fromŽ¡‘sçtheory–Ðéof“ILP‘ÐÞto“applications“of“ILP‘ÿe.“The“group“dev²!elopMÞed“óHŒ-ø ó3 cmcsc10ëHMobalÍ,‘ÛŠa“system“for“building,Ž¡‘sçv‘ÿdDalidating,‘gand–¼Ímain²!taining“opšMÞerational“mo˜dels“of“application“domains“[6Ž‘yš].‘!It“in²!tegratesŽ¡‘sça–._manš²!ual“kno˜wledge“acquisition“and“inspMÞection“en˜vironmen˜t,‘P]a“pMÞo˜w˜erful“inference“engine,Ž¡‘sçinduction–õprograms“for“automated“kno²!wledge“acquisition,‘7¥a“concept“formation“toMÞol“[10Ž‘ ó4]“andŽ¡‘sça–’Bknoš²!wledge“revision“toMÞol“[9Ž‘yš].‘¡rIn“the“curren˜t“release“3.0,‘Í9ëHMobal“Ícan“also“bMÞe“seen“as“anŽ¡‘sçILP‘ü´to•MÞolb“oš²!x,‘csince–üÊthe“external“toMÞol“facilit˜y“allo˜ws“foreign“ILP‘ü´induction“algorithms“to“bMÞeŽ¡‘sçcoupled–=Owith“ëHMobal“Íand“used“within“ëHMobal‘ÿE's“Íknoš²!wledge“represen˜tation“and“inspMÞectionŽ¡‘sçen•²!vironmen“t.‘;1The–Å‚publicly“aš²!v‘ÿdDailable“releaseŸü¾ó |{Ycmr8¸1ŽŽ‘…†Íof“ëHMobal“Íincludes“in˜terfaces“to“ëHGolem“Í(de-Ž¡‘sçv²!elopšMÞed–Í9at“the“ILPNet-no˜de“Oxford),‘íëHGrdt“Í(dev²!elop˜ed“at“the“ILPNet-no˜de“Dortm²!und)Ž¡‘sçand–suëHF®=oil“Í(dev²!elopMÞed“at“Univ.›Ìâof“Sydney).˜The“external“tošMÞol“concept“has“also“b˜een“used“toŽ¡‘sçinš²!tegrate–ãOGMD's“o˜wn“algorithms“ëHIncy“Í[7Ž›yš],‘ò‰ëHLink“Í[8Ž˜]“and“ëHCola“Í[1Ž˜].‘”˜ëHMobal“Íhas“bMÞeen“usedŽ¡‘sçto–¦fmoMÞdel“v‘ÿdDarious“real-w²!orld“domains.Ž¡‘-sçAnother– Üsystem“dev²!elopMÞed“at“GMD‘ Âis“ëHKlusterÍ.‘@This“system“is“capable“of“learning“aŽ¡‘sçconcept–-Ístructure“in“the“framewš²!ork“of“term“subsumption“formalisms“[4Ž‘yš].‘µªThe“w˜ork“on“theo-Ž¡‘sçretical–Fissues“of“ILP‘Fxhas“lead“to“sevš²!eral“proMÞofs“concerning“the“P‘ÿeA˜C-learnabilit˜y“of“restrictedŽ¡‘sçclasses–¦fof“logic“programs“[3Ž‘yš,“2Ž› ,“5Ž˜].Ž¡‘-sçCurren•²!t›k·w“ork˜in˜theory˜revision˜hinges˜on˜the˜iden“ti cation˜and˜resolution˜of˜con“tra-Ž¡‘sçdictions.‘^#Based–{Óon“the“notion“of“minimal“base“revision,‘±-means“for“conš²!trolling“the“c˜hoiceŽ¡‘sçamong–xminimal“revisions“are“bMÞeing“in•²!v“estigated.‘RäF‘ÿeuture›xresearc“h˜will˜go˜in˜the˜directionŽ¡‘sçof–˜represenš²!tation“c˜hange“and“theory“restructuring.‘ÙW‘ÿee“will“in˜v˜estigate“means“of“impro˜vingŽ¡‘sçthe–! structure“of“a“theory‘ÿe,‘;Èfor“instance“to“makš²!e“it“more“coheren˜t“or“more“ecien˜t.‘±qThis“w˜orkŽ¡‘sçis–—2to“progress“in“t•²!w“o–—2steps:‘ÖCin“the“ rst,‘š=means“of“pšMÞerforming“user-sp˜eci ed“transformationsŽ¡‘sçof–¦da“theory“will“bšMÞe“in•²!v“estigated,–¦dculminating“in“the“implemen²!tation“of“metho˜ds“for“man²!ualŽ¡‘sçtheory–Ætransformation.‘«¨In“the“second“step,‘-æcriteria“for“automatic“restructuring“of“ rst-orderŽ¡‘sçtheories–¦fwill“bšMÞe“dev²!elop˜ed“and“implemen²!ted.Ž¦‘sçÒRecen¦tt‘2PublicationsŽ¡‘!íÍ[1]ŽŽ‘2ö W.–ÓEmde.‘_»Inductivš²!e“learning“of“c˜haracteristic“concept“descriptions“from“small“sets“ofŽ¡‘2ö classi ed–"zexamples.‘©òIn“F.“Bergadano,‘<ÜL.“De“Raedt“(eds.)“ó%ý': ó3 cmti10ÐPr–ÿp¹o“c.–qŒSeventh“Eur–ÿp¹op“e“an‘qŒCon-Ž‘sçŸ Ó‰ff­rŸ LÍ‘ {ºŸü-=ó¹Aa¨cmr6¯1ŽŽ‘¦aóo´‹Ç cmr9½GMD‘#¨gran¾9ts–#¬a“cost-free“license“to“use“Mobal“for“academic“purpšAÇoses.‘GwThe“system“can“b˜e“obtained“fromŽŸ ftp.gmd.de,–Tdirectory“/GMD/mlt/Mobal.ŽŽŽŒ‹* ‹ú- ýW‘ì Šn ý‘ì‘2ö Ðfer–ÿp¹enc“e–÷üon“Machine“L–ÿp¹e“arning,‘(“ECML-94Í.–žXSpringer-V‘ÿeerlag,‘Ó(1994.‘yAlso“as“ArbMÞeitspapiereŽ¤ ™š‘2ö der–¦fGMD“No.“821.Ž¡‘!í[2]ŽŽ‘2ö J.-U.–iœKietz.‘ |A‘ijcomparativ²!e“study“of“structural“most“spMÞeci c“generalizations“used“inŽ¡‘2ö mac²!hine‘¯learning.‘ôžÐPr–ÿp¹o“c.–òçof“3th“Inductive“L–ÿp¹o“gic›òçPr“o“gr“amming˜Workshop,‘ôæILP-93Í,‘±@149{Ž¡‘2ö 164,–¦f1993.‘ÚÀAlso“as“ArbMÞeitspapiere“der“GMD“No.“667.Ž¡‘!í[3]ŽŽ‘2ö J.-U.–XÌKietz.‘îbSome“lo•²!w“er–XÌbMÞounds“for“the“computational“complexitš²!y“of“inductiv˜e“logicŽ¡‘2ö programming.‘‚UÐPr–ÿp¹o“c.– Sixth“Eur–ÿp¹op“e“an› Confer“enc“e˜on˜Machine˜L“e“arning,‘;ECML-93Í,‘ç3115{Ž¡‘2ö 123.–¦fSpringer-V‘ÿeerlag,“1993.‘ÚÀAlso“as“ArbMÞeitspapiere“der“GMD“No.“718.Ž¡‘!í[4]ŽŽ‘2ö J.-U.–ÉKietz,‘ÑÁK.“Morik.‘BA‘É pMÞolynomial“approacš²!h“to“the“constructiv˜e“induction“of“struc-Ž¡‘2ö tural›¦fkno²!wledge.‘ÚÀÐMachine‘êêL–ÿp¹e“arning˜Í14,˜193{217,˜1994.Ž¡‘!í[5]ŽŽ‘2ö J.-U.–³Kietz,‘,†S.“D²#‘úÔCzeroski.‘ƒInductivš²!e“logic“programming“and“learabilit˜y‘ÿe.‘ƒÐSIGAR‘ÿ)T‘MˆBul-Ž¡‘2ö letin–¦fÍ5“(1),“22-32,“1994.Ž¡‘!í[6]ŽŽ‘2ö K.–_Morik,›_S.“W‘ÿerobMÞel,˜J.-U.“Kietz,˜W.“Emde.‘öKnoš²!wledge“Acquisition“and“Mac˜hineŽ¡‘2ö Learning–¦f-“Theory‘ÿe,“MethoMÞds,“and“Applications.‘ÚÀAcademic“Press,“London,“1993.Ž¡‘!í[7]ŽŽ‘2ö E.›"–Sommer.‘©üCo•MÞop“eration˜of˜data-driv²!en˜and˜mo“del-based˜metho“ds˜for˜relational˜learn-Ž¡‘2ö ing.‘ȸIn–u©R.S.“Mic²!halski,‘hG.“T‘ÿeecuci“(eds.)“ÐSe–ÿp¹c“ond–¾International“Workshop“on“Multistr‘ÿp¹at-Ž¡‘2ö e–ÿp¹gy‘êêL“e“arningÍ,–¦fHarpMÞers“F–ÿeerry“,›¦fW“est˜Virginia,˜USA,˜1993.Ž¡‘!í[8]ŽŽ‘2ö E.– Sommer.›)ùLearning“relations“without“closing“the“w²!orld.˜In“F.“Bergadano,Ž¡‘2ö L.–‚ŸDe“Raedt“(eds.)“ÐPr–ÿp¹o“c.–ÉÿSeventh“Eur–ÿp¹op“e“an›ÉÿConfer“enc“e˜on˜Machine˜L“e“arning,‘ЕECML-Ž¡‘2ö 94Í.–¦fSpringer-V‘ÿeerlag,“1994.Ž¡‘!í[9]ŽŽ‘2ö S.–ÞW‘ÿerobšMÞel.‘œOn“the“prop˜er“de nition“of“minimalit²!y“in“sp˜ecialization“and“theory“revision.Ž¡‘2ö ÐPr–ÿp¹o“c.–Õ)Sixth“Eur–ÿp¹op“e“an›Õ)Confer“enc“e˜on˜Machine˜L“e“arning,‘¸ECML-93Í,‘ä«65{82.‘¥Springer-Ž¡‘2ö V‘ÿeerlag,–¦f1993.‘ÚÀAlso“as“ArbMÞeitspapiere“der“GMD“No.“730.Ž¡‘sç[10]ŽŽ‘2ö S.–RW‘ÿerobMÞel.›ÚjConcept“formation“during“in•²!teractiv“e–Rtheory“revision.˜ÐMachine‘ˆàL–ÿp¹e“arningŽ¡‘2ö Í14,–¦f169{191,“1994.ŽŸ34‘sçÒCon•¦ttact‘2P“ersonŽ¡‘sçÍStefan‘¦fW‘ÿerobMÞelŽ¡‘sçGMD–¦f(German“National“Researcš²!h“Cen˜ter“for“Computer“Science)Ž¡‘sçArti cial–¦fInš²!telligence“Researc˜h“Division“(I3.KI)Ž¡‘sçSc•²!hloss‘¦fBirlingho“v“enŽ¡‘sçD-53754–¦fSankt“AugustinŽ¡‘sçGerman²!yŽ¡‘sçPhone:‘ÝÝ++49–¦f(2241)“14-1Ž¡‘sçF‘ÿeax:‘ÝÝ++49–¦f(2241)“14-2072Ž¡‘sçE-mail:‘ÝÝstefan.wrobMÞel@gmd.deŽŽŽŒøoƒ’À;è‹ú-ΟóHŒ-ø ó3 cmcsc10ó'ò"V ó3 cmbx10ó%ý': ó3 cmti10ó"Kñ`y ó3 cmr10óo´‹Ç cmr9ó |{Ycmr8ó¹Aa¨cmr6ù°ßßßßß