An architecture for adaptive algorithmic hybrids

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 40, Issue 3, 2010, Pages 903-914

  Cassimatis, Nicholas ^a   Bignoli, Perrin ^a   Bugajska, Magdalena ^b   Dugas, Scott ^c   Kurup, Unmesh ^a   Murugesan, Arthi ^a   Bello, Paul ^c  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

^b SoftArtisans   (United States)

^c OFFICE OF NAVAL RESEARCH   (United States)

Author keywords

Hybrid architectures; Integrated systems

Indexed keywords

COGNITIVE ARCHITECTURES; COMPUTATIONAL FRAMEWORK; FOCUS OF ATTENTION; HYBRID ARCHITECTURES; INTEGRATED SYSTEMS; LOGICAL REASONING; MULTIPLE DATA; POLYSCHEME; PROBABILISTIC INFERENCE; SPATIAL REASONING;

ALGORITHMS; CASE BASED REASONING; COGNITIVE SYSTEMS; DATA STRUCTURES; INFERENCE ENGINES; INTEGRATED CONTROL; INTELLIGENT SYSTEMS; ROBOT PROGRAMMING;

COMPUTATIONAL METHODS;

ALGORITHM; ARTICLE; ARTIFICIAL INTELLIGENCE; AUTOMATED PATTERN RECOGNITION; COMPUTER SIMULATION; DECISION SUPPORT SYSTEM; METHODOLOGY; THEORETICAL MODEL;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DECISION SUPPORT TECHNIQUES; MODELS, THEORETICAL; PATTERN RECOGNITION, AUTOMATED;

EID: 77952583975     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2009.2033262     Document Type: Article

References (38)

