Robert Kowalski - Robert Kowalski
Robert Kowalski | |
|---|---|
 | |
| Nascer |
15 de maio de 1941
Bridgeport , Connecticut, EUA
|
| Nacionalidade | britânico |
| Alma mater |
Universidade de Chicago Universidade de Bridgeport Universidade de Stanford Universidade de Varsóvia Universidade de Edimburgo |
| Conhecido por |
Cálculo de eventos de programação lógica |
| Prêmios | Prêmio IJCAI de Excelência em Pesquisa (2011) |
| Carreira científica | |
| Campos |
Lógica Ciência da Computação |
| Instituições |
Imperial College London da Universidade de Edimburgo |
| Tese | Estudos de Completude e Eficiência da Prova de Teoremas por Resolução (1970) |
| Orientador de doutorado | Bernard meltzer |
| Alunos de doutorado |
David HD Warren Keith Clark |
Robert Anthony Kowalski (nascido em 15 de maio de 1941) é um lógico americano-britânico e cientista da computação , cuja pesquisa está preocupada em desenvolver modelos de computação orientados para o homem e modelos computacionais de pensamento humano. Ele passou a maior parte de sua carreira no Reino Unido.
Educação
Ele foi educado na University of Chicago , University of Bridgeport (BA em matemática, 1963), Stanford University (MSc em matemática, 1966), University of Warsaw e University of Edinburgh (PhD em ciência da computação , 1970).
Carreira
Ele foi pesquisador na University of Edinburgh (1970–75) e está no Departamento de Computação do Imperial College London desde 1975, obtendo uma cadeira em Lógica Computacional em 1982 e tornando-se Professor Emérito em 1999.
Ele começou sua pesquisa no campo de prova automatizada de teoremas , desenvolvendo a resolução SL com Donald Kuehner e o procedimento de prova de gráfico de conexão. Ele desenvolveu a resolução SLD e a interpretação procedimental das cláusulas de Horn , que sustentam a semântica operacional do raciocínio retroativo na programação lógica . Com Maarten van Emden., Ele também desenvolveu o modelo mínimo e a semântica de pontos fixos das cláusulas de Horn, que sustentam a semântica lógica da programação lógica.
Com Marek Sergot, ele desenvolveu o cálculo de eventos e a aplicação da programação lógica ao raciocínio jurídico . Com Fariba Sadri, ele desenvolveu um modelo de agente no qual as crenças são representadas por programas lógicos e as metas são representadas por restrições de integridade .
Kowalski foi um dos desenvolvedores da Programação de Lógica Abdutiva , na qual os programas lógicos são aumentados com restrições de integridade e com predicados abdutíveis indefinidos. Este trabalho levou à demonstração com Phan Minh Dung e Francesca Toni de que a maioria das lógicas para o raciocínio padrão pode ser considerada como casos especiais de argumentação baseada em suposições .
Em seu livro de 1979, Logic for Problem Solving , Kowalski argumenta que a inferência lógica fornece um modelo simples e poderoso de resolução de problemas que pode ser usado por humanos e computadores. Em seu livro de 2011, Lógica Computacional e Pensamento Humano - Como ser Inteligente Artificialmente , ele argumenta que o uso da lógica computacional pode ajudar pessoas comuns a melhorar suas habilidades de comunicação em linguagem natural e que, em combinação com a teoria da decisão, pode ser usada para melhorar suas habilidades práticas de resolução de problemas.
Mais recentemente, em trabalho conjunto com Fariba Sadri, desenvolveu a lógica e a linguagem de computador LPS, (Logic Production Systems), que integra muitos de seus trabalhos anteriores em lógica computacional.
honras e prêmios
Kowalski foi eleito Fellow da American Association for Artificial Intelligence em 1991, do European Co-ordinating Committee for Artificial Intelligence em 1999 e da Association for Computing Machinery em 2001. Em 2011, ele recebeu o Prêmio IJCAI de Excelência em Pesquisa , “ por suas contribuições à lógica para a representação do conhecimento e resolução de problemas, incluindo seu trabalho pioneiro em prova automatizada de teoremas e programação lógica ”. Em 2012, ele recebeu o Prêmio da Sociedade Japonesa para a Promoção da Ciência para Cientistas Eminentes para 2012–2014. Em 2021, ele recebeu o Prêmio Inaugural CodeX por seu trabalho com Fariba Sadri e Marek Sergot "em reconhecimento ao seu trabalho pioneiro na aplicação da programação lógica para a formalização e análise da Lei da Nacionalidade Britânica. Artigo original dos autores,“ O British Nationality Act as a Logic Program ", publicado em 1986 na revista Communications of the ACM, é um dos primeiros e mais conhecidos trabalhos em direito computacional e um dos artigos mais citados no campo." [4]
Livros
- Logic for Problem Solving , North Holland, Elsevier, 1979.
- Computational Logic and Human Thinking: How to be Artificially Intelligent , Cambridge University Press, 2011.