Deriving explanations from partial temporal information

The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human thinking, and to use the methods of human intelligence to underpin engineering solutions. In particular, in the domain of Artificial Intelligence, temporal knowledge may be uncertain and incomplete due to the unavailability of complete and absolute temporal information. This paper introduces an inferential framework for deriving logical explanations from partial temporal information. Based on a graphical representation which allows expression of both absolute and relative temporal knowledge in incomplete forms, the system can deliver a verdict to the question if a given set of statements is temporally consistent or not, and provide understandable logical explanation of analysis by simplified contradiction and rule based reasoning

Theory and measure of certain image norms in SAR

The principal properties of synthetic aperture radar SAR imagery of point and distributed objects are summarized. Against this background, the response of a SAR (Synthetic Aperture Radar) to the moving surface of the sea is considered. Certain conclusions are drawn as to the mechanism of interaction between microwaves and the sea surface. Focus and speckle spectral tests may be used on selected SAR imagery for areas of the ocean. The fine structure of the sea imagery is sensitive to processor focus and adjustment. The ocean reflectivity mechanism must include point like scatterers of sufficient radar cross section to dominate the return from certain individual resolution elements. Both specular and diffuse scattering mechanisms are observed together, to varying degree. The effect is sea state dependent. Several experiments are proposed based on imaging theory that could assist in the investigation of reflectivity mechanisms

Horizontal Inequalities and Ethnonationalist Civil War: A Global Comparison

Contemporary research on civil war has largely dismissed the role of political and economic grievances, focusing instead on opportunities for conflict. However, these strong claims rest on questionable theoretical and empirical grounds. Whereas scholars have examined primarily the relationship between individual inequality and conflict, we argue that horizontal inequalities between politically relevant ethnic groups and states at large can promote ethnonationalist conflict. Extending the empirical scope to the entire world, this article introduces a new spatial method that combines our newly geocoded data on ethnic groups’ settlement areas with spatial wealth estimates. Based on these methodological advances, we find that, in highly unequal societies, both rich and poor groups fight more often than those groups whose wealth lies closer to the country average. Our results remain robust to a number of alternative sample definitions and specifications.</jats:p

Agent independent task planning

Agent-Independent Planning is a technique that allows the construction of activity plans without regard to the agent that will perform them. Once generated, a plan is then validated and translated into instructions for a particular agent, whether a robot, crewmember, or software-based control system. Because Space Station Freedom (SSF) is planned for orbital operations for approximately thirty years, it will almost certainly experience numerous enhancements and upgrades, including upgrades in robotic manipulators. Agent-Independent Planning provides the capability to construct plans for SSF operations, independent of specific robotic systems, by combining techniques of object oriented modeling, nonlinear planning and temporal logic. Since a plan is validated using the physical and functional models of a particular agent, new robotic systems can be developed and integrated with existing operations in a robust manner. This technique also provides the capability to generate plans for crewmembers with varying skill levels, and later apply these same plans to more sophisticated robotic manipulators made available by evolutions in technology

Counterfactual Causality from First Principles?

In this position paper we discuss three main shortcomings of existing approaches to counterfactual causality from the computer science perspective, and sketch lines of work to try and overcome these issues: (1) causality definitions should be driven by a set of precisely specified requirements rather than specific examples; (2) causality frameworks should support system dynamics; (3) causality analysis should have a well-understood behavior in presence of abstraction.Comment: In Proceedings CREST 2017, arXiv:1710.0277

Deficits of knowledge versus executive control in semantic cognition: Insights from cued naming

Deficits of semantic cognition in semantic dementia and in aphasia consequent on CVA (stroke) are qualitatively different. Patients with semantic dementia are characterised by progressive degradation of central semantic representations, whereas multimodal semantic deficits in stroke aphasia reflect impairment of executive processes that help to direct and control semantic activation in a task-appropriate fashion [Jefferies, E., & Lambon Ralph, M. A. (2006). Semantic impairment in stroke aphasia vs. semantic dementia: A case-series comparison. Brain 129, 2132-2147]. We explored interactions between these two aspects of semantic cognition by examining the effects of cumulative phonemic cueing on picture naming in case series of these two types of patient. The stroke aphasic patients with multimodal semantic deficits cued very readily and demonstrated near-perfect name retrieval when cumulative phonemic cues reached or exceeded the target name's uniqueness point. Therefore, knowledge of the picture names was largely intact for the aphasic patients, but they were unable to retrieve this information without cues that helped to direct activation towards the target response. Equivalent phonemic cues engendered significant but much more limited benefit to the semantic dementia patients: their naming was still severely impaired even when most of the word had been provided. In contrast to the pattern in the stroke aphasia group, successful cueing was mainly confined to the more familiar un-named pictures. We propose that this limited cueing effect in semantic dementia follows from the fact that concepts deteriorate in a graded fashion [Rogers, T. T., Lambon Ralph, M. A., Garrard, P., Bozeat, S., McClelland, J. L., & Hodges, J. R., et al. (2004). The structure and deterioration of semantic memory: A neuropsychological and computational investigation. Psychological Review 111, 205-235]. For partially degraded items, the residual conceptual knowledge may be insufficient to drive speech production to completion but these items might reach threshold when they are bolstered by cues. (C) 2007 Elsevier Ltd. All rights reserved

What Constitutes an Explanation in Biology?

One of biology's fundamental aims is to generate understanding of the living world around—and within—us. In this chapter, I aim to provide a relatively nonpartisan discussion of the nature of explanation in biology, grounded in widely shared philosophical views about scientific explanation. But this discussion also reflects what I think is important for philosophers and biologists alike to appreciate about successful scientific explanations, so some points will be controversial, at least among philosophers. I make three main points: (1) causal relationships and broad patterns have often been granted importance to scientific explanations, and they are in fact both important; (2) some explanations in biology cite the components of or processes in systems that account for the systems’ features, whereas other explanations feature large-scale or structural causes that influence a system; and (3) there can be multiple different explanations of a given biological phenomenon, explanations that respond to different research aims and can thus be compatible with one another even when they may seem to disagree