Raymond Reiter - Raymond Reiter
Raymond Reiter | |
---|---|
narozený | 12. června 1939 |
Zemřel | 16. září 2002 | (ve věku 63)
Alma mater | Michiganská univerzita (PhD) |
Ocenění | Člen ACM Člen AAAI Cena IJCAI za vynikající výzkum |
Vědecká kariéra | |
Pole | Non-monotónní logika |
Instituce | University of Toronto |
Teze | Studie modelu pro paralelní výpočty (1967) |
Doktorský poradce | Harvey Garner Richard M. Karp[1] |
Doktorandi | Sheila McIlraith[1][2] |
Raymond Reiter FRSC (/ˈraɪt.r/; 12. června 1939 - 16. září 2002) byl a kanadský počítačový vědec a logik. Byl jedním ze zakladatelů oboru ne monotónní uvažování s jeho prací na výchozí logika, modelová diagnostika, uvažování uzavřeného světa, a systémy údržby pravdy. Přispěl také do situační kalkul.[3][1][4][5]
Ceny a vyznamenání
Byl Chlapík z Sdružení pro výpočetní techniku (ACM), an Člen AAAI a Člen Královské společnosti v Kanadě. Vyhrál Cena IJCAI za vynikající výzkum v roce 1993.
Publikace
- R. Reiter (1978). V uzavřených databázích světa. V editorech H. Gallaire a J. Minker, Logika a databáze, strany 119-140. Plenum., New York.
- R. Reiter (1980). Logika pro výchozí uvažování. Umělá inteligence, 13:81-132.
- R. Reiter (1987). Teorie diagnostiky od prvních principů. Umělá inteligence, 32:57-95.
- R. Reiter (1991). Problém rámce v situačním kalkulu: jednoduché řešení (někdy) a výsledek úplnosti pro regresi cíle. V editoru Vladimíra Lifschitze, Umělá inteligence a matematická teorie výpočtu: Příspěvky na počest Johna McCarthyho, strany 359-380. Academic Press, New York.
- R. Reiter (2001) Znalosti v akci: Logické základy pro specifikaci a implementaci dynamických systémů (448 stran). MIT Press, Cambridge, Massachusetts a Londýn, Anglie.
- R. Reiter a J. de Kleer (1987). Základy systémů údržby pravdy založených na předpokladech: Předběžná zpráva. v Sborník ze šesté národní konference o umělé inteligenci (AAAI'87), strany 183-188.
- H. Levesque, F. Pirri a R. Reiter (1998). Základy situačního počtu Elektronické transakce o umělé inteligenci, 2(3–4):159-178.
- F. Pirri a R. Reiter (1999). Některé příspěvky do metateorie situačního kalkulu Deník ACM, 46(3):325–361. doi:10.1145/316542.316545
Reference
- ^ A b C Raymond Reiter na Matematický genealogický projekt
- ^ McIlraith, Sheila Ann (1997). Směrem k formálnímu popisu řešení diagnostických problémů. utoronto.ca (Disertační práce). hdl:1807/10895. OCLC 46561408.
- ^ Raymond Reiter na DBLP Bibliografický server
- ^ In Memoriam - Raymond Reiter, Jack Minker
- ^ Na památku Raye Reitera (1939-2002)
Tento životopisný článek týkající se kanadského počítačového specialisty je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |