Paraconsistent Annotated Logic Research Articles

Study of the Interactions between Particles Based in Paraquantum Logic

Paraquantum Logic (P QL ) has its origins in the fundamental concepts of the Paraconsistent Annotated Logic (PAL) whose main feature is to be capable of treating contradictory information. In this work we presented a study of application of the P QL in resolution of phenomena of physical systems that involves the interactions between physical bodies or particles. Initially is considered that each particle or physical body that is in the physical world has a representative Lattice in the Paraquantum world. From this consideration is made a study of the phenomena of Paraquantum Entanglement modeling the interaction between particles based in fundamental concepts of the Paraquantum Logic. The mathematical relationships of representative Lattices of the Paraquantum Logic originate models with values that are identified with some physical constants. In this work these paraquantum values are identified with the Universal constant of Gravity, proposed by Newton, and the constant K, that relates the Interaction Force in charged particles in the Coulomb’s Law. The results showed that the Paraquantum Logical Model elaborated starting from the fundamental concepts of the Paraquantum Logic (P QL ) is adequate to support theories based in a Paraquantum Universe built by an infinite amount of Lattices and forming a Paraquantum net of infinite dimensions.

A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN

A paraconsistent annotated logic program called EVALPSN has been developed for dealing with defeasible deontic reasoning and plausible reasoning, and applied to various kinds of intelligent control and safety verification. Moreover, in order to deal

The reliability of experts' opinions in constructing a composite environmental index: The case of ESI 2005

The complexity of the environment demands a well-constructed composite environmental index (CEI) to provide a useful tool to draw attention to environmental conditions and trends for policy purposes. Among the common difficulties in constructing a proper CEI are uncertainties due to the selection of the most representative underlying variables or indicators. A degree of uncertainty accompanies experts' judgments, and to deal with vague, subjective or inconsistent information, logic other than classic is required. This study analyzes a procedure that uses different experts' opinions in constructing a CEI, with the use of paraconsistent annotated logic. For this, a sensitivity analysis of the Environmental Sustainability Index (ESI 2005) was used as an example to assess the reliability of experts' opinions. The uncertainty due to the disagreement in experts' opinions clearly indicates that the forms we presently use to measure and monitor the actual environment are insufficient, that is, there is a lack of a “science of sustainability”.

A survey of paraconsistent annotated logics and applications

In this expository paper, we discuss some applications of the paraconsistent annotated logics (PAL). PAL is a 2-sorted logic that can build a programming language allowing manipulated impreciseness, inconsistencies and paracompleteness in its interior. Also, with suitable rules, it is possible to deal with defesiable-deontic reasoning and many monotonic and non-monotonic reasoning. Also, it is useful to obtain logical frameworks for usual modal systems and in this paper we discuss aspects of them, showing the power of these logical systems.

The development of paraconsistent annotated logic programs

We have developed paraconsistent annotated logic programs called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN) and applied it to various intelligent control and safety verification. We have also developed EVALPSN to deal with before-after (bf) relation between time intervals and applied it to process order control. The developed EVALPSN is called bf-EVALPSN. In this paper, we review the process of the development of EVALPSN and bf EVALPSN and introduce the details of EVALPSN defeasible deontic reasoning.

注釈真理値付き論理プログラムのパイプラインプロセス安全性検証への応用

We have developed a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (abbr. EVALPSN), which can deal with defeasible deontic reasoning and contradiction, and we have already applied it to safety verification and control such as railway interlocking safety verification and traffic signal control. In this paper, we introduce process safety verification as an application of EVALPSN with a small example for brewery pipeline valve control. The safety verification control is based on EVALPSN defeasible deontic reasoning to avoid unexpected mix of different sorts of liquid in pipeline networks.