Логічна електронна таблиця

Логічна електронна таблиця — це електронна таблиця, в якій формули мають форму логічних обмежень, а не визначень функцій.

У традиційних системах електронних таблиць, таких як Excel, комірки поділяються на «безпосередньо визначені» та «обчислювані», а формули, використовувані для визначення значень обчислюваних комірок, є «функціональними», тобто для кожної комбінації значень безпосередньо вказаних клітинок формули визначають унікальні значення для обчислених комірок. Логічні електронні таблиці пом’якшують ці обмеження, обходячись без відмінності між безпосередньо визначеними та обчислюваними комірками та переходячи від функціональних визначень до логічних обмежень.

Як ілюстрацію різниці між традиційними та логічними таблицями розглянемо просту числову таблицю з трьома комірками A, B і C. Кожна комірка приймає одне ціле число як значення; і є формула, яка стверджує, що значення третьої клітинки є сумою значень двох інших клітинок.

Реалізована як традиційна електронна таблиця, ця електронна таблиця дозволить користувачеві вводити значення в клітинки A і B, і вона автоматично обчислюватиме клітинку C. Наприклад, якщо користувач введе 1 в A і 2 в B, він отримає значення 3 в C.

Реалізація логічної електронної таблиці дозволяє користувачу вводити значення в будь-яку з комірок. Користувач може ввести 1 в A і 2 в B, і електронна таблиця обчислить значення 3 в C. Крім того, користувач може ввести 2 в B і 3 в C, і електронна таблиця обчислить значення 1 в A тощо.

У цьому випадку формула функціональна, а функція оборотна. Загалом, формули не обов’язково мають бути функціональними, а функції — оборотними. Наприклад, у цьому випадку можна написати формули, що включають нерівності та необоротні функції (наприклад, квадратний корінь). Загалом, створюється електронна таблиця зі символьними, а не числовими даними, і записуються довільні логічні обмеження для цих даних.

Посилання

  • J. Bongard et al.: Reports on the 2006 AAAI Fall Symposia, AI Magazine 28(1), 88-92, 2007.
  • I. Cervesato: NEXCEL, A Deductive Spreadsheet, The Knowledge Engineering Review, Vol. 00:0, 1-24, Cambridge University Press, 2004.
  • G. Fischer, C. Rathke: Knowledge-Based Spreadsheets, in Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul Minnesota, 21–26 August 1988, AAAI Press, Menl Park, California, 802-807, 1988.
  • D. Gunning: Deductive Spreadsheets, Defense Advanced Research Projects Agency Small Business Innovation Research, 2004.3-Topic 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. Genesereth: Predicalc, A Logical Spreadsheet Management System, The Knowledge Engineering Review, Vol. 22:3, 281-295, Cambridge University Press, 2007.
  • M. Spenke, C. Beilken: A Spreadsheet Interface for Logic Programming, in K. Bice and C. H. Lewis (eds), Proceedings of ACM CHI 89 Human Factors in Computing Systems, Austin, Texas, 30 April - 4 June 1989, ACM Press, New York, New York, 75-80, 1989.
  • M. van Emden, M. Ohki, A. Takeuchi: Spreadsheets with Incremental Queries as a User Interface for 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/
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.