Frank van Harmelen

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare
Frank van Harmelen

Frank van Harmelen ( 1960 ) este informatician olandez . Profesor în domeniul inteligenței artificiale la Universitatea Vrije din Amsterdam și responsabil pentru proiectul LarKC [1]

Biografie

După ce a studiat matematica și informatica la Amsterdam, Van Harmelen a mers la departamentul de inteligență artificială de la Universitatea din Edinburgh , unde și-a luat doctoratul în lucrarea sa de raționament automat . Tot aici, „a dezvoltat un set de instrumente bazat pe logica sistemelor expert și a lucrat cu Alan Bundy la proba de proiectare a teoremei inductive.”

După doctorat, s-a întors la Amsterdam , unde a lucrat în perioada 1990-1995 în cadrul Departamentului SWI, sub îndrumarea profesorului Bob Wielinga, la utilizarea reflexelor de sistem expert și pe baza metodologiei CommonKADS pentru sistemele bazate pe cunoaștere. În 1995 s-a alăturat grupului de cercetare privind inteligența artificială a Universității Vrije, unde a fost unul dintre liderii proiectului On-To-Knowledge, unul dintre primele proiecte de semantică de pe web. A primit catedra în 2002 și a devenit lider al proiectului Cunoașterii.Reprezentare și raționament. Până în prezent, el este șeful proiectului LarKC.

În 2017 a fost ales membru al Koninklijke Nederlandse Akademie van Wetenschappen , o asociație de conducere a oamenilor de știință olandezi.

Locuri de munca

Cercetările sale includ inteligență artificială , reprezentare a cunoștințelor , semantică web, raționament aproximativ și protocoale medicale. A fost unul dintre co-proiectanții limbajului ontologic web și a stratului de inferență ontologică și a publicat cărți despre raționamentul automat, sistemele bazate pe cunoștințe și semantica web.

Publicații

Van Harmelen a publicat multe cărți și peste 100 de articole de cercetare. Cărți:

  • 1989. Reprezentarea cunoștințelor bazate pe logică . Cu P. Jackson și H. Reichgelt. The MIT Press, Cambridge, MA, 1989. ISBN 0-262-10038-X .
  • 1991. Sistemele de deducere a meta-nivelului F. van Harmelen. Note de cercetare privind inteligența artificială. Pitmann, Morgan Kaufmann, Londra, San Mateo, California, 1991. ISBN 1-55860-196-1
  • 2003. Către semantica web: managementul cunoștințelor ontologice Cu John Davies și Dieter Fensel (eds.) John Wiley & Sons, 2002, ISBN 0-470-84867-7
  • 2004. Un manual inductiv despre semantica web . Cu Grigoris Antoniou. Apăsați MIT. ISBN 0-262-01210-3
  • 2004. Informații despre semantica web . Cu Heiner Stuckenschmidt. Springer. ISBN 3-540-20594-2
  • 2008. Manual de reprezentare a cunoștințelor . Cu V. Lifschitz și B. Porter, Elsevier, 2008. ISBN 978-0-444-52211-5 .

Notă

  1. ^ Proiectul LarKC , la larkc.org .

Alte proiecte

linkuri externe

Controlul autorității VIAF (EN) 74.086.844 · ISNI (EN) 0000 0001 1574 7383 · LCCN (EN) n88278275 · Orcid (EN) 0000-0002-7913-0048 · GND (DE) 124 645 429 · BNF (FR) cb14523652m (dată) · WorldCat Identities ( EN ) lccn-n88278275
Biografii Portalul Biografiilor : accesați intrările Wikipedia care se ocupă de biografii