Kowalski, Robert

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt hozzászólók, és jelentősen eltérhet a 2017. augusztus 17-én felülvizsgált verziótól ; az ellenőrzések 13 szerkesztést igényelnek .
Robert Kowalski
Születési dátum 1941. május 15.( 1941-05-15 ) (81 évesen)
Születési hely
Ország
Tudományos szféra Informatika
Munkavégzés helye
alma Mater
tudományos tanácsadója Bernard Meltzer [d] [1]
Díjak és díjak IJCAI-díj a kutatási kiválóságért [d] ( 2011 ) Kedves ACM

Robert Anthony Kowalski ( született: 1941. május 15. ) amerikai logikus és tudós, aki karrierje nagy részét az Egyesült Királyságban töltötte .

Oktatás

Tanulmányait a Chicagói Egyetemen , a Bridgeporti Egyetemen (BS Mathematics, 1963), a Stanford Egyetemen (MS Mathematics, 1966), a Varsói Egyetemen és az Edinburghi Egyetemen végezte ( számítástechnikai diploma , 1970).

Karrier

Az Edinburgh-i Egyetemen (1970-75) és 1975-től az Imperial College Londonban volt ösztöndíjas. 1999-ben kitüntetett professzor lett. Hamarosan 1991-ben csatlakozott az American Association for the Advancement of Artificial Intelligence -hez, 1999-ben az AI Koordinációs Bizottsághoz és 2001-ben az Association for Computing Machinery -hez.

Robert az automatikus bizonyítások [2] területén kezdte kutatásait , melyeket programszinten valósítanak meg . A matematikai logika apparátusán alapul . Leginkább azonban a logikai programozás fejlesztéséhez való hozzájárulásáról ismert , kezdve Horn eljárási értelmezésével . [3]

Maarten van Emdennel [4] is kidolgozta a Horn-szemantika minimális modelljét . Marek Sergottal együtt kidolgozta az eseményszámítást [5] és a logikai programozás alkalmazását a jogi érvelésre. [6] [7] és a logikai programozás alkalmazása jogi célokra. Farib Sadrival kidolgozta az ügynökmodellt [8] [9] , amelyben a hiedelmeket logikai programok, a célokat pedig integritási megszorítások képviselik.

Kowalski volt az egyik első abduktív programozási logika fejlesztője , ahol a logikai programokat integritási megszorításokkal és határozatlan, abduktív predikátumokkal egészítették ki. [10] [11] Ez a munka bebizonyította, hogy az alapértelmezett érvelés logikája a feltételezéseken alapuló érvelés külön eseteinek tekinthető. [12] [13]

prológus

A Prolog nyelv fejlesztését 1970-ben Alan Culmeroe és Philippe Roussel kezdte. Olyan nyelvet akartak létrehozni, amely az adott szövegből következtetéseket tud levonni. A Prolog név a „PROGRAMING in LOGic” rövidítése. Ezt a nyelvet Marseille-ben fejlesztették ki 1972-ben. Kuznechny felbontási elve megfelelő modellnek tűnt a következtetési motor kifejlesztéséhez. A Horn-klauzula felbontási megszorításával az egységesítés egy hatékony rendszert eredményezett, ahol a leküzdhetetlen non-determinizmust egy könnyen megvalósítható visszalépési folyamattal kezelték. A felbontási algoritmus lehetővé tette a fenti relációhoz hasonló specifikációk megvalósításához szükséges végrehajtható sorozat létrehozását.

A Prolog nyelv első implementációja Wirth ALGOL-W fordítójával 1972-ben fejeződött be, a modern nyelv alapjait pedig 1973-ban rakták le. A Prolog használata fokozatosan terjedt el a logikai programozással foglalkozók körében, elsősorban személyes kapcsolatok révén, és nem a termék kereskedelmi forgalomba hozatala révén. Jelenleg több különböző, de nagyon hasonló verzió létezik. Bár a Prolog nyelvre nincs szabvány, az Edinburgh-i Egyetemen kifejlesztett változat lett a legszélesebb körben használt változat. A hatékony Prolog-alkalmazások fejlesztésének hiánya az 1980-as évekig hátráltatta annak elfogadását.

Könyvek

Lásd még

Jegyzetek

  1. ↑ 1 2 Matematikai genealógia  (angol) - 1997.
  2. ↑ Kowalski, R. és Kuehner, D., "Linear Resolution with Selection Function" in Artificial Intelligence, Vol. 2, 1971 227-260. Újranyomva: Anthology of Automated Theorem-Proving Papers, Vol. 2, Springer-Verlag , 1983, 542-577.
  3. ↑ Kowalski, R., "Predikátum logika mint programozási nyelv", Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, 569-574. Újranyomva: Computers for Artificial Intelligence Applications, (szerk. Wah, B. és Li, G.-J.), IEEE Computer Society Press , Los Angeles, 1986, 68-73.
  4. ↑ van Emden, M. és Kowalski, R., "The Semantics of Predicate Logic as a Programming Language", in "Journal of the ACM", Vol. 23, 1976. 4. szám, 733-742.
  5. ↑ Kowalski, R. és Sergot, M., "A Logic-based Calculus of Events", in " New Generation Computing ", Vol. 4, 1. szám, 1986. február, 67-95. Szintén a "Knowledge Base Management-Systems"-ben (szerk.: C. Thanos és JW Schmidt), Springer-Verlag, gg. 23-51. Szintén Az idő nyelve: Olvasó (szerk.: Inderjeet Mani, J. Pustejovsky és R. Gaizauskas). Oxford University Press , 2005.
  6. ↑ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. és Cory, T., "The British Nationality Act as a Logic Program", in " Communications of the ACM " , Vol. 29, 1986. 5. szám, 370-386.
  7. ↑ Kowalski, R., Legislation as Logic Programs, in Logic Programming in Action (szerk.: G. Comyn, NE Fuchs, MJ Ratcliffe), Springer-Verlag, 1992, 203-230.
  8. ↑ Kowalski, R., "A Metalogic használata a reaktív racionális ágensekkel való megbékéléshez". In "Meta-Logics and Logic Programming" (K. and Apt F. Turini, szerk.), MIT Press , 1995.
  9. ↑ Kowalski, R. és Sadri, F., "From Logic Programming to Multi-agent Systems", " Annals of Mathematics and Artificial Intelligence ", 25. kötet (1999), 391-419.
  10. ↑ Eshghi, K. és Kowalski, R., "Abduction through deduction". Az Imperial College számítástechnikai tanszéke, 1988.
  11. ↑ Kakas, T., Kowalski, K. és Toni, F., "Abductive Logic Programming". „ Journal of Logic and Computation ”, 1992, 1. évf. 2 6. szám, pp. 719-770.
  12. ↑ Bondarenko, A., Dung, PM, Kowalski, R. és Toni, F. An abstract argumentation-theoretic Approach to Default Reasoning". " Journal of Artificial Intelligence ", 93(1-2), 1997, 63-101.
  13. ↑ Dung, PM, Kowalski, R. és Toni, F. Dialektikus bizonyítási eljárások feltételezéseken alapuló, elfogadható érveléshez. Journal of Artificial Intelligence, 170(2), 2006. február, 114-159.

Linkek

  Ugrás a Wikidata elemre  Tematikus oldalak
Szótárak és enciklopédiák