クリエイティブ・コモンズ利用許諾の形式意味論  [in Japanese] A Formal Foundation for Creative Commons Legal Codes  [in Japanese]

近年のコンテンツ流通環境においては,コンテンツの鑑賞だけでなく,その二次利用や再配信等への要求が高まっている.このような要求を支援するために,ライセンスの付与を容易に行える法的な枠組みを提供するプロジェクトがクリエイティブ・コモンズである.クリエイティブ・コモンズでは,ライセンス付与の条件を利用許諾という文書にまとめているが,自然言語で記述されているため,ライセンス付与に関連する処理の自動化等は困難であった.そこで我々は,利用許諾を多種論理を用いて定式化し,厳密な形式意味論を与えた.これにより,ライセンス付与に関連する処理の自動化や,利用許諾の内容の論理的検証に向けた基礎付けを行うことができた.本論文では,その結果を例をあげて紹介する.

Recently, the demands not only for appreciating contents but also for deriving and re-distributing them are increasing in the content distribution environment. To support such demands, Creative Commons offers a legal framework that makes license providing easier. Creative Commons supplies the condition of license providing as the Legal Codes. They are written, however, in natural language, so that it will cost expensive and be difficult to automate processes related to license providing. In this paper, we provide a formal semantics for them by using many-sorted first-order logic. This will enable us to verify the logical consistency of the Legal Codes and automate processes related to license providing.