Results 1  10
of
47
Distributed representations of structure: A Theory of Analogical Access and Mapping
 PSYCHOLOGICAL REVIEW
, 1997
"... This article describes an integrated theory of analogical access and mapping, instantiated in a ..."
Abstract

Cited by 354 (39 self)
 Add to MetaCart
This article describes an integrated theory of analogical access and mapping, instantiated in a
Highlevel perception, representation, and analogy: A critique of artificial intelligence methodology
 Journal of Experimental and Theoretical Artificial Intelligence
, 1992
"... Highlevel perception the process of making sense of complex data at an abstract, conceptual levelCis fundamental to human cognition.Through highlevel perception, chaotic environmental stimuli are organized into the mental representations that are used throughout cognitive processing.Much work in ..."
Abstract

Cited by 124 (9 self)
 Add to MetaCart
(Show Context)
Highlevel perception the process of making sense of complex data at an abstract, conceptual levelCis fundamental to human cognition.Through highlevel perception, chaotic environmental stimuli are organized into the mental representations that are used throughout cognitive processing.Much work in traditional artificial intelligence has ignored the process of highlevel perception, by starting with handcoded representations. In this paper, we argue that this dismissal of perceptual processes leads to distorted models of human cognition.We examine some existing artificialintelligence modelsCnotably BACON, a model of scientific discovery, and the StructureMapping Engine, a model of analogical thoughtCand argue that these are flawed precisely because they downplay the role of highlevel perception. Further, we argue that perceptual processes cannot be separated from other cognitive processes even in principle, and therefore that traditional artificialintelligence models cannot be defended by supposing the existence of a "representation module " that supplies representations readymade.Finally, we describe a model of highlevel perception and analogical thought in which perceptual processing is integrated with analogical mapping, leading to the flexible buildup of representations appropriate to a given context.
Computational techniques for the verification of hybrid systems
 Proceedings of the IEEE
, 2003
"... Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling, analysis, and control of systems that involve the interaction of both discrete state systems, represented by finite automata, and continuous sta ..."
Abstract

Cited by 67 (8 self)
 Add to MetaCart
Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling, analysis, and control of systems that involve the interaction of both discrete state systems, represented by finite automata, and continuous state dynamics, represented by differential equations. The embedded autopilot of a modern commercial jet is a prime example of a hybrid system: the autopilot modes correspond to the application of different control laws, and the logic of mode switching is determined by the continuous state dynamics of the aircraft, as well as through interaction with the pilot. To understand the behavior of hybrid systems, to simulate, and to control these systems, theoretical advances, analyses, and numerical tools are needed. In this paper, we first present a general model for a hybrid system along with an overview of methods for verifying continuous and hybrid systems. We describe a particular verification
Beyond HYTECH: Hybrid systems analysis using interval numerical methods
 in HSCC
, 2000
"... ..."
(Show Context)
Reachability Analysis Using Polygonal Projections
 IN HYBRID SYSTEMS: COMPUTATION AND CONTROL
, 1999
"... Coho is a reachability analysis tool for systems modeled by nonlinear, ordinary differential equations. Coho represents highdimensional objects using projections onto planes corresponding to pairs of variables. This representation is compact and allows efficient algorithms from computational geome ..."
Abstract

Cited by 59 (5 self)
 Add to MetaCart
Coho is a reachability analysis tool for systems modeled by nonlinear, ordinary differential equations. Coho represents highdimensional objects using projections onto planes corresponding to pairs of variables. This representation is compact and allows efficient algorithms from computational geometry to be exploited while also capturing dependencies in the behaviour of related variables. Reachability is performed by integration where methods from linear programming and linear systems theory are used to bound trajectories emanating from each face of the object. This paper has two contributions: first, we describe the implementation of Coho and, second, we present analysis results obtained by using Coho on several simple models.
Reachability analysis of nonlinear systems using conservative approximation
 In Oded Maler and Amir Pnueli, editors, Hybrid Systems: Computation and Control, LNCS 2623
, 2003
"... ..."
Computational Techniques for the Verification and Control of Hybrid Systems
 PROCEEDINGS OF THE IEEE
, 2003
"... Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling, analysis, and control of systems which involve the interaction of both discrete state systems, represented by finite automata, and continuous ..."
Abstract

Cited by 43 (9 self)
 Add to MetaCart
Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling, analysis, and control of systems which involve the interaction of both discrete state systems, represented by finite automata, and continuous state dynamics, represented by differential equations. The embedded autopilot of a modern commercial jet is a prime example of a hybrid system: the autopilot modes correspond to the application of different control laws, and the logic of mode switching is determined by the continuous state dynamics of the aircraft, as well as through interaction with the pilot. Embedded
Exploring the symbolic/subsymbolic continuum: A case study of raam
 The Symbolic and Connectionist Paradigms: Closing the Gap
, 1992
"... It is di cult to clearly de ne the symbolic and subsymbolic paradigms; each is usually described by its tendencies rather than any one de nitive property. Symbolic processing is generally characterized by hardcoded, explicit rules operating on discrete, static tokens, while subsymbolic processing i ..."
Abstract

Cited by 43 (5 self)
 Add to MetaCart
It is di cult to clearly de ne the symbolic and subsymbolic paradigms; each is usually described by its tendencies rather than any one de nitive property. Symbolic processing is generally characterized by hardcoded, explicit rules operating on discrete, static tokens, while subsymbolic processing is associated with learned, fuzzy constraints a ecting continuous,
Integrating Analogical Mapping and General Problem Solving: The PathMapping Theory
, 1999
"... This article describes the pathmapping theory of how humans integrate analogical mapping and general problem solving. The theory posits that humans represent analogs with declarative roles, map analogs by lowerlevel retrieval of analogous role paths, and coordinate mappings with higherlevel organ ..."
Abstract

Cited by 30 (11 self)
 Add to MetaCart
(Show Context)
This article describes the pathmapping theory of how humans integrate analogical mapping and general problem solving. The theory posits that humans represent analogs with declarative roles, map analogs by lowerlevel retrieval of analogous role paths, and coordinate mappings with higherlevel organizational knowledge. Implemented in the ACTR cognitive architecture, the pathmapping theory enables models of analogical mapping behavior to incorporate and interface with other problemsolving knowledge. Pathmapping models thus can include taskspecific skills such as encoding analogs or generating responses, and can make behavioral predictions at the level of realworld metrics such as latency or correctness. We show that the pathmapping theory can successfully account for the major phenomena addressed by previous theories of analogy. We also describe a pathmapping model that can account for subjects’ incremental eyemovement and typing behavior in a storymapping task. We discuss extensions and implications of this work to other areas of analogy and problemsolving research.
Lecture notes on hybrid systems
, 2004
"... The aim of this course is to introduce some fundamental concepts from the area of hybrid systems, that is dynamical systems that involve the interaction of continuous (real valued) states and discrete (finite valued) states. Applications where these types of dynamics play a prominent role will be hi ..."
Abstract

Cited by 22 (0 self)
 Add to MetaCart
The aim of this course is to introduce some fundamental concepts from the area of hybrid systems, that is dynamical systems that involve the interaction of continuous (real valued) states and discrete (finite valued) states. Applications where these types of dynamics play a prominent role will be highlighted. We will introduce general methods for investigating properties such as existence of solutions, reachability and decidability of hybrid systems. The methods will be demonstrated on the motivating applications. Students who successfully complete the course should be able to appreciate the diversity of phenomena that arise in hybrid systems and how discrete “discrete ” entities and concepts such as automata, decidability and bisimulation can coexist with continuous entities and