A Memory Model for Concept Hierarchy Representation and Commonsense Reasoning

Most associative memory models perform one level mapping between predefined sets of input and output patterns1 and are unable to represent hierarchical knowledge. Complex AI systems allow hierarchical representation of concepts, but generally do not have learning capabilities. In this paper, a memory model is proposed which forms concept hierarchy by learning sample relations between concepts. All concepts are represented in a concept layer. Relations between a concept and its defining lower level concepts, are chunked as cognitive codes represented in a coding layer. By updating memory contents in the concept layer through code firing in the coding layer, the system is able to perform an important class of commonsense reasoning, namely recognition and inheritance.

Neural Representations for Sensory-Motor Control, III: Learning a Body-Centered Representation of 3-D Target Position

A neural model is described of how the brain may autonomously learn a body-centered representation of 3-D target position by combining information about retinal target position, eye position, and head position in real time. Such a body-centered spatial representation enables accurate movement commands to the limbs to be generated despite changes in the spatial relationships between the eyes, head, body, and limbs through time. The model learns a vector representation--otherwise known as a parcellated distributed representation--of target vergence with respect to the two eyes, and of the horizontal and vertical spherical angles of the target with respect to a cyclopean egocenter. Such a vergence-spherical representation has been reported in the caudal midbrain and medulla of the frog, as well as in psychophysical movement studies in humans. A head-centered vergence-spherical representation of foveated target position can be generated by two stages of opponent processing that combine corollary discharges of outflow movement signals to the two eyes. Sums and differences of opponent signals define angular and vergence coordinates, respectively. The head-centered representation interacts with a binocular visual representation of non-foveated target position to learn a visuomotor representation of both foveated and non-foveated target position that is capable of commanding yoked eye movementes. This head-centered vector representation also interacts with representations of neck movement commands to learn a body-centered estimate of target position that is capable of commanding coordinated arm movements. Learning occurs during head movements made while gaze remains fixed on a foveated target. An initial estimate is stored and a VOR-mediated gating signal prevents the stored estimate from being reset during a gaze-maintaining head movement. As the head moves, new estimates arc compared with the stored estimate to compute difference vectors which act as error signals that drive the learning process, as well as control the on-line merging of multimodal information.

Genetically Generated Neural Networks II: Searching for an Optimal Representation

Genetic Algorithms (GAs) make use of an internal representation of a given system in order to perform optimization functions. The actual structural layout of this representation, called a genome, has a crucial impact on the outcome of the optimization process. The purpose of this paper is to study the effects of different internal representations in a GA, which generates neural networks. A second GA was used to optimize the genome structure. This structure produces an optimized system within a shorter time interval.

Ontological representation of design science research publications

A search result provided by existing digital library and web search systems typically comprises only a prioritised list of possible publications or web pages that meet the search criteria, possibly with excerpts and possibly with search terms highlighted. The research in progress reported in this poster contributes to a larger research effort to provide a readable summary of search results that synthesise relevant publications or web pages to provide results that meet four C’s: comprehensive, concise, coherent, and correct, as a more useful alternative to un-synthesised result lists. The scope of this research is limited to searching for and synthesising Design Science Research (DSR) publications that present the results of DSR, as an example problem domain.

A new proposition on the martingale representation theorem and on the approximate hedging of contingent claim in mean-variance criterion

In this work we revisit the problem of the hedging of contingent claim using mean-square criterion. We prove that in incomplete market, some probability measure can be identified so that becomes -martingale under .This is in fact a new proposition on the martingale representation theorem. The new results also identify a weight function that serves to be an approximation to the Radon-Nikodým derivative of the unique neutral martingale measure.

Coevolution of capitalism and political representation: The choice of electoral systems

