著者

奥野 健一 高橋 和子

出版者

関西学院大学

雑誌

情報科学研究 (ISSN:09120939)

巻号頁・発行日

vol.22, pp.3-22, 2008-03

---

This paper discusses the perfect lie, a lie that is not revealed to be false logically to a specific person at the present instant. First, we construct a belief system that models human reasoning, and consider the perfect lie on it. We define a human's memory as a belief world using a set of logical formulas, the operations of addition/deletion of formulas to/from the belief world and the condition for the perfect lie based on these definitions. Then, we propose an algorithm which derives the sequence of operations that makes an addition of a formula to succeed as the perfect lie to the belief world of the person to be deceived. The algorithm uses the framework of planning. Moreover, we show the conditions for belief alteration that judge whether a lie can be added as the perfect one, and prove the correctness of the conditions.