Introduction to Annotated Logics

Abe, Jair Minoro; Akama, Seiki; Nakamatsu, Kazumi

doi:10.1007/978-3-319-17912-4

Cited by 34 publications

(16 citation statements)

References 73 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For a contextualized view, the image of Figure 2 can give a good idea of network operation from two significant parameters: average speed and number of zero bytes responses: Figure 1: The concepts of Paraconsistent Logic Eτ will be used from this point. According to Abe [10]: "The atomic formulas of the logic Eτ are of the type p(µ, λ), where (µ, λ) ∈ [0, 1] 2 and [0, 1] is the real unitary interval (p denotes a propositional variable)". Therefore, p(µ, λ) can be intuitively read: "It is assumed that p's favorable evidence is µ and unfavorable evidence is λ".…”

Section: Methodsmentioning

confidence: 99%

Determination of Operating Parameters and Performance Analysis of Computer Networks with Paraconsistent Annotated Evidential Logic Eτ

Pimenta

Abe

Silva

2016

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

Computer networks have two important characteristics: the vast diversity of connecting devices and a great variability of the physical distribution of equipments. Therefore, the performance analysis of a specific network based on absolute references or third parties may not be applicable in all circumstances, especially in highly complex and heterogeneous networks. Indeed, it carries a high degree of uncertainty, and the classical logic may not be appropriate to deal it. This paper aims to parameterize and evaluate the operating elements of heterogeneous networks, from the analysis of representative attributes, based on concepts of Paraconsistent Annotated Evidential Logic Eτ .

show abstract

Section: Methodsmentioning

confidence: 99%

Determination of Operating Parameters and Performance Analysis of Computer Networks with Paraconsistent Annotated Evidential Logic Eτ

Pimenta

Abe

Silva

2016

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…In the second one, a wave recognition filter belonging to the theta band was considered. In the third one, none of the filters were considered for recognition (Tables 11,12,13,14,15,16).…”

Section: Experimental Procedures: Differentiating Frequency Bandsmentioning

confidence: 99%

“…PANN is a new artificial neural network [11]. Its basis leans on paraconsistent annotated logic Eτ [12]. Let us present it briefly.…”

Section: Introductionmentioning

confidence: 99%

Paraconsistent neurocomputing and brain signal analysis

Abe

Lopes

Nakamatsu

2014

Vietnam J Comput Sci

Self Cite

View full text Add to dashboard Cite

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. PANNs have been applied within several branches and among them, the medical domain for clinical diagnosis, image analysis, and interpretation signal analysis, and interpretation, and drug development. For study of ADHD, we have a result of recognition electroencephalogram standards (delta, theta, alpha, and beta waves) with a median kappa index of 80 %. For study of the Alzheimer disease, we have a result of clinical diagnosis possible with 80 % of sensitivity, 73 % of specificity, and a kappa index of 76 %.

show abstract

“…Currently, there are several types of nonclassical logics, and in general, we can consider that only those logics that are indestructible in the presence of the contradiction receive the denomination of paraconsistent logic (PL). Therefore, PL is a nonclassical logic that has, as its fundamental characteristic, the opposition to the principle of noncontradiction [19][20][21].The fundamental theory of PL has been developed in the area of philosophical logic [23], and a formal framework for inconsistent theories was proposed by da Costa [20]. Further details of the logical formalization of PL, the mathematical implications, and their theorems can be found in [10], [22], and [23].…”

mentioning

confidence: 99%

“…The fundamental theory of PL has been developed in the area of philosophical logic [23], and a formal framework for inconsistent theories was proposed by da Costa [20]. Further details of the logical formalization of PL, the mathematical implications, and their theorems can be found in [10], [22], and [23].…”

mentioning

confidence: 99%

Application of the Shannon Entropy in the Construction of a Paraconsistent Model of the Atom

Filho¹

2019

Preprint

View full text Add to dashboard Cite

In this work, we present a model of the atom that is based on nonclassical logic called paraconsistent logic (PL), which has the main property of accepting the contradiction in logical interpretations without the conclusions being annulled. The model proposed in this work is constructed with the extension of PL called paraconsistent annotated logic with annotation of two values (PAL2v) that is associated with an interlaced bilattice of four vertices. We used the logarithmic function of the Shannon entropy H(s) with the inclusion of the normalized Planck constant ħ to construct the paraconsistent equations. Through the analyses of the interlaced bilattice, comparative values are obtained for some of the phenomena and effects of quantum mechanics, such as superposition of states, quantum entanglement, wave functions, and equations that determine the energy levels of the layers of the atom. At the end of this article, we use the hydrogen atom as the basis of the representation of the PAL2v model, where the values of the energy levels in six orbital layers are obtained. As an example, we present a possible method of applying the PAL2v model to the use of Raman spectroscopy signals in quality detection of lubricating mineral oil.With respect to the logic applied to quantum mechanics among various studies of quantum probabilistic logic formalism, one of the most important was developed by von Neumann in 1932 [11,12]. In his work, von Neumann assumed that each physical system is associated with a Hilbert space H (separable), with its unit vectors corresponding to possible physical states of the system. Each real "observable" random quantity is represented by a self-regulated operator A in H whose spectrum is the set of possible values of A [13][14][15][16].According to these previous works, mathematics in quantum mechanics can be considered a nonclassical probability calculation, which is supported by a nonclassical propositional logic [17,18].Nonclassical logics are created with the purpose of opposing the binary principles of classical logic, thus providing better conditions for the construction of physical-mathematical models with more approximate results. Currently, there are several types of nonclassical logics, and in general, we can consider that only those logics that are indestructible in the presence of the contradiction receive the denomination of paraconsistent logic (PL). Therefore, PL is a nonclassical logic that has, as its fundamental characteristic, the opposition to the principle of noncontradiction [19][20][21].The fundamental theory of PL has been developed in the area of philosophical logic [23], and a formal framework for inconsistent theories was proposed by da Costa [20]. Further details of the logical formalization of PL, the mathematical implications, and their theorems can be found in [10], [22], and [23]. Blair and Subrahmanian [24] presented applications of PL to logical programming and extended the formalization of three-valued semantics. With this initial work, a theory was developed for ...

show abstract

Introduction to Annotated Logics

Cited by 34 publications

References 73 publications

Determination of Operating Parameters and Performance Analysis of Computer Networks with Paraconsistent Annotated Evidential Logic Eτ

Determination of Operating Parameters and Performance Analysis of Computer Networks with Paraconsistent Annotated Evidential Logic Eτ

Paraconsistent neurocomputing and brain signal analysis

Application of the Shannon Entropy in the Construction of a Paraconsistent Model of the Atom

Contact Info

Product

Resources

About