自然言語から論理推論規則への暗号化による秘匿回答文作成－論理学を基盤とする暗号方式の構築に向けて

摘要

1970年代に現代暗号が始まって以来，その理論的基盤は，主として整数論·代数曲線論であった．本文では，論理学を基盤とする暗号理論の可能性を提示する．対象とする暗号システムは，PPDM （Privacy Preserving Data Mining），あるいは，PIR （Privacy Information Retrieval），即ち，クラウド環境等において，データベースが保管する個人情報や企業機密情報を，データベース管理者には秘匿されるという制約の下で，利用者が検索·回答を得ることの出来るシステムである．本論文では，利用者が，自然言語による質問文を論理推論規則で記述することにより，秘匿キーワード検索手法も併用して，管理者に知られないように回答文を作成する手法を提案する．