A interpretação procedimental das cláusulas de Horn, desenvolvida por Robert Kowalski, fornece a base operacional para o raciocínio reverso na programação lógica. Nascido em 1941 em Bridgeport, Connecticut, o matemático e cientista da computação concentrou sua carreira na interseção da prova automática de teoremas e modelos computacionais orientados ao ser humano, principalmente enquanto trabalhava em instituições acadêmicas no Reino Unido.
Formação acadêmica
Kowalski frequentou a Fairfield College Preparatory School antes de buscar o ensino superior. Ele obteve um bacharelado em matemática pela Universidade de Bridgeport em 1963, seguido por um mestrado em matemática pela Universidade de Stanford em 1966. Seus estudos de doutorado o levaram à Universidade de Varsóvia e, finalmente, à Universidade de Edimburgo, onde recebeu um doutorado em ciência da computação em 1970.
Fundamentos da programação lógica
Sua carreira de pesquisa começou como bolsista na Universidade de Edimburgo de 1970 a 1975. Em 1975, mudou-se para o Departamento de Computação do Imperial College London. Ele alcançou uma cátedra em lógica computacional em 1982 e obteve o status de emérito em 1999. No início deste período, desenvolveu a resolução SL ao lado de Donald Kuehner e formulou o procedimento de prova de grafos de conexão. Em colaboração com Maarten van Emden, estabeleceu a semântica de ponto fixo e o modelo mínimo das cláusulas de Horn, que definem os fundamentos lógicos do campo.
Aplicações em direito e lógica
Kowalski expandiu o alcance da programação lógica para domínios complexos, como o raciocínio jurídico. Com Marek Sergot, desenvolveu o cálculo de eventos e aplicou a programação lógica para criar os primeiros sistemas especialistas jurídicos. Seu estudo de 1986, The British Nationality Act as a Logic Program, permanece uma obra seminal em direito computacional, rendendo à equipe o prêmio CodeX inaugural em 2021. Além disso, seu trabalho com Fariba Sadri levou à criação de Sistemas de Produção Lógica e ao desenvolvimento do Inglês Lógico, uma sintaxe restrita projetada para melhorar a comunicação e formalizar contratos legais.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Reconhecimento profissional
Suas contribuições foram marcadas por importantes honrarias profissionais. Ele foi eleito membro da Associação para o Avanço da Inteligência Artificial em 1991 e da Associação de Maquinaria Computacional em 2001. Em 2011, recebeu o Prêmio IJCAI de Excelência em Pesquisa. Entre 2012 e 2014, recebeu um prêmio da Sociedade Japonesa para a Promoção da Ciência para Cientistas Eminentes.
Fatos rápidos
- Nascimento: 1941, Bridgeport - Campo: Lógica e informática - Doutorado: Universidade de Edimburgo, 1970 - Professor emérito: Imperial College London - Associações: AAAI, ACM - Interesse principal: Lógica computacional - Livro notável: Logic for Problem Solving, 1979 - Vencedor do prêmio CodeX: 2021
Perguntas frequentes
### Qual é a função principal do Inglês Lógico?
Ele serve como açúcar sintático para linguagens de programação como Prolog, destinado a permitir que indivíduos leiam e entendam regras lógicas usando a sintaxe padrão do inglês.
### Como Kowalski conecta a lógica ao pensamento humano?
Ele argumenta que a lógica computacional atua como um modelo para a resolução de problemas, que, quando combinado com a teoria da decisão, pode melhorar a comunicação em linguagem natural e as habilidades de raciocínio prático.
