Логическая электронная таблица представляет собой электронную таблицу , в которой формулы принимают форму логических ограничений , а не определения функций.
В традиционных системах электронных таблиц , таких как 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. И так далее.
В этом случае формула является функциональной, а функция обратимой. Как правило, формулы не обязательно должны быть функциональными, а функции не должны быть обратимыми. Например, в этом случае мы могли бы написать формулы, включающие неравенства и необратимые функции (например, квадратный корень). В более общем плане мы могли бы создавать электронные таблицы с символьными, а не числовыми данными и записывать произвольные логические ограничения на эти данные.
Рекомендации
- Дж. Бонгард и др.: Отчеты о осенних симпозиумах AAAI 2006 г., AI Magazine 28 (1), 88-92, 2007.
- I. Cervesato: NEXCEL, Дедуктивная электронная таблица, Обзор инженерии знаний, Vol. 00: 0, 1-24, Cambridge University Press, 2004.
- Г. Фишер, К. Ратке: Таблицы, основанные на знаниях, в материалах 7-й Национальной конференции по искусственному интеллекту, Сент-Пол, Миннесота, 21–26 августа 1988 г., AAAI Press, Менл-Парк, Калифорния, 802-807, 1988.
- Д. Ганнинг: Дедуктивные электронные таблицы, Исследование инноваций малого бизнеса Агентства передовых оборонных исследовательских проектов, 2004 г. 3-Тема SB043-040, 2004.
- М. Кассофф, Л. Зен, А. Гарг, М. Дженезерет: Predicalc: логическая система управления электронными таблицами, в материалах 31-й Международной конференции по очень большим базам данных, Тронхейм, Норвегия, 30 августа - 2 сентября 2005 г., ACM, New Йорк, Нью-Йорк, 1247-1250, 2005.
- М. Кассофф, М. Дженезерет: Predicalc, Система управления логическими электронными таблицами, Обзор инженерии знаний, Vol. 22: 3, 281-295, Cambridge University Press, 2007.
- М. Спенке, К. Бейлкен: Интерфейс электронных таблиц для логического программирования, в К. Байсе и Ч. Льюисе (ред.), Труды ACM CHI 89 Human Factors in Computing Systems, Остин, Техас, 30 апреля - 4 июня 1989 г., ACM Press , Нью-Йорк, Нью-Йорк, 75-80, 1989.
- М. ван Эмден, М. Оки, А. Такеучи: Электронные таблицы с инкрементными запросами как пользовательский интерфейс для логического программирования, 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/