Kowalski, Robert

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 17. august 2017; checks kræver 13 redigeringer .
Robert Kowalski
Fødselsdato 15. maj 1941( 1941-05-15 ) (81 år)
Fødselssted
Land
Videnskabelig sfære Informatik
Arbejdsplads
Alma Mater
videnskabelig rådgiver Bernard Meltzer [d] [1]
Priser og præmier IJCAI Award for Research Excellence [d] ( 2011 ) Hej ACM

Robert Anthony Kowalski ( født 15. maj 1941 ) er en amerikansk logiker og videnskabsmand, der tilbragte det meste af sin karriere i Storbritannien .

Uddannelse

Han blev uddannet ved University of Chicago , University of Bridgeport (BS Mathematics, 1963), Stanford University (MS Mathematics, 1966), University of Warszawa og University of Edinburgh (Degree in Computer Science , 1970).

Karriere

Han var stipendiat ved University of Edinburgh (1970-75) og ved Imperial College London fra 1975. I 1999 blev han hædret professor. Han sluttede sig snart til American Association for the Advancement of Artificial Intelligence i 1991, AI Coordinating Committee i 1999 og Association for Computing Machinery i 2001.

Robert begyndte sin forskning inden for automatiske beviser [2] , som er implementeret på programniveau . Den er baseret på matematisk logiks apparat . Han er dog bedst kendt for sit bidrag til udviklingen af ​​logisk programmering , begyndende med Horns proceduremæssige fortolkning . [3]

Han udviklede også en minimal model for Horn-semantik med Maarten van Emden [4] . Med Marek Sergot, udviklede beregningen af ​​hændelser [5] og anvendelsen af ​​logisk programmering til juridisk ræsonnement. [6] [7] og anvendelsen af ​​logisk programmering til juridiske formål. Sammen med Farib Sadri udviklede han agentmodellen [8] [9] , hvor overbevisninger er repræsenteret af logiske programmer og mål er repræsenteret af integritetsbegrænsninger.

Kowalski var en af ​​de første udviklere af abduktiv programmeringslogik , hvor logiske programmer er udvidet med integritetsbegrænsninger og med ubestemte, abduktive prædikater. [10] [11] Dette arbejde har vist, at logik for standardræsonnementer kan ses som separate tilfælde af antagelsesbaseret argumentation. [12] [13]

prolog

Udviklingen af ​​Prolog-sproget begyndte i 1970 af Alan Culmeroe og Philippe Roussel. De ønskede at skabe et sprog, der kunne drage slutninger fra given tekst. Navnet Prolog er en forkortelse for "PROGRAMMERING i LOGIC". Dette sprog blev udviklet i Marseille i 1972. Kuznechnys opløsningsprincip virkede som en passende model til at udvikle en inferensmotor. Med resolutionsbegrænsningen på Horns klausul resulterede forening i et effektivt system, hvor uoverstigelig ikke-determinisme blev håndteret med en tilbagesporingsproces, der let kunne implementeres. Opløsningsalgoritmen gjorde det muligt at skabe en eksekverbar sekvens, der er nødvendig for at implementere specifikationer som relationen ovenfor.

Den første implementering af Prolog-sproget ved hjælp af Wirths ALGOL-W- kompiler blev afsluttet i 1972, og grundlaget for det moderne sprog blev lagt i 1973. Brugen af ​​Prolog spredte sig gradvist blandt de involverede i logisk programmering, hovedsageligt gennem personlige kontakter, og ikke gennem produktkommercialisering. I øjeblikket er der flere forskellige, men meget ens versioner. Selvom der ikke er nogen standard for Prolog-sproget, er versionen udviklet ved University of Edinburgh dog blevet den mest udbredte variant. Manglen på udvikling af effektive Prolog-applikationer holdt tilbage, at den blev vedtaget indtil 1980'erne.

Bøger

Se også

Noter

  1. ↑ 1 2 Matematisk genealogi  (engelsk) - 1997.
  2. ↑ Kowalski, R. og Kuehner, D., "Linear Resolution with Selection Function" i Artificial Intelligence, Vol. 2, 1971 227-260. Genoptrykt 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. Genoptrykt i Computers for Artificial Intelligence Applications, (red. Wah, B. og Li, G.-J.), IEEE Computer Society Press , Los Angeles, 1986, 68-73.
  4. ↑ van Emden, M. og 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. og Sergot, M., "A Logic-based Calculus of Events", i " New Generation Computing ", Vol. 4, nr. 1, februar 1986, 67-95. Også i "Knowledge Base Management-Systems", (red. C. Thanos og JW Schmidt), Springer-Verlag, gg. 23-51. Også i Tidens sprog: En læser (red. Inderjeet Mani, J. Pustejovsky og R. Gaizauskas). Oxford University Press , 2005.
  6. ↑ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. og Cory, T., "The British Nationality Act as a Logic Program", i " Communications of the ACM " , bind. 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., "Using Metalogic til at forene med reaktive rationelle midler". I "Meta-Logics and Logic Programming" (K. og Apt F. Turini, red.), MIT Press , 1995.
  9. ↑ Kowalski, R. og Sadri, F., "From Logic Programming to Multi-agent Systems", " Annals of Mathematics and Artificial Intelligence ", bind 25 (1999), 391-419.
  10. ↑ Eshghi, K., og Kowalski, R., "Bortførelse gennem deduktion". Institut for Computing, Imperial College, 1988.
  11. ↑ Kakas, T., Kowalski, K. og Toni, F., "Abductive Logic Programming". " Journal of Logic and Computation ", 1992, bind. 2 nr. 6, s. 719-770.
  12. ↑ Bondarenko, A., Dung, PM, Kowalski, R., og Toni, F. An Abstract Argumentation-theoretic Approach to Default Reasoning". " Journal of Artificial Intelligence ", 93(1-2), 1997, s. 63-101.
  13. ↑ Dung, PM, Kowalski, R., og Toni, F. Dialektiske bevisprocedurer for antagelsesbaseret, acceptabel argumentation. Journal of Artificial Intelligence, 170(2), februar 2006, 114-159.

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier