Computation of invariants, which are approximate reachability information for state-space search problems such as AI planning, has been considered to be more scalable when using a schematic representation of actions/events rather than an instantiated/ground representation. A disadvantage of schematic algorithms, however, is their complexity, which also leads to high runtimes when the number of ...

Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern of proof from several examples of a family of proofs. In this paper we examine several interesting aspects of the use of schematic proofs in mathematics. Furthermore, we pose several conjectures about the psychologica...

The neural correlates of two hypothesized emotional processing modes, i.e., schematic and propositional modes, were investigated with positron emission tomography. Nineteen subjects performed an emotional mental imagery task while mentally repeating sentences linked to the meaning of the imagery script. In the schematic conditions, participants repeated metaphoric sentences, whereas in the prop...

-An electronic information system for storing, transmitting, receiving and displaying electrical circuit schematics is presented. The schematics are binary coded for computer storage and for transmission over telephone grade communications lines. A complete schematic can be transmitted in a matter of a few seconds with no degradation in the image quality. A standard set of schematic symbols and...

We outline an approach to high-level interaction with autonomous robots by means of schematic maps. Schematic maps are knowledge representation structures to encode qualitative spatial information about physical environments. We present a scenario in which robots rely on high-level knowledge from perception and instruction to perform navigation tasks in physical environments. We discuss the gen...

An approach to high-level interaction with autonomous robots by means of schematic maps is outlined. Schematic maps are knowledge representation structures to encode qualitative spatial information about a physical environment. A scenario is presented in which robots rely on highlevel knowledge from perception and instruction to perform navigation tasks in a physical environment. The general pr...

1. In humans, two-thirds of the visual field is projected onto the retina of both eyes. One important function of the ocular motor system, therefore, is to control eye movements and position each eye so that an object of interest projects to corresponding points on each retina and is thus perceived as only a single object. The neural systems designed to achieve these goals operate both automati...

Emotional facial expressions provide important non-verbal cues as to the imminent behavioural intentions of a second party. Hence, within emotion science the processing of faces (emotional or otherwise) has been at the forefront of research. Notably, however, such research has led to a number of debates including the ecological validity of utilising schematic faces in emotion research, and the ...