Kowalski, Robert

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 17. elokuuta 2017 tarkistetusta versiosta . tarkastukset vaativat 13 muokkausta .
Robert Kowalski
Syntymäaika 15. toukokuuta 1941( 15.5.1941 ) (81-vuotiaana)
Syntymäpaikka
Maa
Tieteellinen ala Informatiikka
Työpaikka
Alma mater
tieteellinen neuvonantaja Bernard Meltzer [d] [1]
Palkinnot ja palkinnot IJCAI Award for Research Excellence [d] ( 2011 ) Hyvä ACM

Robert Anthony Kowalski ( s. 15. toukokuuta 1941 ) on amerikkalainen logiikka ja tiedemies, joka vietti suurimman osan urastaan ​​Isossa- Britanniassa .

Koulutus

Hän sai koulutuksen Chicagon yliopistossa , Bridgeportin yliopistossa (BS Mathematics, 1963), Stanfordin yliopistossa (MS Mathematics, 1966), Varsovan yliopistossa ja Edinburghin yliopistossa ( tietokonetieteen tutkinto , 1970).

Ura

Hän oli stipendiaatti Edinburghin yliopistossa (1970-75) ja Imperial Collegessa Lontoossa vuodesta 1975. Vuonna 1999 hänestä tuli kunniaprofessori. Pian hän liittyi American Association for the Advancement of Artificial Intelligence -järjestöön vuonna 1991, AI-koordinointikomiteaan vuonna 1999 ja Association for Computing Machinery -järjestöön vuonna 2001.

Robert aloitti tutkimuksensa automaattisten todisteiden alalla [2] , joka toteutetaan ohjelmatasolla . Se perustuu matemaattisen logiikan laitteistoon . Hänet tunnetaan kuitenkin parhaiten panoksestaan ​​logiikan ohjelmoinnin kehittämiseen alkaen Hornin proseduuritulkinnasta . [3]

Hän kehitti myös minimaalisen Hornin semantiikan mallin Maarten van Emdenin kanssa [4] . Marek Sergotin kanssa kehitti tapahtumalaskennan [5] ja logiikan ohjelmoinnin soveltamisen oikeudelliseen päättelyyn. [6] [7] ja logiikkaohjelmoinnin soveltaminen laillisiin tarkoituksiin. Farib Sadrin kanssa hän kehitti agenttimallin [8] [9] , jossa uskomuksia edustavat logiikkaohjelmat ja tavoitteet eheysrajoitukset.

Kowalski oli yksi ensimmäisistä abduktiivisen ohjelmointilogiikan kehittäjistä , jossa logiikkaohjelmia on täydennetty eheysrajoitteilla ja määrittelemättömillä abduktiivisilla predikaatteilla. [10] [11] Tämä työ on osoittanut, että oletuspäättelyn logiikka voidaan nähdä erillisinä oletuspohjaisen argumentoinnin tapauksina. [12] [13]

prologi

Prolog-kielen kehittämisen aloittivat vuonna 1970 Alan Culmeroe ja Philippe Roussel. He halusivat luoda kielen, joka voisi tehdä johtopäätöksiä annetusta tekstistä. Nimi Prolog on lyhenne sanoista "PROgramming in LOGic". Tämä kieli kehitettiin Marseillessa vuonna 1972. Kuznechnyn resoluutioperiaate vaikutti sopivalta mallilta päättelymoottorin kehittämiseen. Hornin lausekkeen resoluutiorajoituksen myötä yhdistäminen johti tehokkaaseen järjestelmään, jossa ylitsepääsemätön epädeterminismi käsiteltiin helposti toteutettavissa olevalla backtracking-prosessilla. Resoluutioalgoritmi mahdollisti suoritettavan sekvenssin luomisen, joka tarvitaan yllä olevan suhteen toteuttamiseen.

