An Embedded System for Artificial Intelligence Applications

Authors: Ioannis P. Panagopoulos, Christos C. Pavlatos, George K. Papakonstantinou

Abstract:

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.

Keywords: Attribute Grammars, Logic Programming, RISC microprocessor.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1075400

References:

[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.