Protocorporatist West European countries in which economic interests were collectively organized adopted PR in the first quarter of the twentieth century, whereas liberal countries in which economic interests were not collectively organized did not. Political parties, as Marcus Kreuzer points out, choose electoral systems. So how do economic interests translate into party political incentives to adopt electoral reform? We argue that parties in protocorporatist countries were representative of and closely linked to economic interests. As electoral competition in single member districts increased sharply up to World War I, great difficulties resulted for the representative parties whose leaders were seen as interest committed. They could not credibly compete for votes outside their interest without leadership changes or reductions in interest influence. Proportional representation offered an obvious solution, allowing parties to target their own voters and their organized interest to continue effective influence in the legislature. In each respect, the opposite was true of liberal countries. Data on party preferences strongly confirm this model. (Kreuzer's historical criticisms are largely incorrect, as shown in detail in the online supplementary Appendix.). © 2010 American Political Science Association.

Standardizing clinical trials workflow representation in UML for international site comparison.

BACKGROUND: With the globalization of clinical trials, a growing emphasis has been placed on the standardization of the workflow in order to ensure the reproducibility and reliability of the overall trial. Despite the importance of workflow evaluation, to our knowledge no previous studies have attempted to adapt existing modeling languages to standardize the representation of clinical trials. Unified Modeling Language (UML) is a computational language that can be used to model operational workflow, and a UML profile can be developed to standardize UML models within a given domain. This paper's objective is to develop a UML profile to extend the UML Activity Diagram schema into the clinical trials domain, defining a standard representation for clinical trial workflow diagrams in UML. METHODS: Two Brazilian clinical trial sites in rheumatology and oncology were examined to model their workflow and collect time-motion data. UML modeling was conducted in Eclipse, and a UML profile was developed to incorporate information used in discrete event simulation software. RESULTS: Ethnographic observation revealed bottlenecks in workflow: these included tasks requiring full commitment of CRCs, transferring notes from paper to computers, deviations from standard operating procedures, and conflicts between different IT systems. Time-motion analysis revealed that nurses' activities took up the most time in the workflow and contained a high frequency of shorter duration activities. Administrative assistants performed more activities near the beginning and end of the workflow. Overall, clinical trial tasks had a greater frequency than clinic routines or other general activities. CONCLUSIONS: This paper describes a method for modeling clinical trial workflow in UML and standardizing these workflow diagrams through a UML profile. In the increasingly global environment of clinical trials, the standardization of workflow modeling is a necessary precursor to conducting a comparative analysis of international clinical trials workflows.

Sticky central limit theorems on open books

Given a probability distribution on an open book (a metric space obtained by gluing a disjoint union of copies of a half-space along their boundary hyperplanes), we define a precise concept of when the Fréchet mean (barycenter) is sticky. This nonclassical phenomenon is quantified by a law of large numbers (LLN) stating that the empirical mean eventually almost surely lies on the (codimension 1 and hence measure 0) spine that is the glued hyperplane, and a central limit theorem (CLT) stating that the limiting distribution is Gaussian and supported on the spine.We also state versions of the LLN and CLT for the cases where the mean is nonsticky (i.e., not lying on the spine) and partly sticky (i.e., is, on the spine but not sticky). © Institute of Mathematical Statistics, 2013.

FROM THE AETHIOPICA TO THE RENAISSANCE: RECOVERING A STAGE TRADITION OF POSITIVE REPRESENTATION OF AFRICANS IN EARLY MODERN ENGLAND

This dissertation looks at the connection between Heliodorus's fifth-century prose romance, An Aethiopian History, certain Renaissance texts, and how these texts helped influence an alternate representation of Africans in the early modern world. Through their portrayals of Africans, early modern English playwrights frequently give the impression that Africans, especially black Africans, were people without accomplishments, without culture. Previously, however, this was not the case. Africans were depicted with dignity, as a tradition existed for this kind of representation--and Renaissance Europe had long been acquainted with the achievements of Africans, dating back to antiquity. As the source of several lost plays, the Aethiopica is instrumental in dramatizing Africans favorably, especially on the early modern stage, and helped shape a stage tradition that runs alongside the stereotyping of Africans. This Heliodoran tradition can be seen in works of Greene, Heywood, Jonson, Shakespeare, and others in the motifs of crosscultural and transracial romance, male and female chastity, racial metamorphosis, lost or abandoned babies, wandering heroes, and bold heroines. In Jonson's Masque of Blackness and Masque of Beauty, I establish a connection between these two masques and Heliodorus's Aethiopica and argue for a Heliodoran stage tradition implicit in both masques through the conceit of blanching. In The English Moore, I explore how Richard Brome uses the Heliodoran and Jonsonian materials to create a negative quality of blackness that participates in the dramatic tradition of the degenerate African on the English Renaissance stage. With Othello, I contend that it is a drama that can be seen in the Heliodoran tradition by stressing certain motifs found in the play that derives from the Aethiopica. Reading Othello this way provides us with a more layered and historicized interpretation of Shakespeare's protagonists. Othello's nationality and faith make his exalted position in Venice and the Venetian army credible and logical. His nobility and heroic status become more sharply defined, giving us a fuller understanding of the emphasis he places on chastity--both for himself and for Desdemona. Instead of a traditional, compliant, and submissive Desdemona, a courageous, resourceful, witty, and pure heroine emerges--one who lives by the dictates of her conscience than by the constraints of societal norms. Recovering the tradition of positive portrayal of Africans that originated from the Aethiopica necessitated an examination of eleven plays that I contend helped to frame the dramatic tradition under investigation. Six of these plays are continental dramas, and five are English. Although three of the English plays are lost and the other two are seventeenth-century dramas, their titles and names of their protagonists, like those of the six extant continental plays, share the names of Heliodorus's hero and heroine, making an exploration of the continental plays imperative to facilitate their use as paradigms in reconstructing the three lost English plays. These continental dramas show that plays whose titles derive from the Aethiopica itself or reflect the names of its major characters follow Heliodorus's text closely, enabling an investigation of the Heliodoran tradition on the early modern English stage. Recovering the Heliodoran tradition adds to the exploration of racial politics and the understanding of the dramatic tradition that constrained and enabled Renaissance playwrights' representation of race and gender.

The Representation of Emotion in Autonomic and Central Nervous System Activity

Phenomenologically, humans effectively label and report feeling distinct emotions, yet the extent to which emotions are represented categorically in nervous system activity is controversial. Theoretical accounts differ in this regard, some positing distinct emotional experiences emerge from a dimensional representation (e.g., along axes of valence and arousal) whereas others propose emotions are natural categories, with dedicated neural bases and associated response profiles. This dissertation aims to empirically assess these theoretical accounts by examining how emotions are represented (either as disjoint categories or as points along continuous dimensions) in autonomic and central nervous system activity by integrating psychophysiological recording and functional neuroimaging with machine-learning based analytical methods. Results demonstrate that experientially, emotional events are well-characterized both along dimensional and categorical frameworks. Measures of central and peripheral responding discriminate among emotion categories, but are largely independent of valence and arousal. These findings suggest dimensional and categorical aspects of emotional experience are driven by separable neural substrates and demonstrate that emotional states can be objectively quantified on the basis of nervous system activity.

Graphical representation and generalization in sequences problems

In this paper we present different ways used by Secondary students to generalize when they try to solve problems involving sequences. 359 Spanish students solved generalization problems in a written test. These problems were posed through particular terms expressed in different representations. We present examples that illustrate different ways of achieving various types of generalization and how students express generalization. We identify graphical representation of generalization as a useful tool of getting other ways of expressing generalization, and we analyze its connection with other ways of expressing it.

Temporal structure and enablement representation for mutual wills: A Petri net approach

Those temporal formalisms that are sporadically found nowadays in the literature of AI & Law are based on temporal logic. We claim a revived role for another major class of temporal representation: Petri nets. This formalism, popular in computing from the 1970s, had its potential recognized on occasion in the literature of legal computing as well, but apparently the discipline has lost sight of it, and its practitioners on average need be tutored into this kind of representation. Asynchronous, concurrent processes—for which the approach is well‐suited—are found in the legal domain, in disparate contexts. We develop an example for Mutual Wills.

Temporal representation of state transitions

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.

Feller transition functions, Resolvent Decomposition Theorems, and their application in unstable denumerable Markov processes

This paper surveys the recent progresses made in the field of unstable denumerable Markov processes. Emphases are laid upon methodology and applications. The important tools of Feller transition functions and Resolvent Decomposition Theorems are highlighted. Their applications particularly in unstable denumerable Markov processes with a single instantaneous state and Markov branching processes are illustrated.