Логическая таблица
Логическая электронная таблица — это электронная таблица , в которой формулы принимают форму логических ограничений, а не определений функций.
В традиционных системах электронных таблиц , таких как 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, Издательство Кембриджского университета, 2004.
- Г. Фишер, К. Ратке: электронные таблицы, основанные на знаниях, в материалах 7-й Национальной конференции по искусственному интеллекту, Сент-Пол, Миннесота, 21–26 августа 1988 г., AAAI Press, Менл-Парк, Калифорния, 802-807, 1988 г.
- Д. Ганнинг: Дедуктивные таблицы, Инновационные исследования малого бизнеса Агентства передовых оборонных исследовательских проектов, 2004.3-Тема SB043-040, 2004.
- М. Кассофф, Л. Зен, А. Гарг, М. Генесерет : Predicalc: система управления логическими электронными таблицами, в материалах 31-й Международной конференции по очень большим базам данных, Тронхейм, Норвегия, 30 августа - 2 сентября 2005 г., ACM, New Йорк, Нью-Йорк, 12:47–12:50, 2005 г.
- М. Кассофф, М. Генесерет : Predicalc, Система управления логическими электронными таблицами, Обзор инженерии знаний, Vol. 22:3, 281–295, издательство Кембриджского университета, 2007.
- М. Спенке, К. Бейлкен: Интерфейс электронных таблиц для логического программирования, К. Байс и Ч. Льюис (редакторы), Proceedings of 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/