From environments to representations - A mathematical theory of artificial perceptions

Artificial Intelligence

Volumn 102, Issue 2, 1998, Pages 187-247

  Arzi Gonczarowski, Z ^a   Lehmann, D ^b  

^a Typographics Ltd   (Israel)

^b HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

Artificial perception and cognition; Categorical formalizations in AI; Mathematical foundations of AI

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC;

ARTIFICIAL COGNITION; ARTIFICIAL PERCEPTION;

ARTIFICIAL INTELLIGENCE;

EID: 0032118334     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(98)00061-7     Document Type: Article

References (60)

1. M.A. Arbib, E.G. Manes, Arrows, Structures and Functors - The Categorical Imperative, Academic Press, New York, 1975.
2. Z. Arzi-Gonczarowski, D. Lehmann, Introducing the mathematical category of artificial perceptions, Ann. Math. Artificial Intelligence 23 (1998).
3. A. Asperti, G. Longo, Categories, Types, and Structures, MIT Press, Cambridge, MA, 1991.
4. R.B. Banerji, Similarities in problem solving strategies, in: D.P. Benjamin (Ed.), Change of Representation and Inductive Bias, Kluwer, Dordrecht, 1990, pp. 183-191.
5. Y. Bar-Hillel, The present status of automatic translation of language, in:F.L. Alt (Ed.), Advances in Computers, Vol. I, Academic Press, New York, 1960, pp. 91-163.
6. M. Barr, C. Wells, Category Theory for Computing Science, Prentice-Hall, Englewood Cliffs, NJ, 1995.
7. J. Barwise, J. Perry, Situations and Attitudes, MIT Press, Cambridge, MA, 1983.
8. E.T. Bell, Men of Mathematics, Simon and Schuster, New York, 1986. (Originally published in 1937.)
9. E.A. Bender, Mathematical Methods in Artificial Intelligence, IEEE, Los Alamitos, CA, 1995.
10. P. Benjamin, A review of [51], SIGART Bull. 3 (4) (1992).
11. S. Blackburn, Dictionary of Philosophy, Oxford University Press, Oxford, 1996.
12. G. Boole, An Investigation of The Laws of Thought, Dover Publications, New York, 1958. (Originally published by Macmillan in 1854.)
13. F. Borceux, A Handbook of Categorical Algebra, Cambridge University Press, Cambridge, 1993.
14. A. Chella, M. Frixione, S. Gaglio, A cognitive architecture for artificial vision, Artificial Intelligence 89 (1997) 73-111.
15. M.A. Croon, F.J.R. Van de Vijver (Eds.), Viability of Mathematical Models in the Social and Behavioral Sciences, Swets and Zeitlinger B.V., Lisse, 1994.
16. E.R. Doughherty, C.R. Giardina, Mathematical Methods for Artificial Intelligence and Autonomous Systems, Prentice-Hail, Englewood Cliffs, NJ, 1988.
17. S. Eilenberg, S. MacLane, General theory of natural equivalences, Trans. Amer. Math. Soc. 58 (1945) 231-294.
18. W.D. Ellis (Ed.), A Source Book of Gestalt Psychology, Routledge and Kegan Paul, London, 1938.
19. W.J. Freeman, Societies of Brains - A Study in the Neuroscience of Love and Hate, Lawrence Erlbaum Associates, Hillsdale, NJ, 1995.
20. N. Fridman, C.D. Hafner, The state of the art in ontology design, AI Magazine 18 (3) (1997).
21. P. Gärdenfors, Induction, conceptual spaces and AI, Philos. Science 57 (1990) 78-95.
22. P. Gärdenfors, Three levels of inductive inference, Logic, Methodology, and Philosophy of Science IX (1994) 427-448.
23. P. Gärdenfors, Meaning as conceptual structures, Technical Report 40, Lund University Cognitive Studies, Lund, 1995.
24. M. Genesereth, N.J. Nilsson, Logical Foundations of Artificial Intelligence, Morgan Kaufmann, San Mateo, CA, 1987.
25. N. Goodman, Fact, Fiction, and Forecast, 4th ed., Harvard University Press, Cambridge, MA, 1983.
26. S. Haack, Deviant Logic, Cambridge University Press, Cambridge, 1974.
27. S. Haack, Philosophy of Logics, Cambridge University Press, Cambridge, 1978.
28. H. Herrlich, G.E. Strecker, Category Theory, Allyn and Bacon, Boston, MA, 1973.
29. E. Hutchins, Cognition in the Wild, MIT Press, Cambridge, MA, 1995.
30. R. Jackendoff, Semantics and Cognition, MIT Press, Cambridge, MA. 1983.
31. I. Kant, Grounding for the Metaphysics of Morals, Hackett Publishing Company, Indianapolis/Cambridge, 1992. Translated by J.W. Ellington. Originally published in 1785 as "Grundlegung zur Metaphysik der Sitten".
32. I. Kant, Grounding for the Metaphysics of Morals, Hackett Publishing Company, Indianapolis/Cambridge, 1992. Translated by J.W. Ellington. Originally published in 1785 as "Grundlegung zur Metaphysik der Sitten".
33. J. Kay, Vive la difference! Individualised interaction with users (Invited talk), in: C.S. Mellish (Ed.). Proceedings 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Vol. 1, Montreal, Quebec, Morgan Kaufmann, San Mateo, CA, 1995.
34. E.L. Keenan, L.M. Faltz, Boolean Semantics for Natural Languages, D. Reidel, Dordrecht, 1985.
35. D. Kirsh (Ed.), Special Volume on Foundations of AI, Artificial Intelligence 47 (1991).
36. D. Kirsh, Foundations of AI: the big issues, Artificial Intelligence 47 (1991) 3-30 (Special Volume on Foundations of AI).
37. S. Kleene, Introduction of Mathematics, Van Nostrand, New York, 1952.
38. S. Kripke, Semantical considerations on modal logic, Acta Philos. Fenn. 16 (1963) 83-94.
39. G. Lakoff, Women, Fire, and Dangerous Things - What Categories Reveal about the Mind, The University of Chicago Press, Chicago, IL, 1987.
40. F.W. Lawvere, Tools for the advancement of objective logic: closed categories and toposes, in: J. Macnamara, G.E. Reyes (Eds.), The Logical Foundations of Cognition, Oxford University Press, Oxford, 1994, pp. 43-55.
41. M.R. Lowry, Strata: problem reformulation and abstract data types, in: D.P. Benjamin (Ed.), Change of Representation and Inductive Bias, Kluwer, Dordrecht, 1990, pp. 41-66.
42. J. Lukasiewicz, Many-valued systems of propositional logic (1930), in: S. McCall (Ed.), Polish Logic, Oxford University Press, Oxford, 1967.
43. J. Lukasiewicz, On 3-valued logic (1920), in: S. McCall (Ed.), Polish Logic, Oxford University Press, Oxford, 1967.
44. S. MacLane, Categories for the Working Mathematician, Springer, Berlin, 1972.
45. F. Magnan, G.E. Reyes, Category theory as a conceptual tool in the study of cognition, in: J. Macnamara, G.E. Reyes (Eds.), The Logical Foundations of Cognition, Oxford University Press, Oxford, 1994, pp. 57-90.
46. J.A. Makowsky, Mental images and the architecture of concepts, in: R. Merken (Ed.), The Universal Turing Machine - A Half Century Survey, Oxford University Press, Oxford, 1988, pp. 453-465.
47. J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
48. D. McDermott, J. Doyle, Nonmonotonic logic I, Artificial Intelligence 13 (1980) 41-72.
49. A. Newell, Unified Theories of Cognition, Harvard University Press, Cambridge, MA, 1990.
50. N.J. Nilsson, Artificial intelligence prepares for 2001, AI Magazine 4 (4) (1983).
51. N.J. Nilsson, Eye on the prize, AI Magazine 16 (2) (1995) 9-17.
52. B.C. Pierce, Basic Category Theory for Computer Scientists, MIT Press, Cambridge, MA, 1991.
53. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
54. R. Reiter, Nonmonotonic reasoning, Annual Reviews in Computer Science 2 (1987) 147-186.
55. J.R. Searle, Minds, Brains, and Action, Harvard University Press, Cambridge, MA, 1984.
56. R. Sikorski, Boolean Algebras, Springer, Berlin, 1964.
57. M.H. Stone, The theory of representations for boolean algebras, Trans. Amer. Math. Soc. 40(1936) 37-111.
58. R. Turner, Logics for Artificial Intelligence, Ellis Horwood Ltd, Chichester, 1984.
59. R.F.C. Walters, Categories and Computer Science, Cambridge University Press, Cambridge, 1991.
60. R.M. Zimmer, Representation engineering and category theory, in: D.P. Benjamin (Ed.), Change of Representation and Inductive Bias, Kluwer, Dordrecht, 1990, pp. 169-182.