Kowalski, Robert

Versiunea actuală a paginii nu a fost încă revizuită de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 17 august 2017; verificările necesită 13 modificări .
Robert Kowalski
Data nașterii 15 mai 1941( 15.05.1941 ) (81 de ani)
Locul nașterii
Țară
Sfera științifică Informatica
Loc de munca
Alma Mater
consilier științific Bernard Meltzer [d] [1]
Premii și premii Premiul IJCAI pentru excelență în cercetare [d] ( 2011 ) Un prieten ACM

Robert Anthony Kowalski ( născut la 15 mai 1941 ) este un logician și om de știință american care și-a petrecut cea mai mare parte a carierei în Marea Britanie .

Educație

A studiat la Universitatea din Chicago , la Universitatea Bridgeport (BS Mathematics, 1963), la Universitatea Stanford (MS Mathematics, 1966), la Universitatea din Varșovia și la Universitatea din Edinburgh (diplomă în Informatică , 1970).

Cariera

A fost bursier la Universitatea din Edinburgh (1970-1975) și la Imperial College London din 1975. În 1999 a devenit profesor onorat. S-a alăturat curând Asociației Americane pentru Progresul Inteligenței Artificiale în 1991, Comitetului de Coordonare AI în 1999 și Asociației pentru Mașini de Calcul în 2001.

Robert și-a început cercetările în domeniul demonstrațiilor automate [2] , care este implementată la nivel de program . Se bazează pe aparatul logicii matematice . Cu toate acestea, el este cel mai bine cunoscut pentru contribuția sa la dezvoltarea programării logice , începând cu interpretarea procedurală a lui Horn . [3]

De asemenea, a dezvoltat un model minimal al semanticii Horn cu Maarten van Emden [4] . Cu Marek Sergot, a dezvoltat calculul evenimentelor [5] și aplicarea programării logice la raționamentul juridic. [6] [7] și aplicarea programării logice în scopuri legale. Cu Farib Sadri, a dezvoltat modelul agentului [8] [9] în care convingerile sunt reprezentate de programe logice, iar obiectivele sunt reprezentate de constrângeri de integritate.

Kowalski a fost unul dintre primii dezvoltatori ai logicii de programare abductivă , unde programele logice sunt amplificate cu constrângeri de integritate și cu predicate abductive nedefinite. [10] [11] Această lucrare a demonstrat că logica pentru raționamentul implicit poate fi văzută ca cazuri separate de argumentare bazată pe presupuneri. [12] [13]

prolog

Dezvoltarea limbajului Prolog a început în 1970 de către Alan Culmeroe și Philippe Roussel. Ei au vrut să creeze un limbaj care să poată trage concluzii din textul dat. Numele Prolog este prescurtarea pentru „PROGRAMARE în LOGIC”. Acest limbaj a fost dezvoltat la Marsilia în 1972. Principiul rezoluției lui Kuznechny părea un model potrivit pentru a dezvolta un motor de inferență. Cu constrângerea de rezoluție a clauzei lui Horn, unificarea a dus la un sistem eficient în care non-determinismul insurmontabil a fost gestionat cu un proces de backtracking care ar putea fi ușor implementat. Algoritmul de rezoluție a făcut posibilă crearea unei secvențe executabile necesare pentru a implementa specificații precum relația de mai sus.

Prima implementare a limbajului Prolog folosind compilatorul ALGOL-W al lui Wirth a fost finalizată în 1972, iar bazele limbajului modern au fost puse în 1973. Utilizarea Prologului s-a răspândit treptat printre cei implicați în programarea logică, în principal prin contacte personale, și nu prin comercializarea produsului . În prezent, există mai multe versiuni diferite, dar foarte asemănătoare. Deși nu există un standard pentru limbajul Prolog, versiunea dezvoltată la Universitatea din Edinburgh a devenit cea mai utilizată variantă. Lipsa dezvoltării aplicațiilor Prolog eficiente a împiedicat adoptarea acesteia până în anii 1980.

Cărți

Vezi și

Note

  1. ↑ 1 2 Genealogie matematică  (engleză) - 1997.
  2. ↑ Kowalski, R. și Kuehner, D., „Rezoluție liniară cu funcție de selecție” în Artificial Intelligence, voi. 2, 1971 227-260. Retipărit în Anthology of Automated Theorem-Proving Papers, voi. 2, Springer-Verlag , 1983, 542-577.
  3. ↑ Kowalski, R., „Predicate Logic as Programming Language”, în Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, 569-574. Retipărit în Computers for Artificial Intelligence Applications, (eds. Wah, B. și Li, G.-J.), IEEE Computer Society Press , Los Angeles, 1986, 68-73.
  4. ↑ van Emden, M. și Kowalski, R., „The Semantics of Predicate Logic as a Programming Language”, în „Journal of the ACM”, Vol. 23, nr. 4, 1976, 733-742.
  5. ↑ Kowalski, R. și Sergot, M., „A Logic-based Calculus of Events”, în „ New Generation Computing ”, vol. 4, nr. 1, februarie 1986, 67-95. De asemenea, în „Knowledge Base Management-Systems”, (eds. C. Thanos și JW Schmidt), Springer-Verlag, gg. 23-51. De asemenea, în The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky și R. Gaizauskas). Oxford University Press , 2005.
  6. ↑ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. și Cory, T., „The British Nationality Act as a Logic Program”, în „ Communications of the ACM ” , Vol. 29, nr. 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., „Utilizarea metalogică pentru a se reconcilia cu agenții raționali reactivi”. În „Meta-Logics and Logic Programming” (K. și Apt F. Turini, eds.), MIT Press , 1995.
  9. ↑ Kowalski, R. și Sadri, F., „De la programarea logică spre sisteme multi-agenți”, „ Analele matematicii și inteligenței artificiale ”, volumul 25 (1999), 391-419.
  10. ↑ Eshghi, K. și Kowalski, R., „Răpirea prin deducție”. Departamentul de calcul, Imperial College, 1988.
  11. ↑ Kakas, T., Kowalski, K. și Toni, F., „Abductive Logic Programming”. „ Revista de logică și calcul ”, 1992, voi. 2 nr. 6, pp. 719-770.
  12. ↑ Bondarenko, A., Dung, PM, Kowalski, R. și Toni, F. An Abstract Argumentation-theoretic Approach to Default Reasoning”. " Journal of Artificial Intelligence ", 93(1-2), 1997, pp 63-101.
  13. ↑ Dung, PM, Kowalski, R. și Toni, F. Dialectic proof procedures for asumption-based, admissible argumentation. Journal of Artificial Intelligence, 170(2), februarie 2006, 114-159.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii