On defining multiple-valued logics for knowledge-based systems communication

Multiple-valued logics are useful for dealing with uncertainty and imprecision in Knowledge-Based Systems. Different problems can require different logics. Then we need mechanisms to translate the information exchanged between two problems with different logics. In this paper, we introduce the logic...

ver descrição completa

Detalhes bibliográficos
Autores: Reyes, José Antonio, Puyol-Gruart, Josep, Esteva Massaguer, Francesc
Formato: artículo
Fecha de publicación:2000
País:España
Recursos:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2099/3577
Acesso em linha:https://hdl.handle.net/2099/3577
Access Level:acceso abierto
Palavra-chave:Uncertain reasoning
Multiple-valued logics
Knowledge-based systems
Intel·ligència artificial
Sistemes experts (Informàtica)
Classificació AMS::68 Computer science::68T Artificial intelligence
Descrição
Resumo:Multiple-valued logics are useful for dealing with uncertainty and imprecision in Knowledge-Based Systems. Different problems can require different logics. Then we need mechanisms to translate the information exchanged between two problems with different logics. In this paper, we introduce the logical foundations of such logics and the communication mechanisms that preserve some deductive properties. We also describe a tool to assist users in the declaration of logics and their communication mechanisms