• 논리연구
• /
• 제18권1호
• /
• pp.65-83
• /
• 2015

이 글에서 우리는 3치 초일관 논리를 위한 비대수적 집합-이론적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개한다. 그리고 그 다음에 이에 상응하는 집합-이론적 크립키형 의미론을 소개한다.

• 논리연구
• /
• 제17권3호
• /
• pp.441-461
• /
• 2014

이 글에서 우리는 3치 초일관 논리를 위한 한 종류의 크립키형 의미론 즉 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개하고 그에 상응하는 대수를 정의한 후 이 두 체계가 대수적으로 완전하다는 것을 보인다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관짓는다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• 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년도 ICCAS
• /
• 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.