Роберт Ковальський

Роберт Ентоні Ковальський (нар. 15 травня 1941(19410515)) — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві.

Роберт Ковальський
Robert Anthony "Bob" Kowalski
Народився 15 травня 1941(1941-05-15) (80 років)
 США, Бріджпорт
Країна  Велика Британія
Національність британець
Діяльність математик, інформатик, інженер, філософ, викладач університету
Alma mater Единбурзький університет, Стенфордський університет, Чиказький університет, Бріджпортський університет
Галузь логіка,
комп'ютерні науки
Заклад Единбурзький університет,
Імперський коледж Лондона
Науковий керівник Bernard Meltzer
Аспіранти, докторанти Keith Clarkd[1], Девід Воррен (інформатик)d[1], Francesca Tonid[1], Kave Eshghid[1], David Frostd[1], Christopher Hoggerd[1], Christopher Mossd[1], George Pollardd[1], Fariba Sadrid[1], Marek Sergotd[1] і Suryanarayana Sripadad[1]
Членство Association for Computing Machinery
Відомий завдяки: Логічне програмування,
Обчислення подій
Нагороди IJCAI Award for Research Excellence (2011)

Освіта

Здобув освіту в Чиказькому університеті, Бріджпортському університеті (бакалавр в області математики, 1963), Стенфордському університеті (магістр у галузі математики, 1966), у Варшавському університеті та в Единбурзькому університеті (науковий ступінь у галузі комп'ютерних наук, 1970).

Кар'єра

Був науковим співробітником в Единбурзькому університеті (1970–75) і в Імперському коледжі Лондона з 1975 року. У 1999 році став заслуженим професором. Незабаром приєднався до Американської асоціації з розвитку штучного інтелекту в 1991 році, Координаційного комітету штучного інтелекту в 1999 році, і асоціації обчислювальної техніки в 2001 році.

Свої дослідження Роберт почав в області автоматичного доведення[2], що реалізоване на програмному рівні. В основу покладено апарат математичної логіки. Тим не менш, він є найвідомішим за його внесок у розвиток логічного програмування, починаючи з процедурної інтерпретації Горна.[3]

Він також розробив мінімальну модель семантики Горна з Маартен ван Емден[4]. З Мареком Сергот, розробив обчислення подій[5] і застосування логічного програмування для юридичного обґрунтування.[6][7] і застосування логічного програмування для юридичних цілей. Разом з Фаріба Садрі, він розробив модель агента[8][9], в якому переконання представлені логічними програмами і мета представлена обмеженням цілісності.

Ковальський був одним з перших розробників абдуктивної логіки програмування, де логічні програми доповнені обмеженнями цілісності і з невизначеними, абдуктивними предикатами.[10][11] Ця робота продемонструвала, що логіку для міркувань за замовчуванням можна розглядати як окремі випадки допущення на основі аргументації.[12][13]

Пролог

Розробка мови Prolog почалася в 1970 році Аланом Кулмерое і Філіпом Русселом. Вони хотіли створити мову, яка могла б робити логічні висновки на основі заданого тексту. Назва Prolog є скороченням від «PROgramming in LOGic». Ця мова була розроблена в Марселі в 1972 році. Принцип резолюції Ковальського здавався підходящою моделлю, на основі якої можна було розробити механізм логічних висновків. З обмеженням резолюції на диз'юнкт Горна уніфікація привела до ефективної системи, де непереборний недетермінізм оброблявся за допомогою процесу відкату, який міг бути легко реалізований. Алгоритм резолюції дозволяв створити виконувану послідовність, необхідну для реалізації специфікацій, подібних до наведеного вище відношенню.

Перша реалізація мови Prolog з використанням компілятора Вірта ALGOL-W була закінчена в 1972 році, а основи сучасної мови були закладені в 1973. Використання мови Prolog поступово поширювалося серед тих, хто займався логічним програмуванням, в основному завдяки особистим контактам, а не через комерціалізацію продукту. В даний час існує декілька різних, але досить схожих між собою версій. Хоча стандарту мови Prolog не існує, проте версія, розроблена в Единбурзькому університеті, стала найбільш широко використовуваним варіантом. Недолік розробок ефективних додатків Prolog стримував його поширення аж до 1980 року.

Книги

  • «Logic for Problem Solving», North Holland, Elsevier, 1979.
  • «Computational Logic and Human Thinking: How to be Artificially Intelligent», Cambridge University Press, 2011.

Див. також

Примітки

  1. Математична генеалогія — 1997.
  2. Kowalski, R. and Kuehner, D., "Linear Resolution with Selection Function", in Artificial Intelligence, Vol. 2, 1971, pp. 227–260. Reprinted in Anthology of Automated Theorem-Proving Papers, Vol. 2, Springer-Verlag, 1983, pp. 542–577.
  3. Kowalski, R., "Predicate Logic as Programming Language", in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569–574. Reprinted in Computers for Artificial Intelligence Applications, (eds. Wah, B. and Li, G.-J.), IEEE Computer Society Press, Los Angeles, 1986, pp. 68–73.
  4. van Emden, M. and Kowalski, R., "The Semantics of Predicate Logic as a Programming Language", in Journal of the ACM, Vol. 23, No. 4, 1976, pp. 733–742.
  5. Kowalski, R. and Sergot, M., "A Logic-based Calculus of Events", in New Generation Computing, Vol. 4, No. 1, February 1986, pp. 67–95. Also in Knowledge Base Management-Systems, (eds. C. Thanos and J. W. Schmidt), Springer-Verlag, pp. 23–51. Also in The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky, and R. Gaizauskas). Oxford University Press, 2005.
  6. Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., and Cory, T., "The British Nationality Act as a Logic Program", in Communications of the ACM, Vol. 29, No. 5, 1986, pp. 370–386.
  7. Kowalski, R., "Legislation as Logic Programs", in Logic Programming in Action (eds. G. Comyn, N. E. Fuchs, M. J. Ratcliffe), Springer-Verlag, 1992, pp. 203–230.
  8. Kowalski, R., "Using Metalogic to Reconcile Reactive with Rational Agents". In Meta-Logics and Logic Programming (K. Apt and F. Turini, eds.), MIT Press, 1995.
  9. Kowalski, R. and Sadri, F., "From Logic Programming towards Multi-agent Systems", Annals of Mathematics and Artificial Intelligence, Volume 25 (1999), pp. 391–419.
  10. Eshghi, K.,and Kowalski, R., "Abduction through deduction". Department of Computing, Imperial College, 1988.
  11. Kakas, T., Kowalski, K. and Toni, F., "Abductive Logic Programming". Journal of Logic and Computation, 1992, Vol. 2 No. 6, pp. 719–770.
  12. Bondarenko, A., Dung, P. M., Kowalski, R., and Toni, F. "An Abstract Argumentation-theoretic Approach to Default Reasoning". Journal of Artificial Intelligence, 93(1–2), 1997, pp 63–101.
  13. Dung, P. M., Kowalski, R., and Toni, F. "Dialectic proof procedures for assumption-based, admissible argumentation". Journal of Artificial Intelligence, 170(2), February 2006, pp. 114–159.

Посилання

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.