Prolog-kielen ensimmäinen toteutus Wirthin ALGOL-W- kääntäjällä valmistui vuonna 1972, ja nykykielelle luotiin perusta vuonna 1973. Prologin käyttö levisi vähitellen logiikkaohjelmointiin osallistuvien keskuudessa pääasiassa henkilökohtaisten kontaktien kautta, eikä tuotteiden kaupallistamisen kautta. Tällä hetkellä on olemassa useita erilaisia, mutta hyvin samankaltaisia ​​versioita. Vaikka Prolog-kielelle ei ole standardia, Edinburghin yliopistossa kehitetystä versiosta on kuitenkin tullut laajimmin käytetty versio. Tehokkaiden Prolog-sovellusten kehittämisen puute jarrutti sen käyttöönottoa 1980-luvulle asti.

Kirjat

Katso myös

Muistiinpanot

  1. ↑ 1 2 Matemaattinen sukututkimus  (englanniksi) - 1997.
  2. ↑ Kowalski, R. ja Kuehner, D., "Linear Resolution with Selection Function" julkaisussa Artificial Intelligence, Voi. 2, 1971 227-260. Uudelleenpainettu julkaisussa Anthology of Automated Theorem-Proving Papers, Voi. 2, Springer-Verlag , 1983, 542-577.
  3. ↑ Kowalski, R., "Predicate Logic as Programming Language", julkaisussa Proceedings IFIP Congress, Tukholma, North Holland Publishing Co., 1974, 569-574. Uusintapainos julkaisussa Computers for Artificial Intelligence Applications, (toim. Wah, B. ja Li, G.-J.), IEEE Computer Society Press , Los Angeles, 1986, 68-73.
  4. ↑ van Emden, M. ja Kowalski, R., "The Semantics of Predicate Logic as a Programming Language", julkaisussa "Journal of the ACM", Voi. 23, nro 4, 1976, 733-742.
  5. ↑ Kowalski, R. ja Sergot, M., "A Logic-based Calculus of Events", julkaisussa " New Generation Computing ", voi. 4, nro 1, helmikuu 1986, 67-95. Myös julkaisussa "Knowledge Base Management-Systems", (toim. C. Thanos ja JW Schmidt), Springer-Verlag, gg. 23-51. Myös teoksessa The Language of Time: A Reader (toim. Inderjeet Mani, J. Pustejovsky ja R. Gaizauskas). Oxford University Press , 2005.
  6. ↑ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. ja Cory, T., "The British Nationality Act as a Logic Program", julkaisussa " Communications of the ACM " , Voi. 29, nro 5, 1986, 370-386.
  7. ↑ Kowalski, R., Legislation as Logic Programs, in Logic Programming in Action (toim. G. Comyn, NE Fuchs, MJ Ratcliffe), Springer-Verlag, 1992, 203-230.
  8. ↑ Kowalski, R., "Metalogiikan käyttäminen sovintoon reaktiivisten rationaalisten tekijöiden kanssa". Teoksessa "Meta-Logics and Logic Programming" (K. ja Apt F. Turini, toim.), MIT Press , 1995.
  9. ↑ Kowalski, R. ja Sadri, F., "From Logic Programming to Multi-agent Systems", " Annals of Mathematics and Artificial Intelligence ", Volume 25 (1999), 391-419.
  10. ↑ Eshghi, K., ja Kowalski, R., "Abduction through deduction". Imperial Collegen tietojenkäsittelyn laitos, 1988.
  11. ↑ Kakas, T., Kowalski, K. ja Toni, F., "Abductive Logic Programming". " Journal of Logic and Computation ", 1992, Voi. 2 nro 6, s. 719-770.
  12. ↑ Bondarenko, A., Dung, PM, Kowalski, R. ja Toni, F. Abstract Argumentation-theoretic Approach to Default Reasoning". " Journal of Artificial Intelligence ", 93(1-2), 1997, s. 63-101.
  13. ↑ Dung, PM, Kowalski, R. ja Toni, F. Dialektiset todistusmenettelyt olettamuksiin perustuvalle, hyväksyttävälle argumentaatiolle. Journal of Artificial Intelligence, 170(2), helmikuu 2006, 114-159.

Linkit

  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat