Representação de conhecimento utilizando o 'lambda'-calculo tipado

Representação de conhecimento utilizando o 'lambda'-calculo tipado

João Nunes de Souza

TESE

Português

(Broch.)

T/UNICAMP So89r

Campinas, SP : [s.n.], 1989.

260 f. : il.

Orientador: Wagner Caradori do Amaral

Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: Neste trabalho propõe-se um estudo da representação hierárquica de conhecimento a partir dos conceitos básicos do 'lambda¿-cálculo tipado. A representação do conhecimento é feita por programas funcionais definidos como conjuntos de fórmulas do 'lambda¿-cálculo tipado. Os conjuntos de...

Abstract: A knowledge hierarchic representation based on the typed 'lambda¿-calculus foundat ions is proposed in this work. The knowledge representation is based in functional programms defined as typed h-calculus formulas set. The formulas set is associated to derivation criterias that determines...

Representação de conhecimento utilizando o 'lambda'-calculo tipado

João Nunes de Souza


										

Representação de conhecimento utilizando o 'lambda'-calculo tipado

João Nunes de Souza

    Exemplares