Logiczny arkusz - Logical spreadsheet
Logiczny arkusz jest arkusz , w których wzory przyjąć formę logicznych ograniczeń zamiast definicji funkcji.
W tradycyjnych arkuszach kalkulacyjnych systemami, takimi jak Excel komórki rozdziela się na „określony bezpośrednio” komórki i „komputerowej” komórki i preparaty stosowane w celu określenia wartości komórek obliczane są „funkcjonalne”, to znaczy dla wszystkich kombinacji wartości rzeczywistych bezpośrednio określonych komórkach , unikalne wzory określić wartości dla obliczonych komórek. Arkusze logiczne relaks te ograniczenia poprzez usunięcie z rozróżnieniem bezpośrednio określonych komórek oraz komórek obliczane i uogólniania z funkcjonalnych do definicji ograniczeń logicznych.
Jako przykład różnicy między tradycyjnymi arkuszy i arkuszy logicznych pod prostego arkusza numerycznych z trzech komórek A, B, C. Każda komórka przyjmuje jeden całkowitą, wartości; i nie ma wzoru stwierdzając, że wartość trzeciego ogniwa jest sumą wartości pozostałych dwóch komórek.
Zaimplementowany jako tradycyjnego arkusza kalkulacyjnego, to arkusz kalkulacyjny pozwoli użytkownikowi na wprowadzenie wartości do komórek A i B, a to automatycznie obliczyć komórek C. Na przykład, gdyby użytkownik wpisać się w 1 i 2, w B, to obliczyć wartość 3 dla C.
Zaimplementowany jako logiczny arkuszu kalkulacyjnym, użytkownik będzie mógł wprowadzić wartości do jednej z komórek. Użytkownik może się do typu 1 i 2, w B i w arkuszu by obliczyć wartość 3 dla C. Alternatywnie, użytkownik może typu 2 do b i 3 na C, a arkusz, który obliczają wartość 1 dla. I tak dalej.
W takim przypadku, wzór jest funkcjonalne i funkcja jest odwracalna. W ogóle, wzory nie muszą być funkcjonalne i funkcje nie muszą być odwracalna. Na przykład, w tym przypadku, możemy napisać formuły udziałem nierówności i funkcji non-odwracalne (takie jak pierwiastek kwadratowy). Mówiąc bardziej ogólnie, możemy budować arkusze z symbolami, a nie danych liczbowych i napisać arbitralnych ograniczeń logicznych na tych danych.
Referencje
- J. Bongard i in .: Sprawozdania z 2006 AAAI Spadek sympozjów, AI Magazine 28 (1), 88-92, 2007.
- I. Cervesato: Nexcel, dedukcyjnym kalkulacyjny, wiedza Inżynieria Review, Vol. 00: 0, 1-24, Cambridge University Press, 2004.
- G. Fischer, C. Rathke: Arkusze opartej na wiedzy, w Proceedings of the 7th Krajowej Konferencji na sztucznej inteligencji, St. Paul w stanie Minnesota, 21-26 sierpnia 1988, AAAI Press, menl Park, California, 802-807, 1988.
- D. Gunning: dedukcyjne Arkusze, Defense Advanced Research Projects Agency Small Business Innovation Research, 2004,3-Topic SB043-040, 2004.
- M. Kassoff, L. Zen, A. Garg, M. Genesereth: Predicalc: logiczny system zarządzania kalkulacyjny, w Proceedings of 31 Międzynarodowej Konferencji na bardzo dużych baz danych, Trondheim, Norwegia, 30 sierpnia - 2 września 2005 roku, ACM, Nowy York, New York, 1247-1250, 2005.
- M. Kassoff, M. Genesereth: Predicalc, logiczny system zarządzania kalkulacyjny, wiedza Inżynieria Review, Vol. 22: 3, 281-295, Cambridge University Press, 2007.
- M. Spenke C. Beilken: interfejs z arkusza kalkulacyjnego do logicznie powiązane w K. Bice i CH Lewisa (EDS), Proceedings of ACM CHI 89 Czynnik ludzki w systemach komputerowych, Austin, Texas, 30 kwietnia - 4 czerwca 1989, ACM prasy , New York, New York, 75-80, 1989.
- M. van Emden, M. Ohki, A. Takeuchi: Arkusze z inkrementalnymi zapytań jako interfejs użytkownika dla logiki programowania, New Generation Computing 4 (3), 287-304, 1986.
- http://news.stanford.edu/news/2007/april25/logic-042507.html
- http://dbgroup.ncsu.edu/musings/genesereth.html
