Detalhes bibliográficos
Ano de defesa: |
1986 |
Autor(a) principal: |
Paulo Ouvera Simoni |
Orientador(a): |
Celso de Renna e Souza |
Banca de defesa: |
Fernando Curado,
Emmanuel Piseces Lopes Passos,
Nelson Delfino d'Ávila Mascarenhas |
Tipo de documento: |
Tese
|
Tipo de acesso: |
Acesso aberto |
Idioma: |
por |
Instituição de defesa: |
Instituto Nacional de Pesquisas Espaciais (INPE)
|
Programa de Pós-Graduação: |
Programa de Pós-Graduação do INPE em Computação Aplicada
|
Departamento: |
Não Informado pela instituição
|
País: |
BR
|
Resumo em Inglês: |
An associative network knowledge representation modal is presented, which uses concept structuring and a network structure both for formulae, that relate concepts and predicates, and for decision rules with a sintax that allows for quantified expressions in the premisses and conclusions. The possibilities of achieving knowledge compression with a particular type of part relation inference are discussed, as well as those of having conflicts among inferred relations. The stored knowledge is employed through a search process in which it is checked if activated hypothesis or predicates satisfy the formulae or rules, whenever they are accessed by the controls in order to answer some question, to find solutions for a problem or to propagate instantiated elements. The control mechanism allows forward and backward chaining of decision rules and of formulae in general, by means of two control structures, one for alterations to be propagated an other for problems to be solved, and also allows nonmonotonic reasoning. A mixed initiative mechanism for scene analysis applications is proposed by rneans of which scene-related processes can he activated both from the use of formulae and rules or in a spontaneous fashion. Details about a computer program, which implemented the proposed model, and the developed applications are commented. |
Link de acesso: |
http://urlib.net/sid.inpe.br/mtc-m18@80/2009/05.05.19.23
|
Resumo: |
Apresenta-se um modelo de representação de conhecimento do tipo rede associativa, em que são empregadas: a estruturação de conceitos; uma estrutura em rede para fórmulas que relacionam conceitos e predicados e para regras de decisão com uma sintaxe que envolve expressões quantificadas na premissa e na conclusão. Discutem-se as possibilidades de compressão de representação consequente de um tipo de inferência de relações de parte de conflito entre relações inferidas. O conhecimento armazenado é utilizado através de um processo de pesquisa, em que se verifica-se os conceitos ou predicados já ativados satisfazem as fórmulas ou regras, quando o controle especifica um acesso a elas para responder a alguma pergunta, achar soluções para um problema ou propagar elementos instanciados. O mecanismo de controle permite o encadeamento progressivo e retroativo de regras de decisão e de fórmulas em geral pelo uso das estruturas de controle que armazenam problemas a resolver e alterações a propagar, e permite também raciocínios não-monotônicos. Para a aplicação ao domínio de análise de cenas, propõe-se um mecanismo de iniciativa mista, em que os processos relacionados com a cena podem ser ativados tanto a partir do emprego de fórmulas e regras como de forma espontânea. Comentam-se detalhes de um programa que implementa o modelo proposto de aplicações desenvolvidas. |