Kowalski, Robert

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 17. srpna 2017; kontroly vyžadují 13 úprav .
Robert Kowalski
Datum narození 15. května 1941( 15. 5. 1941 ) (81 let)
Místo narození
Země
Vědecká sféra Informatika
Místo výkonu práce
Alma mater
vědecký poradce Bernard Meltzer [d] [1]
Ocenění a ceny IJCAI Award for Research Excellence [d] ( 2011 ) Ahoj ACM

Robert Anthony Kowalski ( narozený 15. května 1941 ) je americký logik a vědec, který většinu své kariéry strávil ve Velké Británii .

Vzdělávání

Vystudoval University of Chicago , University of Bridgeport (BS Mathematics, 1963), Stanford University (MS Mathematics, 1966), University of Warsaw a University of Edinburgh (degree in Computer Science , 1970).

Kariéra

Byl členem na University of Edinburgh (1970-75) a na Imperial College London od roku 1975. V roce 1999 se stal čestným profesorem. Brzy se v roce 1991 připojil k Americké asociaci pro rozvoj umělé inteligence , v roce 1999 ke koordinačnímu výboru AI a v roce 2001 k Asociaci pro výpočetní stroje .

Robert zahájil svůj výzkum v oblasti automatických nátisků [2] , který je implementován na úrovni programu . Je založen na aparátu matematické logiky . Nicméně, on je nejlépe známý pro jeho příspěvek k vývoji logického programování , počínaje Hornovým procedurálním výkladem . [3]

On také vyvinul minimální model sémantiky Horn s Maarten van Emden [4] . S Markem Sergotem vyvinuli počet událostí [5] a aplikaci logického programování na právní uvažování. [6] [7] a aplikace logického programování pro právní účely. S Faribem Sadrim vyvinul model agenta [8] [9] , ve kterém jsou přesvědčení reprezentována logickými programy a cíle jsou reprezentovány omezeními integrity.

Kowalski byl jedním z prvních vývojářů abduktivní programovací logiky , kde jsou logické programy rozšířeny o omezení integrity a neurčité, abduktivní predikáty. [10] [11] Tato práce ukázala, že logiku pro výchozí uvažování lze považovat za samostatné případy argumentace založené na předpokladech. [12] [13]

prolog

Vývoj jazyka Prolog zahájili v roce 1970 Alan Culmeroe a Philippe Roussel. Chtěli vytvořit jazyk, který by z daného textu mohl vyvozovat závěry. Název Prolog je zkratka pro "PROgramming in LOGic". Tento jazyk byl vyvinut v Marseille v roce 1972. Kuzněčného princip rozlišení se jevil jako vhodný model, z něhož bylo možné vyvinout inferenční stroj. S omezením rozlišení na Hornovu klauzuli vedlo sjednocení k účinnému systému, kde byl nepřekonatelný nedeterminismus řešen procesem zpětného sledování, který bylo možné snadno implementovat. Algoritmus rozlišení umožnil vytvořit spustitelnou sekvenci potřebnou k implementaci specifikací, jako je výše uvedený vztah.

První implementace jazyka Prolog pomocí Wirthova kompilátoru ALGOL-W byla dokončena v roce 1972 a základy moderního jazyka byly položeny v roce 1973. Používání Prologu se postupně rozšířilo mezi ty, kteří se zabývají logickým programováním, především prostřednictvím osobních kontaktů, a ne prostřednictvím komercializace produktu. V současné době existuje několik různých, ale velmi podobných verzí. Pro jazyk Prolog sice neexistuje žádný standard, nicméně verze vyvinutá na University of Edinburgh se stala nejpoužívanější variantou. Nedostatek vývoje účinných aplikací Prolog zdržel jeho přijetí až do 80. let 20. století.

Knihy

Viz také

Poznámky

  1. ↑ 1 2 Matematická genealogie  (anglicky) - 1997.
  2. ↑ Kowalski, R. a Kuehner, D., "Linear Resolution with Selection Function" v Artificial Intelligence, sv. 2, 1971 227-260. Přetištěno v Anthology of Automated Theorem-Proving Papers, Vol. 2, Springer-Verlag , 1983, 542-577.
  3. ↑ Kowalski, R., "Predicate Logic as Programming Language", in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, 569-574. Přetištěno v Computers for Artificial Intelligence Applications, (eds. Wah, B. a Li, G.-J.), IEEE Computer Society Press , Los Angeles, 1986, 68-73.
  4. ↑ van Emden, M. a Kowalski, R., "The Semantics of Preddicate Logic as a Programming Language", v "Journal of the ACM", sv. 23, č. 4, 1976, 733-742.
  5. ↑ Kowalski, R. a Sergot, M., "Logic-based Calculus of Events", v " New Generation Computing ", sv. 4, č. 1, únor 1986, 67-95. Také v "Knowledge Base Management-Systems", (eds. C. Thanos a JW Schmidt), Springer-Verlag, gg. 23-51. Také v The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky a R. Gaizauskas). Oxford University Press , 2005.
  6. ↑ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. a Cory, T., „The British Nationality Act as a Logic Program“, v „ Komunikace ACM “ , sv. 29, č. 5, 1986, 370-386.
  7. ↑ Kowalski, R., Legislation as Logic Programs, in Logic Programming in Action (eds. G. Comyn, NE Fuchs, MJ Ratcliffe), Springer-Verlag, 1992, 203-230.
  8. ↑ Kowalski, R., "Using Metalogic to Reconcile with Reactive Rational Agents". V "Meta-Logics and Logic Programming" (K. a Apt F. Turini, eds.), MIT Press , 1995.
  9. ↑ Kowalski, R. a Sadri, F., "Od logického programování k multiagentním systémům", " Anals of Mathematics and Artificial Intelligence ", svazek 25 (1999), 391-419.
  10. ↑ Eshghi, K. a Kowalski, R., „Únos prostřednictvím dedukce“. Katedra výpočetní techniky, Imperial College, 1988.
  11. ↑ Kakas, T., Kowalski, K. a Toni, F., "Abductive Logic Programming". „ Journal of Logic and Computation “, 1992, sv. 2 č. 6, str. 719-770.
  12. ↑ Bondarenko, A., Dung, PM, Kowalski, R., and Toni, F. An Abstract Argumentation-theoretic Approach to Default Reasoning“. " Journal of Artificial Intelligence ", 93(1-2), 1997, str. 63-101.
  13. ↑ Dung, PM, Kowalski, R. a Toni, F. Dialektické důkazní postupy pro přípustnou argumentaci založenou na předpokladech. Journal of Artificial Intelligence, 170(2), únor 2006, 114-159.

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie