Robert Kowalski on logic programming

Kowalski, Bob

doi:10.1016/0167-7136(84)90074-x

Cited by 2 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…When the frequency of flying birds overwhelms the expected danger of making wrong predictions about penguins, we assume that birds fly by default. 2 One might not think that the monotonic approaches (Green, 1969, Kowalski, 1979, Fikes and Nilsson, 1971 are subject to the same objections. But their approaches seem to be the biggest casualties, since not only do they attempt to provide a complete set of frame axioms, they do not admit the possibility that some of their inferences might be defeasible, as do the non-monotonic approaches.…”

Section: Scalabilitymentioning

confidence: 99%

“…These range from excplicitly encoding frame axioms in first-order logic and using theorem proving in order to plan [Green, 1969, Kowalski, 1979, to embedding frame axioms procedurally, or within some aspect of the representation (Fikes and Nilsson, 1971, Hewitt, 1972, Pednault, 1985, to monotonic approaches that use either domain-dependent "explanation closure axioms" [Haas, 1987, Schubert, 1989, Weber, 1989, that attempt to enumerate the complete set of actions which can alter the truth value of a proposition, or equivalently that use complete sets of independence assertions [Hayes, 1971, Georgeff, 19871, to (most popularly), the definition, development, and use of non-monotonic logics [Reiter, 1980, McCarthy, 1977, Lifschitz, 1987, Haugh, 1987, Shoham, 1986, Kautz, 1986] that use unsound inferences to conclude that things do not change unless there is explicit knowledge to the contrary.…”

Section: The Frame Problemmentioning

confidence: 99%

See 1 more Smart Citation

Abandoning the Completeness Assumptions: A Statistical Approach to the Frame Problem

Tenenberg¹

1990

View full text Add to dashboard Cite

Section: Scalabilitymentioning

confidence: 99%

Section: The Frame Problemmentioning

confidence: 99%

Abandoning the Completeness Assumptions: A Statistical Approach to the Frame Problem

Tenenberg¹

1990

View full text Add to dashboard Cite

“…A programação lógica surgiu como a aplicação da resolução SLD a uma área relacionada à Inteligência Artificial: o processamento de linguagem natural. Restrita sua abrangência às Cláusulas de Horn (que estavam sendo usadas para descrever a gramática do francês), o método SLD introduzido em [Kow74] é completo e constitui a única regra de inferência do sistema chamado na época de PROLOG (de PROgramation en LOGique, cf. [Col93,p.331]).…”

Section: [Dav83 P1]unclassified

Sobre os fundamentos de programação lógica paraconsistente

Rodrigues¹,

Coniglio²

View full text Add to dashboard Cite

Gostaria de agradecer aqui aos Professores do Centro de Lógica e em especial ao meu orientador, Professor Marcelo Coniglio. Todos eles foram responsáveis pelo que sei hoje em Lógica, mas especialmente o Marcelo, por tantas disciplinas cursadas sob sua orientação e horas de trabalho conjunto que possibilitaram que essa dissertação chegasse a um fim. Quero agradecer também aos outros membros da banca, Professores Hércules Feitosa, Juliana Soler e Walter Carnielli pela paciêcia, comentários e preciosas correções. Ao professor Paolo Gentilini, por nos enviar um trabalho seu que foi de fundamental importância para que pudéssemos obter nossos principais resultados. Aos colegas de estudo, em especial ao Anderson de Araújo por algumas conversas muito interessantes sobre nosso tema e por chamar nossa atenção ao trabalho do Professor Gentilini. Agradeço também aos meus familiares mais próximos: Ada, Gisela, Tarcísio e Edna.Finalmente, agradeço à Fundação de Amparo à Pesquisa do Estado de São Paulo (Fapesp), pelo suporte financeiro. vii ResumoA Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta aproximação deu origem a uma extensa pesquisa com a intenção de definir sistemas de Programação Lógica paraconsistentes, isto é, sistemas nos quais seja possível manipular informação contraditória. Porém, todas as abordagens existentes carecem de uma fundamentação lógica claramente definida, como a encontrada na programação lógica clássica. A questão básica é saber quais são as lógicas paraconsistentes subjacentes a estas abordagens.A presente dissertação tem como objetivo estabelecer uma fundamentação lógica e conceitual clara e sólida para o desenvolvimento de sistemas bem fundados de Programação Lógica Paraconsistente. Nesse sentido, este trabalho pode ser considerado como a primeira (e bem sucedida) etapa de um ambicioso programa de pesquisa. Uma das teses principais da presente dissertação é que as Lógicas da Inconsistência Formal (LFI's), que abrangem uma enorme família de lógicas paraconsistentes, proporcionam tal base lógica.Como primeiro passo rumo à definição de uma programação lógica genuinamente paraconsistente, demonstramos nesta dissertação uma versão simplificada do Teorema de Herbrand para uma LFI de primeira ordem. Tal teorema garante a existência, em princípio, de métodos de dedução automática para as lógicas (quantificadas) em que o teorema vale. Um pré-requisito fundamental para a definição da programação lógica é justamente a existência de métodos de dedução automática. Adicionalmente, para a demonstração do Teorema de Herbrand, são formuladas aqui duas LFI's quantificadas através de sequentes, e para uma delas demonstramos o teorema da eliminação do corte. Apresentamos também, como requisito indispensável para os resultados acima...

show abstract

Robert Kowalski on logic programming

Cited by 2 publications

References 0 publications

Abandoning the Completeness Assumptions: A Statistical Approach to the Frame Problem

Abandoning the Completeness Assumptions: A Statistical Approach to the Frame Problem

Sobre os fundamentos de programação lógica paraconsistente

Contact Info

Product

Resources

About