Abstract
Artificial systems that generate contingency-based teleological behaviors in real-time, are difficult to model. This chapter describes a modeling and simulation (M&S) framework designed specifically to reduce this difficulty. The described Knowledge-based Contingency-driven Generative Systems (KCGS) framework combines aspects of SES theory, DEVS-based general systems theory, net-centric heterogeneous simulation, knowledge engineering, cognitive modeling, and domain-specific language development using meta-modeling. The chapter outlines the theoretical and technical foundations of the KCGS framework as realized in the Cognitive Systems Specification Framework (CS2F), a subset of KCGS. Two executable models are described to illustrate how models of autonomous, goalpursuing cognitive systems can be modeled and simulated in the framework. The technical content and agent descriptions in the chapter illustrate how the M&S of the artificial depends critically on ontology, epistemology, and teleology in the KCGS framework.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, J.: How can the human mind occur in the physical universe?, vol. 3. Oxford University Press, USA (2007)
Anderson, J., Bothell, D., Byrne, M., Douglass, S., Lebiere, C., Qin, Y.: An integrated theory of the mind. Psychological Review 111(4), 1036 (2004)
Anderson, J., Matessa, M.: An overview of the epic architecture for cognition and performance with application to human-computer interaction. Human-Computer Interaction 12(4), 391–438 (1997)
Cesarini, F., Thompson, S.: Erlang programming. O’Reilly Media (2009)
Douglass, S., Mittal, S.: Using domain specific languages to improve scale and integration of cognitive models. In: Proceedings of the Behavior Representation in Modeling and Simulation Conference, Utah, USA (2011)
Douglass, S., Myers, C.: Concurrent knowledge activation calculation in large declarative memories. In: Proceedings of the 10th International Conference on Cognitive Modeling, pp. 55–60 (2010)
Fann, K.: Peirce’s theory of abduction. Martinus Nijhoff La Haya (1970)
Gonzalez, C., Lerch, J.F., Lebiere, C.: Instance-based learning in dynamic decision making. Cognitive Science 27(4), 591–635 (2003)
Hwang, M., Zeigler, B.: Reachability graph of Finite and Deterministic DEVS networks. IEEE Transactions on Automation Science and Engineering 6(3), 468–478 (2009)
Keene, S.: Object-oriented programming in Common Lisp: A programmers guide to CLOS. Adison-Wesley (1989)
Kim, T., Lee, C., Christensen, E., Zeigler, B.: System entity structuring and model base management. IEEE Transactions on Systems, Man and Cybernetics 20(5), 1013–1024 (1990)
Klein, G., Phillips, J., Rail, E., Peluso, D.: A data-frame theory of sensemaking. In: Expertise out of context: proceedings of the Sixth International Conference on Naturalistic Decision Making, p. 113. Lawrence Erlbaum (2007)
Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: Workshop on Intelligent Signal Processing, Budapest, Hungary, vol. 17 (2001)
Ledeczi, A., Volgyesi, P., Karsai, G.: Metamodel composition in the Generic Modeling Environment. In: Comm. at Workshop on Adaptive Object-Models and Metamodeling Techniques, Ecoop, vol. 1 (2001)
Lee, H., Zeigler, B.: SES-based ontological process for high level information fusion. In: Proceedings of the 2010 Spring Simulation Multiconference, p. 129. ACM (2010)
Lee, H., Zeigler, B.: System entity structure ontological data fusion process integrated with C2 systems. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology 7(4), 206–225 (2010)
McGuinness, D., Van Harmelen, F., et al.: OWL web ontology language overview. W3C recommendation 10, 2004–03 (2004)
Mittal, S.: DEVS Unified Process for integrated development and testing of Service Oriented Architectures. Ph.D. thesis, Iniversity of Arizona (2007)
Mittal, S.: Net-centric cognitive architecture using DEVS Unified Process. In: Researching and Developing Persistent and Generative Cognitive Models Workshop, Scottsdale, AZ (2010)
Mittal, S., Douglass, S.: From domain specific languages to DEVS components: application to cognitive m&s. In: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pp. 256–265. Society for Computer Simulation International (2011)
Mittal, S., Douglass, S.: Net-centric ACT-R-based cognitive architecture with DEVS Unified Process. In: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pp. 34–44. Society for Computer Simulation International (2011)
Mittal, S., Douglass, S.: DEVSML 2.0: The language and the stack. In: Proceedings of the Spring Simulation 2012 Multiconference, Orlando, FL (2012)
Mittal, S., Risco-Martin, J.: Netcentric System of Systems Engineering with DEVS Unified Process. CRC Press (2012)
Mittal, S., Risco-Martin, J., Zeigler, B.: DEVS-based simulation web services for net-centric T&E. In: Proceedings of the 2007 Summer Computer Simulation Conference. pp. 357–366. Society for Computer Simulation International (2007)
Mittal, S., Risco-MartÃn, J., Zeigler, B.: DEVSML: automating DEVS execution over SOA towards transparent simulators. In: Proceedings of the 2007 Spring Simulation Multiconference, vol. 2, pp. 287–295. Society for Computer Simulation International (2007)
Mittal, S., Risco-MartÃn, J., Zeigler, B.: DEVS/SOA: A cross-platform framework for net-centric modeling and simulation in DEVS Unified Process. Simulation 85(7), 419–450 (2009)
Mittal, S., Zeigler, B., Risco-Martin, J.: Implementation of formal standard for interoperability in M&S/systems of systems integration with DEVS/SOA. International Journal of Command and Control 2 (2009)
Molnár, Z., Balasubramanian, D., Lédeczi, A.: An introduction to the Generic Modeling Environment. In: Proceedings of the TOOLS Europe 2007 Workshop on Model-Driven Development Tool Implementers Forum, Zurich, Switzerland (2007)
Newell, A.: Unified theories of cognition, vol. 187. Harvard Univ. Pr. (1994)
Risco-MartÃn, J., Moreno, A., Cruz, J., Aranda, J.: Interoperability between DEVS and non-DEVS models using DEVS/SOA. In: Proceedings of the 2009 Spring Simulation Multiconference on ZZZ, p. 147. Society for Computer Simulation International (2009)
Rozenblit, J., Hu, J., Kim, T., Zeigler, B.: Knowledge-based design and simulation environment (KBDSE): Foundational concepts and implementation. Journal of the Operational Research Society, 475–489 (1990)
Rozenblit, J., Huang, Y.: Rule-based generation of model structures in multifaceted modeling and system design. ORSA Journal on Computing 3(4), 330–344 (1991)
Rozenblit, J., Zeigler, B.: Representing and constructing system specifications using the system entity structure concepts. In: Proceedings of the 25th Conference on Winter Simulation, pp. 604–611. ACM (1993)
Schvaneveldt, R., Cohen, T.: Abductive reasoning and similarity: Some computational tools. Computer-Based Diagnostics and Systematic Analysis of Knowledge, 189–211 (2010)
Simon, H.: The sciences of the artificial, 2nd edn. The MIT Press (1981)
Siskind, J., McAllester, D.: Screamer: A portable efficient implementation of nondeterministic common lisp. Ircs technical reports series (1993)
Steele, G.: Common LISP: the language, 2nd edn. Digital Press (1990)
Sztipanovits, J., Karsai, G.: Model-integrated computing. Computer 30(4), 110–111 (1997)
Wainer, G., Al-Zoubi, K., Dalle, O., Hill, D., Mittal, S., Risco-Martin, J., Sarjoughian, H., Touraille, L., Traore, M., Zeigler, B.: Discrete Event Modeling and Simulation: Theory and Applications. In: DEVS Standardization: Ideas, Trends and Future (2010)
White, S., Sleeman, D.: Constraint handling in common lisp. Department of Computing Science Technical Report AUCS/TR9805, University of Aberdeen (1998)
Wilson, M.: Six views of embodied cognition. Psychonomic Bulletin & Review 9(4), 625–636 (2002)
Zeigler, B., Chi, S.: Model-based architecture concepts for autonomous systems design and simulation. In: An Introduction to Intelligent and Autonomous Control, pp. 57–78. Kluwer Academic Publishers (1993)
Zeigler, B., Hammonds, P.: Modeling & simulation-based data engineering: introducing pragmatics into ontologies for net-centric information exchange. Academic Press (2007)
Zeigler, B., Luh, C., Kim, T.: Model base management for multifacetted systems. ACM Transactions on Modeling and Computer Simulation (TOMACS) 1(3), 195–218 (1991)
Zeigler, B., Mittal, S., Hu, X.: Towards a formal standard for interoperability in m&s/system of systems integration. In: GMU-AFCEA Symposium on Critical Issues in C4I (2008)
Zeigler, B., Praehofer, H., Kim, T.: Theory of modeling and simulation: Integrating discrete event and continuous complex dynamic systems, 2nd edn. Academic Press (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Douglass, S.A., Mittal, S. (2013). A Framework for Modeling and Simulation of the Artificial. In: Tolk, A. (eds) Ontology, Epistemology, and Teleology for Modeling and Simulation. Intelligent Systems Reference Library, vol 44. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31140-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-31140-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31139-0
Online ISBN: 978-3-642-31140-6
eBook Packages: EngineeringEngineering (R0)