Paraconsistent logic

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

14p vimulcahy 18-09-2023 7 4   Download

High quality functional annotation is essential for understanding the phenotypic consequences encoded in a genome. Despite improvements in bioinformatics methods, millions of sequences in databanks are not assigned reliable functions.

12p viconnecticut2711 28-10-2020 15 1   Download

In this work we summarize some of our studies on paraconsistent artificial neural networks (PANN) applied to electroencephalography. We give attention to the following applications: probable diagnosis of Alzheimer disease and attention-deficit /hyperactivity disorder (ADHD). PANNs are well suited to tackle problems that human beings are good at solving, like prediction and pattern recognition.

12p vititan2711 13-08-2019 8 1   Download

In this paper we propose the paraconsistent process order control method based on a paraconsistent annotated logic program called before–after extended vector annotated logic program with strong negation (bf-EVALPSN) with a small example of pipeline process order verification.

9p vititan2711 13-08-2019 7 1   Download