An Embedded System for Artificial Intelligence Applications

Conventional approaches in the implementation of logic programming applications on embedded systems are solely of software nature. As a consequence, a compiler is needed that transforms the initial declarative logic program to its equivalent procedural one, to be programmed to the microprocessor. This approach increases the complexity of the final implementation and reduces the overall system's performance. On the contrary, presenting hardware implementations which are only capable of supporting logic programs prevents their use in applications where logic programs need to be intertwined with traditional procedural ones, for a specific application. We exploit HW/SW codesign methods to present a microprocessor, capable of supporting hybrid applications using both programming approaches. We take advantage of the close relationship between attribute grammar (AG) evaluation and knowledge engineering methods to present a programmable hardware parser that performs logic derivations and combine it with an extension of a conventional RISC microprocessor that performs the unification process to report the success or failure of those derivations. The extended RISC microprocessor is still capable of executing conventional procedural programs, thus hybrid applications can be implemented. The presented implementation is programmable, supports the execution of hybrid applications, increases the performance of logic derivations (experimental analysis yields an approximate 1000% increase in performance) and reduces the complexity of the final implemented code. The proposed hardware design is supported by a proposed extended C-language called C-AG.

• Ioannis P. Panagopoulos
• Christos C. Pavlatos
• George K. Papakonstantinou

• Attribute Grammars
• Logic Programming
• RISC microprocessor.

[1] Kruschke, J. K. (1992). ALCOVE: An exemplar-based connectionist
model of category learning, Psychological Review, 99. 22-44.
[2] Kruschke, J. K., & Johansen, M. K. (1999). A model of probabilistic
category learning. Journal of Experimental Psychology: Learning,
Memory, and Cognition, 25, 1083-1119.
[3] Love, B. C. & Medin, D. L. (1998). SUSTAIN: A model of human
category learning. Proceeding of the Fifteenth National Conference on AI
(AAAI-98), 671-676.
[4] Matsuka, T. (2002). Attention processes in computational models of
category learning. Unpublished doctoral dissertation. Columbia
University, New York, NY.
[5] Matsuka, T. & Corter, J. E. (2003). Empirical studies on attention
processes in category learning. Poster presented at 44th Annual Meeting
of the Psychonomic Society. Vancouver, BC, Canada.
[6] Matsuka, T., Corter, J. E. & Markman, A. B. (2003). Allocation of
attention in neural network models of categorization. Under review
[7] Bower, G. H. & Trabasso, T. R. (1963). Reversals prior to solution in
concept identification. Journal of Experimental Psychology, 66, 409-418.
[8] Rehder, B. & Hoffman, A. B. (2003). Eyetracking and selective attention
in category learning (CD-ROM). Proceedings of the 25th Annual Meeting
of the Cognitive Science Society, Boston, 2003.
[9] Macho, S. (1997). Effect of relevance shifts in category acquisition: A
test of neural networks. Journal of Experimental Psychology: Learning,
Memory, and Cognition, 23, 30-53.
[10] Ingber, L. (1998). Very fast simulated annealing. Journal of
Mathematical Modelling, 12: 967-973.
[11] Nosofsky, R. M. (1986). Attention, similarity and the identification
-categorization relationship. Journal of Experimental Psychology:
General, 115, 39-57
[12] Nosofsky, R. M., Palmeri, T. J., McKinley, S. C. (1994).
Rule-plus-exception model of classification learning. Psychological
Review, 101, 53-79
[13] Shepard, R. N., Hovland, C. L., & Jenkins, H. M. (1961). Learning and
memorization of classification. Psychological Monograph, 75 (13).
[14] Bettman, J. R., Johnson, E. J., Luce, M. F., Payne, J. W. (1993).
Correlation, conflict, and Choice. Journal of Experimental Psychology:
Learning, Memory, and Cognition, 19, 931-951.
[15] Nosofsky, R. M., Gluck, M. A., Palmeri, T. J., McKinley, S. C., &
Glauthier, P. (1994). Comparing models of rule-based classification
learning: A replication and extension of Shepard, Hovland, and Jenkins
(1961). Memory and Cognition, 22, 352-369.
[16] Matsuka, T. (In press). Generalized exploratory model of human category
learning. International Journal of Computational Intelligence.