논리 스프레드시트

Logical spreadsheet

논리 스프레드시트는 함수 정의가 아닌 논리 제약의 형태를 공식화한 스프레드시트다.

엑셀과 같은 전통적인 스프레드시트 시스템에서는 셀을 "직접 지정된" 셀과 "계산된" 셀로 분할하고 계산된 셀의 값을 지정하는 데 사용되는 공식은 "기능적"으로, 즉 직접 지정된 셀의 모든 값의 조합에 대해 공식은 계산된 셀에 대해 고유한 값을 지정한다.논리 스프레드시트는 직접 지정된 셀과 계산된 셀의 구분을 적용하고 기능 정의에서 논리적 제약조건에 이르기까지 일반화함으로써 이러한 제한을 완화한다.

기존 스프레드시트와 논리 스프레드시트의 차이를 보여주는 예로서, a, b, c 세 개의 셀이 있는 간단한 숫자 스프레드시트를 고려해 보십시오.각 셀은 하나의 정수를 값으로 받아들인다. 그리고 세 번째 셀의 값이 다른 두 셀의 값의 합이라는 공식이 있다.

전통적인 스프레드시트로 구현된 이 스프레드시트는 사용자가 셀 a와 b에 값을 입력할 수 있도록 하며 셀 c를 자동으로 계산한다.예를 들어 사용자가 a에 1을 입력하고 b에 2를 입력하면 c에 대한 값 3을 계산한다.

논리 스프레드시트로 구현되면 사용자는 셀에 값을 입력할 수 있다.사용자는 a에 1을 입력하고 b에 2를 입력하면 스프레드시트가 c에 대한 값 3을 계산한다.또는 사용자는 b에 2를 입력하고 c에 3을 입력하면 스프레드시트에서 a에 대한 값 1을 계산할 수 있다.등등.

이 경우 공식은 기능적이며, 함수는 되돌릴 수 없다.일반적으로 공식은 기능적일 필요가 없으며 함수는 변환할 필요가 없다.예를 들어, 이 경우, 불평등과 되돌릴 수 없는 함수(예: 제곱근)를 포함하는 공식을 작성할 수 있다.보다 일반적으로, 우리는 숫자 데이터보다는 상징적인 데이터로 스프레드시트를 만들고, 이 데이터에 임의의 논리적 제약조건을 쓸 수 있다.

참조

  • J. 봉가드 외:2006년 AAAI 가을 심포지엄, AI 매거진 28(1), 88-92, 2007에 관한 보고서.
  • I. Ceveato: NEXCEL, A Contractive 스프레드시트, The Knowledge Engineering Review, Vol. 00:0, 1-24, Cambridge University Press, 2004.
  • G. Fischer, C. Rathke: 1988년 8월 21일–26일 제7회 인공지능에 관한 전국 회의의 진행에서 지식 기반 스프레드시트, AAAI Press, Menl Park, 캘리포니아, 802-807, 1988.
  • D. Gunning: 연역 스프레드시트, Defense Advanced Research Projects Agency Small Business Innovation Research, 2004.3-토픽 SB043-040, 2004.
  • M. Kassoff, L. Zen, A. Garg, M. Genesereth: Predicalc: A Logical Spreadsheet Management System, in Proceedings of the 31st INternational Conference on Very Large Databases, Trondheim, NOrway, 30 August - 2 September 2005, ACM, New York, New York, 1247-1250, 2005.
  • M. Kassoff, M. Genessreth: Predicalc, A Logical 스프레드시트 관리 시스템, The Knowledge Engineering Review, Vol. 22:3, 281-295, Cambridge University Press, 2007.
  • M. Spenke, C. Beilken: 로직 프로그래밍을 위한 스프레드시트 인터페이스, K.Bice와 C. H. Lewis(eds), Processions of ACM CHI 89 Human Factors in Computing Systems in Texas, Austin, ACM Press, New York, 75-80, 1989년 4월 4일.
  • M. 밴 엠든, M.오키, A.Takeuchi: Logic Programming용 사용자 인터페이스로 증분 쿼리가 있는 스프레드시트, 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/