Mantiqiy jadval - Logical spreadsheet - Wikipedia
A mantiqiy jadval a elektron jadval unda formulalar funktsiya ta'riflaridan ko'ra mantiqiy cheklovlar shaklini oling.
An'anaviy ravishda elektron jadval kabi tizimlar Excel, hujayralar "to'g'ridan-to'g'ri ko'rsatilgan" kataklarga va "hisoblangan" kataklarga bo'linadi va hisoblangan kataklarning qiymatlarini aniqlash uchun ishlatiladigan formulalar "funktsional" bo'ladi, ya'ni to'g'ridan-to'g'ri ko'rsatilgan kataklarning har bir kombinatsiyasi uchun formulalar hisoblangan hujayralar. Mantiqiy elektron jadvallar ushbu cheklovlarni to'g'ridan-to'g'ri ko'rsatilgan kataklar va hisoblangan hujayralar orasidagi farqni ajratish va funktsional ta'riflardan mantiqiy cheklashlarga qadar umumlashtirish orqali yumshatadi.
An'anaviy elektron jadvallar va mantiqiy jadvallar o'rtasidagi farqni tasvirlash uchun uchta, a, b va c kataklardan iborat oddiy raqamli jadvalni ko'rib chiqing. Har bir katak bitta butun sonni qiymat sifatida qabul qiladi; va uchinchi katakning qiymati boshqa ikkita katak qiymatlari yig'indisi ekanligi to'g'risida formulalar mavjud.
An'anaviy elektron jadval sifatida amalga oshirilgan ushbu jadval foydalanuvchiga a va b katakchalarga qiymatlarni kiritish imkonini beradi va u avtomatik ravishda c katakni hisoblab chiqadi. Masalan, agar foydalanuvchi 1 ni a ga, 2 ni b ga yozsa, u 3 uchun c ni hisoblaydi.
Mantiqiy jadval sifatida amalga oshirilgan foydalanuvchi har qanday katakka qiymatlarni kiritishi mumkin edi. Foydalanuvchi 1 ni a ga, 2 ni b ga yozishi mumkin va elektron jadval c uchun 3 qiymatini hisoblab chiqadi. Shu bilan bir qatorda, foydalanuvchi 2 ni b ga, 3 ni c ga yozishi mumkin va elektron jadval a uchun 1 qiymatini hisoblab chiqishi mumkin. Va hokazo.
Bunday holda, formulalar funktsionaldir va funktsiya teskari. Umuman olganda, formulalar funktsional bo'lmasligi kerak va funktsiyalar teskari bo'lishi shart emas. Masalan, bu holda biz tengsizliklar va qaytarib bo'lmaydigan funktsiyalarni o'z ichiga olgan formulalarni yozishimiz mumkin (masalan, kvadrat ildiz). Umuman olganda, biz elektron jadvallarni raqamli ma'lumotlarga emas, balki ramziy ma'noga ega holda yaratishimiz va ushbu ma'lumotlarga o'zboshimchalik bilan mantiqiy cheklovlarni yozishimiz mumkin edi.
Adabiyotlar
- J. Bongard va boshq.: 2006 yil AAAI kuzgi simpoziumi, AI jurnali 28 (1), 88-92, 2007 y.
- I. Cervesato: NEXCEL, deduktiv elektron jadval, bilimlarni muhandislik sharhi, jild. 00: 0, 1-24, Kembrij universiteti matbuoti, 2004 yil.
- G. Fischer, C. Rathke: Bilimga asoslangan elektron jadvallar, Sun'iy intellekt bo'yicha 7-milliy konferentsiya materiallari, Sent-Luis Minnesota, 21-26 avgust 1988, AAAI Press, Menl Park, Kaliforniya, 802-807, 1988.
- D. Gunning: Deduktiv elektron jadvallar, Mudofaa bo'yicha ilg'or tadqiqot loyihalari agentligi Kichik biznesning innovatsion tadqiqotlari agentligi, 2004.3-Mavzu SB043-040, 2004.
- M. Kassoff, L. Zen, A. Garg, M. Geneseret: Predicalc: Mantiqiy elektron jadvallarni boshqarish tizimi, juda katta ma'lumotlar bazalari bo'yicha 31-xalqaro konferentsiya materiallarida, Trondxaym, NOrway, 2005 yil 30 avgust - 2 sentyabr, ACM, Nyu-York, Nyu-York, 1247-1250, 2005.
- M. Kassoff, M. Geneseret: Predicalc, elektron jadvalni mantiqiy boshqarish tizimi, bilimlarni muhandislik sharhi, jild. 22: 3, 281-295, Kembrij universiteti matbuoti, 2007 yil.
- M. Spenke, C. Beilken: Mantiqiy dasturlash uchun elektron jadval interfeysi, K. Bis va CH Lyuis (tahr.), ACM CHI 89 Hisoblash tizimidagi inson omillari, Ostin, Texas, 1989 yil 30 aprel - 4 iyun, ACM Press , Nyu-York, Nyu-York, 75-80, 1989 yil.
- M. van Emden, M. Ohki, A. Takeuchi: mantiqiy dasturlash uchun foydalanuvchi interfeysi sifatida ko'paytirilgan so'rovlar bilan jadvallar, yangi avlod hisoblash 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/