Hispanopedia WikiUna hoja de cálculo lógica es una hoja de cálculo en la que las fórmulas toman la forma de restricciones lógicas en lugar de definiciones de funciones.
En los sistemas de hojas de cálculo tradicionales , como Excel , las celdas se dividen en celdas "especificadas directamente" y celdas "calculadas", y las fórmulas utilizadas para especificar los valores de las celdas calculadas son "funcionales", es decir, para cada combinación de valores de las celdas especificadas directamente, las fórmulas especifican valores únicos para las celdas calculadas. Las hojas de cálculo lógicas flexibilizan estas restricciones al prescindir de la distinción entre celdas especificadas directamente y celdas calculadas y al generalizar las definiciones funcionales a las restricciones lógicas.
Para ilustrar la diferencia entre las hojas de cálculo tradicionales y las hojas de cálculo lógicas, considere una hoja de cálculo numérica simple con tres celdas a, b y c. Cada celda acepta un solo número entero como valor y existe una fórmula que indica que el valor de la tercera celda es la suma de los valores de las otras dos celdas.
Implementada como una hoja de cálculo tradicional, esta hoja de cálculo permitiría al usuario ingresar valores en las celdas a y b, y calcularía automáticamente la celda c. Por ejemplo, si el usuario escribiera 1 en a y 2 en b, calcularía el valor 3 para c.
Implementado como una hoja de cálculo lógica, el usuario podría ingresar valores en cualquiera de las celdas. El usuario podría escribir 1 en a y 2 en b, y la hoja de cálculo calcularía el valor 3 para c. Alternativamente, el usuario podría escribir 2 en b y 3 en c, y la hoja de cálculo calcularía el valor 1 para a. Y así sucesivamente.
En este caso, la fórmula es funcional y la función es invertible. En general, las fórmulas no necesitan ser funcionales ni las funciones invertibles. Por ejemplo, en este caso, podríamos escribir fórmulas que involucren inecuaciones y funciones no invertibles (como la raíz cuadrada). En términos más generales, podríamos crear hojas de cálculo con datos simbólicos, en lugar de numéricos, y escribir restricciones lógicas arbitrarias sobre estos datos.
Referencias
- J. Bongard et al.: Informes sobre los simposios de otoño de la AAAI de 2006, AI Magazine 28(1), 88-92, 2007.
- I. Cervesato: NEXCEL, Una hoja de cálculo deductiva, The Knowledge Engineering Review, Vol. 00:0, 1-24, Cambridge University Press, 2004.
- G. Fischer, C. Rathke: Hojas de cálculo basadas en el conocimiento, en Actas de la 7ª Conferencia Nacional sobre Inteligencia Artificial, St. Paul Minnesota, 21-26 de agosto de 1988, AAAI Press, Menl Park, California, 802-807, 1988.
- D. Gunning: Hojas de cálculo deductivas, Agencia de Proyectos de Investigación Avanzada de Defensa, Investigación de innovación para pequeñas empresas, 2004.3-Tema SB043-040, 2004.
- M. Kassoff, L. Zen, A. Garg, M. Genesereth : Predicalc: un sistema lógico de gestión de hojas de cálculo, en Actas de la 31ª Conferencia internacional sobre bases de datos muy grandes, Trondheim, Noruega, 30 de agosto - 2 de septiembre de 2005, ACM, Nueva York, Nueva York, 1247-1250, 2005.
- M. Kassoff, M. Genesereth : Predicalc, un sistema de gestión de hojas de cálculo lógicas, The Knowledge Engineering Review, vol. 22:3, 281-295, Cambridge University Press, 2007.
- M. Spenke, C. Beilken: Una interfaz de hoja de cálculo para programación lógica, en K. Bice y CH Lewis (eds), Actas de ACM CHI 89 Factores humanos en sistemas informáticos, Austin, Texas, 30 de abril - 4 de junio de 1989, ACM Press, Nueva York, Nueva York, 75-80, 1989.
- M. van Emden, M. Ohki, A. Takeuchi: Hojas de cálculo con consultas incrementales como interfaz de usuario para programación lógica, 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/