Integration Systems and Interaction Spaces

作者: Christopher Landauer , Kirstie L. Bellman

DOI: 10.1007/978-94-009-0349-4_13

关键词: SoftwareIntelligent decision support systemComputer scienceFlexibility (engineering)Rotation formalisms in three dimensionsAerospaceSystems engineeringTopologyAgency (sociology)Research programProcess (engineering)

摘要: Integration systems are abstract methods of combining theories, computational paradigms, algorithms, and other rule-driven symbolic processing systems. This paper discusses our hopes progress in creating a principled approach to theory integration for large First, we discuss two types systems, distinguished by the flexibility process infrastructure that they retain. In next section paper, present an through explicit meta-knowledge. following section, introduce some work on wrappings with text-based Virtual Reality environments form new kind infrastructure, last requirements formalisms have emerged from working these testbeds. research was supported part Aerospace Corporation’s Sponsored Research Program, Federal Highway Administration’s Office Advanced Research, Projects Agency’s Software Intelligent Systems Technology Office.

参考文章(21)
Christopher Landauer, Wrapping Mathematical Tools Computing Science and Statistics. pp. 415- 419 ,(1992) , 10.1007/978-1-4612-2856-1_66
Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott, Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems frontiers of combining systems. pp. 157- 174 ,(1994)
Donald O. Walter, K. Bellman, Some issues in model integration ,(1990)
D. Nardi, Pattie Maes, Meta-Level Architectures and Reflection Elsevier Science Inc.. ,(1988)
Pavel Curtis, Mudding: Social phenomena in text-based virtual realities. Lawrence Erlbaum Associates Publishers. ,(1997)
Kirstie L. Bellman, The modeling issues inherent in testing and evaluating knowledge-based systems Expert Systems With Applications. ,vol. 1, pp. 199- 215 ,(1990) , 10.1016/0957-4174(90)90002-C
Richard Bellman, Paul Brock, On the Concepts of a Problem and Problem-Solving American Mathematical Monthly. ,vol. 67, pp. 119- 134 ,(1960) , 10.1080/00029890.1960.11989461
Reed D. Riner, Jennifer A. Clodius, Simulating Future Histories: The Nau Solar System Simulation and Mars Settlement Anthropology & Education Quarterly. ,vol. 26, pp. 95- 104 ,(1995) , 10.1525/AEQ.1995.26.1.04X0787G