• Korean Journal of Logic
• /
• v.18 no.1
• /
• pp.65-83
• /
• 2015

This paper deals with non-algebraic Kripke-style semantics for three-valued paraconsistent logic: set-theoretical Kripke-style semantics. We first recall two three-valued paraconsistent systems. We next introduce set-theoretical Kripke-style semantics for them.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.441-461
• /
• 2014

This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.92.2-92
• /
• 2002

Building autonomous robots have been a central objective of research in artificial intelligence. The development of techniques for autonomous navigation in real environment consist one of the main tendencies of the current researches about Robotics. An important problem in autonomous navigation is the necessity of dealing with a great amount of uncertainties inherent to the real environments. The paraconsistent logic has characteristics that make it become an adequate tool to solve this problem. In this work, it is proposed a technique of mapping the real world in the navigation of an autonomous robot using the paraconsistent logic.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.93.5-93
• /
• 2002

Distributed Artificial Intelligence (DAI) aims to study and develop techniques that allow interaction among intelligent entities. In the last two decades, some types of DAI architecture have been proposed for various fields. However, it can be noticed that the inconsistency phenomenon has not been dealt with properly. This is probably due to the fact that this phenomenon cannot be handled (at least directly) with classical logic. Hence, to deal with such inconsistencies directly, one should employ a logic other than the classical one. The DAI Architecture described in this work is based on a nonclassical logic called Annotated Paraconsistent Logic.