Kowalski, Robert

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 17 augusti 2017; kontroller kräver 13 redigeringar .
Robert Kowalski
Födelsedatum 15 maj 1941( 1941-05-15 ) (81 år)
Födelseort
Land
Vetenskaplig sfär Informatik
Arbetsplats
Alma mater
vetenskaplig rådgivare Bernard Meltzer [d] [1]
Utmärkelser och priser IJCAI Award for Research Excellence [d] ( 2011 ) Hej ACM

Robert Anthony Kowalski ( född 15 maj 1941 ) är en amerikansk logiker och vetenskapsman som tillbringade större delen av sin karriär i Storbritannien .

Utbildning

Han utbildades vid University of Chicago , University of Bridgeport (BS Mathematics, 1963), Stanford University (MS Mathematics, 1966), University of Warszawa och University of Edinburgh (Degree in Computer Science , 1970).

Karriär

Han var stipendiat vid University of Edinburgh (1970-75) och vid Imperial College London från 1975. 1999 blev han hedrad professor. Han gick snart med i American Association for the Advancement of Artificial Intelligence 1991, AI Coordinating Committee 1999 och Association for Computing Machinery 2001.

Robert började sin forskning inom området automatiska bevis [2] , som implementeras på programnivå . Den är baserad på den matematiska logikens apparatur . Han är dock mest känd för sitt bidrag till utvecklingen av logisk programmering , med början med Horns procedurtolkning . [3]

Han utvecklade också en minimal modell av Horns semantik med Maarten van Emden [4] . Tillsammans med Marek Sergot, utvecklade händelsekalkylen [5] och tillämpningen av logisk programmering på juridiska resonemang. [6] [7] och tillämpningen av logisk programmering för juridiska ändamål. Tillsammans med Farib Sadri utvecklade han agentmodellen [8] [9] där övertygelser representeras av logiska program och mål representeras av integritetsbegränsningar.

Kowalski var en av de första utvecklarna av abduktiv programmeringslogik , där logikprogram utökas med integritetsbegränsningar och med obestämda, abduktiva predikat. [10] [11] Detta arbete har visat att logik för standardresonemang kan ses som separata fall av antagandebaserad argumentation. [12] [13]

prolog

Utvecklingen av prologspråket började 1970 av Alan Culmeroe och Philippe Roussel. De ville skapa ett språk som kunde dra slutsatser från given text. Namnet Prolog är en förkortning för "Programmering i LOGic". Detta språk utvecklades i Marseille 1972. Kuznechnys upplösningsprincip verkade vara en lämplig modell för att utveckla en inferensmotor. Med resolutionsbegränsningen på Horns klausul resulterade enande i ett effektivt system där oöverstiglig icke-determinism hanterades med en bakåtspårningsprocess som lätt kunde implementeras. Upplösningsalgoritmen gjorde det möjligt att skapa en exekverbar sekvens som behövs för att implementera specifikationer som relationen ovan.

Den första implementeringen av Prolog-språket med hjälp av Wirths ALGOL-W- kompilator slutfördes 1972, och grunden till det moderna språket lades 1973. Användningen av Prolog spred sig gradvis bland dem som arbetar med logisk programmering, främst genom personliga kontakter, och inte genom produktkommersialisering . För närvarande finns det flera olika, men väldigt lika versioner. Även om det inte finns någon standard för Prolog-språket har versionen som utvecklats vid University of Edinburgh blivit den mest använda varianten. Bristen på utveckling av effektiva Prolog-applikationer höll tillbaka dess antagande fram till 1980-talet.

Böcker

Se även

Anteckningar

  1. ↑ 1 2 Matematisk genealogi  (engelska) - 1997.
  2. ↑ Kowalski, R. och Kuehner, D., "Linjär upplösning med urvalsfunktion" i artificiell intelligens, vol. 2, 1971 227-260. Omtryckt i Anthology of Automated Theorem-Proving Papers, Vol. 2, Springer-Verlag , 1983, 542-577.
  3. ↑ Kowalski, R., "Predicate Logic as Programming Language", i Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, 569-574. Omtryckt i Computers for Artificial Intelligence Applications, (red. Wah, B. och Li, G.-J.), IEEE Computer Society Press , Los Angeles, 1986, 68-73.
  4. ↑ van Emden, M. och Kowalski, R., "The Semantics of Predicate Logic as a Programming Language", i "Journal of the ACM", Vol. 23, nr 4, 1976, 733-742.
  5. ↑ Kowalski, R. och Sergot, M., "A Logic-Based Calculus of Events", i " New Generation Computing ", Vol. 4, nr 1, februari 1986, 67-95. Även i "Knowledge Base Management-Systems", (red. C. Thanos och JW Schmidt), Springer-Verlag, gg. 23-51. Även i The Language of Time: A Reader (red. Inderjeet Mani, J. Pustejovsky och R. Gaizauskas). Oxford University Press , 2005.
  6. ↑ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. och Cory, T., "The British Nationality Act as a Logic Program", i " Communications of the ACM " Vol. 29, nr 5, 1986, 370-386.
  7. ↑ Kowalski, R., Legislation as Logic Programs, in Logic Programming in Action (red. G. Comyn, NE Fuchs, MJ Ratcliffe), Springer-Verlag, 1992, 203-230.
  8. ↑ Kowalski, R., "Att använda Metalogic för att förena med reaktiva rationella medel". I "Meta-Logics and Logic Programming" (K. och Apt F. Turini, red.), MIT Press , 1995.
  9. ↑ Kowalski, R. och Sadri, F., "From Logic Programming to Multi-agent Systems", " Annals of Mathematics and Artificial Intelligence ", Volym 25 (1999), 391-419.
  10. ↑ Eshghi, K. och Kowalski, R., "Abduktion genom avdrag". Institutionen för databehandling, Imperial College, 1988.
  11. ↑ Kakas, T., Kowalski, K. och Toni, F., "Abductive Logic Programming". " Journal of Logic and Computation ", 1992, vol. 2 nr 6, sid. 719-770.
  12. ↑ Bondarenko, A., Dung, PM, Kowalski, R. och Toni, F. An Abstract Argumentation-theoretic Approach to Default Reasoning". " Journal of Artificial Intelligence ", 93(1-2), 1997, sid 63-101.
  13. ↑ Dung, PM, Kowalski, R. och Toni, F. Dialektiska bevisprocedurer för antagandebaserad, tillåtlig argumentation. Journal of Artificial Intelligence, 170(2), februari 2006, 114-159.

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk