Using Insights from Psychology and Language to Improve How People Reason with Description Logics

Inspired by insights from theories of human reasoning and language, we propose additions to the Manchester OWL Syntax to improve comprehensibility. These additions cover: functional and inverse functional properties, negated conjunction, the definition of exceptions, and existential and universal restrictions. By means of an empirical study, we demonstrate the effectiveness of a number of these additions, in particular: the use of solely to clarify the uniqueness of the object in a functional property; the replacement of and with intersection in conjunction, which was particularly beneficial in negated conjunction; the use of except as a substitute for and not; and the replacement of some with including and only with noneOrOnly, which helped in certain situations to clarify the nature of these restrictions

Fish response to the annual flooding regime in the Kavango River along the Angola/Namibia border

The results of the first seasonal survey of the fish of the Kavango River floodplain along the Angola/Namibia border are reported. The river experiences peak flooding from February through June, with the 375-km long floodplain extending up to 5 km across. The floodplain was sampled five times in 1992 by seine, fish traps and rotenone. The data indicated a pronounced structural and functional response of the fish community in relation to the alternating flood and drought conditions in the river. Catch per unit effort and diversity were highest during months of peak flooding (May and June), and lowest during the month of least flow (November). The reproductive strategies of K-selected piscivorous cichlids and tigerfish were in advance of flooding. Many r-selected invertivores, especially cyprinids, were in relative synchrony with flooding and the stimulation of littoral zone plant growth, while other invertivores lagged the cyprinids. Herbivores had lowest relative abundance during peak flooding; this seemingly inverse relationship with the invertivores should not be interpreted as replacement, but rather the swamping of the system with young-of-the-year r-selected invertivores. The data support the Flood Pulse Concept, which hypothesizes that flooding is the major “driver” of productivity in lowland or floodplain rivers.Keywords: behaviour, floodplain fishery, migration, Okavango Delta, r-/K-selection, subsistence fisheryAfrican Journal of Marine Science 2001, 23: 449–46

Reasoning from connectives and relations between entities

This article reports investigations of inferences that depend both on connectives between clauses, such as or else, and on relations between entities, such as in the same place as. Participants made more valid inferences from biconditionals—for instance, Ann is taller than Beth if and only if Beth is taller than Cath—than from exclusive disjunctions (Exp. 1). They made more valid transitive inferences from a biconditional when a categorical premise affirmed rather than denied one of its clauses, but they made more valid transitive inferences from an exclusive disjunction when a categorical premise denied rather than affirmed one of its clauses (Exp. 2). From exclusive disjunctions, such as Either Ann is not in the same place as Beth or else Beth is not in the same place as Cath, individuals tended to infer that all three individuals could be in different places, whereas in fact this was impossible (Exps. 3a and 3b). The theory of mental models predicts all of these results

Artificial Brains and Hybrid Minds

The paper develops two related thought experiments exploring variations on an ‘animat’ theme. Animats are hybrid devices with both artificial and biological components. Traditionally, ‘components’ have been construed in concrete terms, as physical parts or constituent material structures. Many fascinating issues arise within this context of hybrid physical organization. However, within the context of functional/computational theories of mentality, demarcations based purely on material structure are unduly narrow. It is abstract functional structure which does the key work in characterizing the respective ‘components’ of thinking systems, while the ‘stuff’ of material implementation is of secondary importance. Thus the paper extends the received animat paradigm, and investigates some intriguing consequences of expanding the conception of bio-machine hybrids to include abstract functional and semantic structure. In particular, the thought experiments consider cases of mind-machine merger where there is no physical Brain-Machine Interface: indeed, the material human body and brain have been removed from the picture altogether. The first experiment illustrates some intrinsic theoretical difficulties in attempting to replicate the human mind in an alternative material medium, while the second reveals some deep conceptual problems in attempting to create a form of truly Artificial General Intelligence

Brain activity and connectivity during poetry composition: Toward a multidimensional model of the creative process

Creativity, a multifaceted construct, can be studied in various ways, for example, investigating phases of the creative process, quality of the creative product, or the impact of expertise. Previous neuroimaging studies have assessed these individually. Believing that each of these interacting features must be examined simultaneously to develop a comprehensive understanding of creative behavior, we examined poetry composition, assessing process, product, and expertise in a single experiment. Distinct activation patterns were associated with generation and revision, two major phases of the creative process. Medial prefrontal cortex (MPFC) was active during both phases, yet responses in dorsolateral prefrontal and parietal executive systems (DLPFC/IPS) were phase‐dependent, indicating that while motivation remains unchanged, cognitive control is attenuated during generation and re‐engaged during revision. Experts showed significantly stronger deactivation of DLPFC/IPS during generation, suggesting that they may more effectively suspend cognitive control. Importantly however, similar overall patterns were observed in both groups, indicating the same cognitive resources are available to experts and novices alike. Quality of poetry, assessed by an independent panel, was associated with divergent connectivity patterns in experts and novices, centered upon MPFC (for technical facility) and DLPFC/IPS (for innovation), suggesting a mechanism by which experts produce higher quality poetry. Crucially, each of these three key features can be understood in the context of a single neurocognitive model characterized by dynamic interactions between medial prefrontal areas regulating motivation, dorsolateral prefrontal, and parietal areas regulating cognitive control and the association of these regions with language, sensorimotor, limbic, and subcortical areas distributed throughout the brain. Hum Brain Mapp 36:3351–3372, 2015. © 2015 Wiley Periodicals, Inc.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/113109/1/hbm22849.pd

Automatic estimation of harmonic tension by distributed representation of chords

The buildup and release of a sense of tension is one of the most essential aspects of the process of listening to music. A veridical computational model of perceived musical tension would be an important ingredient for many music informatics applications. The present paper presents a new approach to modelling harmonic tension based on a distributed representation of chords. The starting hypothesis is that harmonic tension as perceived by human listeners is related, among other things, to the expectedness of harmonic units (chords) in their local harmonic context. We train a word2vec-type neural network to learn a vector space that captures contextual similarity and expectedness, and define a quantitative measure of harmonic tension on top of this. To assess the veridicality of the model, we compare its outputs on a number of well-defined chord classes and cadential contexts to results from pertinent empirical studies in music psychology. Statistical analysis shows that the model's predictions conform very well with empirical evidence obtained from human listeners.Comment: 12 pages, 4 figures. To appear in Proceedings of the 13th International Symposium on Computer Music Multidisciplinary Research (CMMR), Porto, Portuga

Providing Self-Aware Systems with Reflexivity

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept implementation of computational reflexion, viewed as an enriched form of program interpretation and a way to dynamically "augment" a computational process.Comment: 12 pages plus bibliography, appendices with code description, code of the proof-of-concept implementation, and examples of executio

Designing for human–agent collectives: display considerations

The adoption of unmanned systems is growing at a steady rate, with the promise of improved task effectiveness and decreased costs associated with an increasing multitude of operations. The added flexibility that could potentially enable a single operator to control multiple unmanned platforms is thus viewed as a potential game-changer in terms of both cost and effectiveness. The use of advanced technologies that facilitate the control of multiple systems must lie within control frameworks that allow the delegation of authority between the human and the machine(s). Agent-based systems have been used across different domains in order to offer support to human operators, either as a form of decision support offered to the human or to directly carry out behaviours that lead to the achievement of a defined goal. This paper discusses the need for adopting a human–agent interaction paradigm in order to facilitate an effective human–agent partnership. An example of this is discussed, in which a single human operator may supervise and control multiple unmanned platforms within an emergency response scenario

Quantitative comparison of immunohistochemical staining measured by digital image analysis versus pathologist visual scoring

<p>Abstract</p> <p>Immunohistochemical (IHC) assays performed on formalin-fixed paraffin-embedded (FFPE) tissue sections traditionally have been semi-quantified by pathologist visual scoring of staining. IHC is useful for validating biomarkers discovered through genomics methods as large clinical repositories of FFPE specimens support the construction of tissue microarrays (TMAs) for high throughput studies. Due to the ubiquitous availability of IHC techniques in clinical laboratories, validated IHC biomarkers may be translated readily into clinical use. However, the method of pathologist semi-quantification is costly, inherently subjective, and produces ordinal rather than continuous variable data. Computer-aided analysis of digitized whole slide images may overcome these limitations. Using TMAs representing 215 ovarian serous carcinoma specimens stained for S100A1, we assessed the degree to which data obtained using computer-aided methods correlated with data obtained by pathologist visual scoring. To evaluate computer-aided image classification, IHC staining within pathologist annotated and software-classified areas of carcinoma were compared for each case. Two metrics for IHC staining were used: the percentage of carcinoma with S100A1 staining (%Pos), and the product of the staining intensity (optical density [OD] of staining) multiplied by the percentage of carcinoma with S100A1 staining (OD*%Pos). A comparison of the IHC staining data obtained from manual annotations and software-derived annotations showed strong agreement, indicating that software efficiently classifies carcinomatous areas within IHC slide images. Comparisons of IHC intensity data derived using pixel analysis software versus pathologist visual scoring demonstrated high Spearman correlations of 0.88 for %Pos (p < 0.0001) and 0.90 for OD*%Pos (p < 0.0001). This study demonstrated that computer-aided methods to classify image areas of interest (e.g., carcinomatous areas of tissue specimens) and quantify IHC staining intensity within those areas can produce highly similar data to visual evaluation by a pathologist.</p> <p>Virtual slides</p> <p>The virtual slide(s) for this article can be found here: <url>http://www.diagnosticpathology.diagnomx.eu/vs/1649068103671302</url></p