信念改竄によるばれない嘘の生成
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 関西学院大学の論文
著者
関連論文
- 知識変更を伴う議論システム
- 鉄道信号システムの連動装置の形式的検証向けモデル化と検証環境構築(ソフトウェア基礎, プログラム理論)
- 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
- 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明
- 電子現金の分割利用可能性の形式化と帰納的証明
- 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
- Symmetry Reductionを使ったAISの確率付きモデル検査
- 定性空間推論の新しい枠組DLCSとその上での操作
- 矩形領域に基づく定性空間推論の提案と実装
- 凹凸情報と接触パターンに基づく定性空間表現
- 定理証明器による電子現金プロトコルの検証
- 信念改竄によるばれない嘘の生成
- 輻輳問題を考慮したモバイルエージェントによるアドホックネットワークルーティング(モバイル・アドホックネットワーク(1))
- 定性空間表現の二次元平面への埋め込みについて
- 定性空間表現の二次元平面への埋め込みについて
- ボードゲームBAOにおける周期的動作の解析
- ボードゲームBAOにおける周期的動作の解析(数理モデル一般)
- ボードゲームBAOにおける周期的動作の解析
- ボードゲームBAOのCCSによる記述と解析
- 性質の伝播に関する定性空間推論
- モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張
- 2. 広がるすきま : E. M. ForsterのHowards End, "Only connect..."からA Passage to India, "Perhaps!"へ(日本英文学会第73回大会報告)
- 空間に埋め込まれた意味情報の記述
- マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
- マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
- 動的議論システムの意味論的考察
- Symmetry Reduction を使ったAISの確率付きモデル検査
- 「情報処理学会論文誌 : プログラミング」の編集について
- 「情報処理学会論文誌 : プログラミング」の編集について
- 矩形同士の埋め込み型重ね合わせについての定性空間推論
- 定理証明器によって証明されたCプログラムのマージャ