論理スプレッドシート

論理スプレッドシートは、数式が関数定義ではなく論理制約の形式をとる スプレッドシートです。

Excelなどの従来のスプレッドシートシステムでは、セルは「直接指定」セルと「計算」セルに分割され、計算セルの値を指定するために使用される数式は「機能的」です。つまり、直接指定セルの値のすべての組み合わせに対して、数式は計算セルの一意の値を指定します。論理スプレッドシートでは、直接指定セルと計算セルの区別をなくし、機能定義から論理制約に一般化することで、これらの制限を緩和します。

従来のスプレッドシートと論理スプレッドシートの違いを示す例として、3 つのセル a、b、c を持つ単純な数値スプレッドシートを考えてみましょう。各セルは 1 つの整数を値として受け入れ、3 番目のセルの値は他の 2 つのセルの値の合計であることを示す数式があります。

従来のスプレッドシートとして実装されたこのスプレッドシートでは、ユーザーがセル a と b に値を入力すると、セル c が自動的に計算されます。たとえば、ユーザーが a に 1、b に 2 と入力すると、c の値は 3 と計算されます。

論理スプレッドシートとして実装すると、ユーザーは任意のセルに値を入力できます。ユーザーが a に 1、b に 2 と入力すると、スプレッドシートは c の値 3 を計算します。または、ユーザーが b に 2、c に 3 と入力すると、スプレッドシートは a の値 1 を計算します。以下同様です。

この場合、数式は関数的であり、関数は可逆です。一般に、数式は関数的である必要はなく、関数は可逆である必要はありません。たとえば、この場合、不等式と可逆でない関数 (平方根など) を含む数式を記述できます。より一般的には、数値データではなく記号データを使用してスプレッドシートを作成し、このデータに任意の論理制約を記述できます。

• J. Bongard他：2006年AAAI秋季シンポジウム報告、AI Magazine 28(1)、88-92、2007年。
• I. Cervesato: NEXCEL、演繹的スプレッドシート、The Knowledge Engineering Review、Vol. 00:0、1-24、Cambridge University Press、2004 年。
• G. Fischer、C. Rathke: Knowledge-Based Spreadsheets、第 7 回全国人工知能会議議事録、ミネソタ州セントポール、1988 年 8 月 21 ～ 26 日、AAAI Press、カリフォルニア州メンルパーク、802-807、1988 年。
• D. Gunning: 演繹的スプレッドシート、国防高等研究計画局中小企業技術革新研究、2004.3-トピック SB043-040、2004 年。
• M. Kassoff、L. Zen、A. Garg、M. Genesereth : Predicalc: 論理スプレッドシート管理システム、第 31 回国際大規模データベース会議議事録、ノルウェー、トロンハイム、2005 年 8 月 30 日 - 9 月 2 日、ACM、ニューヨーク、ニューヨーク、1247-1250、2005 年。
• M. Kassoff、M. Genesereth：「Predicalc、論理的スプレッドシート管理システム」、The Knowledge Engineering Review、Vol. 22:3、281-295、Cambridge University Press、2007 年。
• M. Spenke、C. Beilken: ロジック プログラミング用のスプレッドシート インターフェイス、K. Bice および CH Lewis (編)、Proceedings of ACM CHI 89 Human Factors in Computing Systems、テキサス州オースティン、1989 年 4 月 30 日 - 6 月 4 日、ACM Press、ニューヨーク、ニューヨーク、75-80、1989 年。
• M. van Emden、M. Ohki、A. Takeuchi: 論理プログラミングのユーザーインターフェイスとしての増分クエリを備えたスプレッドシート、New Generation Computing 4(3)、287-304、1986。
• http://news.stanford.edu/news/2007/april25/logic-042507.html
• https://dbgroup.ncsu.edu/?p=9
• http://logic.stanford.edu/spreadsheet/