Uma lógica proposicional de resolução de problemas.

• Ano de defesa: 1998
• Autor(a) principal: ALBUQUERQUE, Antonio Carlos de.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO; UFCG
• Palavras-chave em Português: Inteligência Artificial; Resolução de Problemas; Lógica; Teoria Geral de Problemas (TGP); Lógica Proposicional de Resolução de Problemas (LRP); Sistema Formal Dedutivo; Atribuição de Verdade na LRP; Artificial intelligence; Problem solving; Logic; General Theory of Problems (TGP); Propositional Problem Solving Logic (LRP); Formal Deductive System; Attribution of Truth in LRP; Ciência da Computação
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6334

A Teoria Geral de Problemas (TOP) e um formalismo que representa qualquer problema atraves de uma estrutura algebrica, a partir da captacao de elementos invariantes que caracterizam a natureza de um problema A fim de facilitar o processo de resolu9ao, a TOP tambem contempla a quebra de um problema em subproblemas, por meio de criterios bem definidos A TOP contribui com a Inteligencia Artificial no contexto de resolucao de problemas. Nesse sentido, lirmamos como objetivo principal desta dissertacao desenvolver Uma Logica Proposicional de Resolucao de Problemas (LRP) como uma terramenta correta e completa de inferencia logica que seja util na apresentacao. manipulacao e formulacao de conhecimento que envolva a entidade problema como vista pela TGP