THE ROLE OF ANNOTATED LOGICS IN AI: A REVIEW PAPER
Documento
Informações
Título
THE ROLE OF ANNOTATED LOGICS IN AI: A REVIEW PAPER
Título (EN)
THE ROLE OF ANNOTATED LOGICS IN AI: A REVIEW PAPER
Autor(es)
Jair M. Abe, Kazumi Nakamatsu, Ari Aharari, João I. da Silva Filho
Instituição
Universidade Paulista
Tipo
Artigo
Tipo de Mídia
Revista
Resumo (EN)
Annotated Logics are a category of non-classical logics that have recently appeared from a historical point of view. They are a type of paraconsistent, paracomplete and non-alethic logic. With the rapid development of AI and Automation and Robotics, more and more theory and techniques were coined to support the various issues that the themes were presenting. This expository work explores how to deal directly with conflicts (contradictions) and paracompleteness directly, without extra-logical devices. Support is given by the paraconsistent annotated evidential logic Et. Some applications are discussed.
Resumo
As Lógicas Anotadas são uma categoria de lógicas não clássicas que surgiram recentemente do ponto de vista histórico. Elas constituem um tipo de lógica paraconsistente, paracompleta e não alética. Com o rápido desenvolvimento da Inteligência Artificial (IA), da Automação e da Robótica, diversas teorias e técnicas foram desenvolvidas para dar suporte aos diferentes desafios apresentados por esses campos. Este trabalho expositivo explora como lidar diretamente com conflitos (contradições) e com a paracompletude, sem a necessidade de dispositivos extralógicos. O suporte teórico é fornecido pela lógica evidencial anotada paraconsistente Et. Algumas aplicações são discutidas.
Palavras-chave
paraconsistent logic, annotated logic, expert systems, computer networks, AI
Direito de Acesso
Acesso Aberto
Financiamento
Universidade Paulista
Publicado em
ABE, Jair Minoro; NAKAMATSU, Kazumi; AHARARI, Ari; SILVA FILHO, João Inácio da. The role of annotated logics in AI: a review paper. Journal of Computer Science and Cybernetics, v. 37, n. 3, p. 171–184, 2021.