Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorKrause, Decio-
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática-
Autor(es): dc.contributorMusicante, Martin A-
Autor(es): dc.creatorNobre, Emerson Faria-
Data de aceite: dc.date.accessioned2019-08-22T00:12:07Z-
Data de disponibilização: dc.date.available2019-08-22T00:12:07Z-
Data de envio: dc.date.issued2011-02-04-
Data de envio: dc.date.issued2011-02-04-
Data de envio: dc.date.issued2011-02-04-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/1884/25075-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/25075-
Descrição: dc.descriptionResumo: 0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um trabalho anterior, o método das conexões de Bibel foi estendido para um tipo de lógica paraconsistente, chamada de lógica anotada. Neste trabalho o método do trabalho anterior é estendido tornando as definições mais adequadas à implementação. Um procedimento que melhora a eficiência do método das conexões de Bibel é apresentado e uma implementação do método é desenvolvida na linguagem SML. Os agentes inteligentes e sistemas especialistas podem utilizar métodos de prova em seus módulos raciocinadores para derivar conclusões de uma base de conhecimentos. A lógica anotada trata uma base de conhecimentos inconsistente de modo adequado. Um exemplo ilustrativo de uso de uma base de conhecimentos inconsistente em um sistema médico é automatizado através da implementação. Por fim, uma comparação de eficiência é apresentada.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Palavras-chave: dc.subjectTeses-
Palavras-chave: dc.subjectConexões (Matemática)-
Palavras-chave: dc.subjectLogica simbolica e matematica-
Título: dc.titleUma implementação do método das conexões de bibel para uma lógica paraconsistente anotada-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.