1. M. L. Minsky, "A framework for representing knowledge, " in The Psychology of Computer Vision, P. H. Winston, Ed. New York: McGraw-Hill, 1975.
2. R. C. Schank and R. P. Abelson, Scripts, Plans, Goals, and Understanding: An Inquiry Into Human Knowledge Structures. Hillsdale, NJ: Lawrence Erlbaum, 1977.
3. J. Kolodner, Case-Based Reasoning. Menlo Park, CA: Morgan Kaufman, 1993.
4. S. Geman and D. Geman, "Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images, " IEEE Trans. Pattern Anal. Mach. Intell., vol. PAMI-6, no. 6, pp. 721-741, Nov. 1984.
5. B. Selman, H. Levesque, and D. Mitchell, "A new method for solving hard satisfiability problems, " in Proc. 10th Nat. Conf. Artif. Intell., 1992, pp. 440-446.
6. N. Een and N. Sorensson, "MiniSat-A SAT solver with conflict-clause minimization, " in Proc. SAT Competition, 2005.
7. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering an efficient SAT solver, " in Proc. 39th Des. Autom. Conf., Las Vegas, NV, 2001, pp. 530-535.
8. M. Davis, G. Logemann, and D. Loveland, "A machine program for theorem proving, " Commun. ACM, vol. 5, no. 7, pp. 394-397, Jul. 1962.
9. J. Hopfield, "Neural networks and physical systems with emergent collective computational abilities, " Proc. Nat. Acad. Sci., vol. 79, no. 8, pp. 2554-2558, Apr. 1982.
10. M. I. Jordan and C. Bishop, "Neural networks, " in CRC Handbook of Computer Science, A. B. Tucker, Ed. Boca Raton, FL: CRC Press, 1997.
11. J. E. Laird, A. Newell, and P. S. Rosenbloom, "Soar: An architecture for general intelligence, " Artif. Intell., vol. 33, no. 1, pp. 1-64, Sep. 1987.
12. N. L. Cassimatis, "Reasoning as cognitive self-regulation, " in Integrated Models of Cognitive Systems, W. Gray, Ed. New York: Oxford Univ. Press, 2007.
13. N. L. Cassimatis, A. Murugesan, and P. G. Bignoli, "Reasoning as perceptual simulation, in Cognitive Processing. [Online]. Available: http://www.springerlink.com/content/k34xm75k92t42322/?p= 32d4af7bb8224af39a5c8e04cd3acb6a&pi=1
14. N. L. Cassimatis, J. G. Trafton, M. Bugajska, and A. C. Schultz, "Integrating cognition, perception, and action through mental simulation in robots, " Robot. Auton. Syst., vol. 49, no. 1/2, pp. 13-23, Nov. 2004.
15. P. E. Hart, N. J. Nilsson, and B. Raphael, "A formal basis for the heuristic determination of minimum cost paths, " IEEE Trans. Syst. Sci. Cybern., vol. SSC-4, no. 2, pp. 100-107, Jul. 1968.
16. S. L. Epstein, "Pragmatic navigation: Reactivity, heuristics, and search, " Artif. Intell., vol. 100, no. 1/2, pp. 275-322, Apr. 1998.
17. N. L. Cassimatis, A. Murugesan, and P. G. Bignoli, "Inference with relational theories over infinite domains, " in Proc. FLAIRS, 2009, pp. 21-26.
18. P. Singla and P. Domingos, "Memory-efficient inference in relational domains, " in Proc. AAAI, 2006, pp. 488-493.
19. F. Heras, J. Larrosa, and A. Oliveras, "MiniMaxSAT: An efficient weighted Max-SAT solve, " J. Artif. Intell. Res., vol. 31, pp. 1-32, 2008.
20. S. Wintermute and J. E. Laird, "Predicate projection in a bimodal spatial reasoning system, " in Proc. 22nd AAAI Conf. Artif. Intell., Vancouver, BC, Canada, 2007, pp. 1572-1577.
21. D. H. Wolpert and W. G. Macready, No Free Lunch Theorems for Search. Santa Fe, NM: Santa Fe Inst., 1995.
22. D. H. Wolpert and W. G. Macready, "Coevolutionary free lunches, " IEEE Trans. Evol. Comput., vol. 9, no. 6, pp. 721-735, Dec. 2005.
23. J. Gu, "Efficient local search for very large-scale satisfiability problems, " SIGART Bull., vol. 3, no. 1, pp. 8-12, Jan. 1992.
24. N. L. Cassimatis, "A cognitive substrate for human-level intelligence, " Artif. Intell. Mag., vol. 27, no. 2, pp. 45-56, Jul. 2006.
25. N. L. Cassimatis, "A framework for answering queries using multiple representation and inference technique, " in Proc. 10th Int. Workshop Knowl. Representation Meets Databases, 2003, pp. 87-98.
26. A. Murugesan and N. L. Cassimatis, "Parsing PCFG within a general probabilistic inference framework, " in Proc. AGI, 2009, vol. 8, pp. 144-149.
27. P. Domingos and M. Richardson, "Markov logic networks, " Mach. Learn., vol. 62, no. 1/2, pp. 107-136, Feb. 2006.
28. R. Sun, "The CLARION cognitive architecture: Extending cognitive modeling to social simulation, " in Cognition and Multi-Agent Interaction. New York: Cambridge Univ. Press, 2004.
29. J. R. Anderson, "Human symbol manipulation within an integrated cognitive architecture, " Cogn. Sci., vol. 29, no. 3, pp. 313-341, May 2005.
30. J. R. Anderson and C. Lebiere, The Atomic Components of Thought. Hillsdale, NJ: Lawrence Erlbaum Associates, 1998.
31. P. Langley and D. Choi, "A unified cognitive architecture for physical agents, " in Proc. 21st Nat. Conf. Artif. Intell., Boston, MA, 2006, pp. 1469-1474.
32. D. Kieras and D. E. Meyer, "An overview of the EPIC architecture for cognition and performance with application to human-computer interaction, " Hum.-Comput. Interact., vol. 12, no. 4, pp. 291-438, Dec. 1997.
33. S. Rao, "Visual routines and attention, " in Electrical Engineering and Computer Science. Cambridge, MA: MIT Press, 1998, p. 86.
34. H. E. Shrobe, R. Laddaga, R. Balzer, N. M. Goldman, D. Wile, M. Tallis, T. Hollebeek, and A. Egyed, "Self-adaptive systems for information survivability: PMOP and AWDRAT, " in Proc. SASO, 2007, pp. 332-335.
35. R. Laddaga, P. Robertson, and H. E. Shrobe, "Introduction to self-adaptive software: Applications, " in Proc. IWSAS, 2001, pp. 1-5.
36. B. Hayes-Roth, "A blackboard architecture for control, " Artif. Intell., vol. 26, no. 3, pp. 251-321, Jul. 1985.
37. J. Beal, "Learning by learning to communicate, " in Electrical Engineering and Computer Science. Cambridge, MA: MIT Press, 2007.
38. J. Beal, "Shared focus of attention for heterogeneous agents, " in Proc. 7th Int. Conf. AAMAS, 2008, pp. 1627-1630.