Логічна електронна таблиця — це електронна таблиця, в якій формули мають форму логічних обмежень, а не визначень функцій.
У традиційних системах електронних таблиць, таких як 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, [en]: 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, [en]: 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 [ 29 червня 2021 у Wayback Machine.]
- https://dbgroup.ncsu.edu/?p=9 [ 25 січня 2022 у Wayback Machine.]
- http://logic.stanford.edu/spreadsheet/ [ 18 травня 2021 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Logichna elektronna tablicya ce elektronna tablicya v yakij formuli mayut formu logichnih obmezhen a ne viznachen funkcij U tradicijnih sistemah elektronnih tablic takih yak Excel komirki podilyayutsya na bezposeredno viznacheni ta obchislyuvani a formuli vikoristovuvani dlya viznachennya znachen obchislyuvanih komirok ye funkcionalnimi tobto dlya kozhnoyi kombinaciyi znachen bezposeredno vkazanih klitinok formuli viznachayut unikalni znachennya dlya obchislenih komirok Logichni elektronni tablici pom yakshuyut ci obmezhennya obhodyachis bez vidminnosti mizh bezposeredno viznachenimi ta obchislyuvanimi komirkami ta perehodyachi vid funkcionalnih viznachen do logichnih obmezhen Yak ilyustraciyu riznici mizh tradicijnimi ta logichnimi tablicyami rozglyanemo prostu chislovu tablicyu z troma komirkami A B i C Kozhna komirka prijmaye odne cile chislo yak znachennya i ye formula yaka stverdzhuye sho znachennya tretoyi klitinki ye sumoyu znachen dvoh inshih klitinok Realizovana yak tradicijna elektronna tablicya cya elektronna tablicya dozvolit koristuvachevi vvoditi znachennya v klitinki A i B i vona avtomatichno obchislyuvatime klitinku C Napriklad yaksho koristuvach vvede 1 v A i 2 v B vin otrimaye znachennya 3 v C Realizaciya logichnoyi elektronnoyi tablici dozvolyaye koristuvachu vvoditi znachennya v bud yaku z komirok Koristuvach mozhe vvesti 1 v A i 2 v B i elektronna tablicya obchislit znachennya 3 v C Krim togo koristuvach mozhe vvesti 2 v B i 3 v C i elektronna tablicya obchislit znachennya 1 v A tosho U comu vipadku formula funkcionalna a funkciya oborotna Zagalom formuli ne obov yazkovo mayut buti funkcionalnimi a funkciyi oborotnimi Napriklad u comu vipadku mozhna napisati formuli sho vklyuchayut nerivnosti ta neoborotni funkciyi napriklad kvadratnij korin Zagalom stvoryuyetsya elektronna tablicya zi simvolnimi a ne chislovimi danimi i zapisuyutsya dovilni logichni obmezhennya dlya cih danih PosilannyaJ 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 en 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 en 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 29 chervnya 2021 u Wayback Machine https dbgroup ncsu edu p 9 25 sichnya 2022 u Wayback Machine http logic stanford edu spreadsheet 18 travnya 2021 u Wayback Machine