A modal ontology of properties for quantum mechanics

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate.     

The role of analogy in ontology alignment: A study on LISA

Ontologies are explicit specifications of concepts and their relationships. In the context of a semantic web of independently developed ontologies, overcoming interoperability and heterogeneity issues is of considerable importance. Many semantic web applications, such as matching of instances in social networks, reasoning over combined knowledge bases, and knowledge sharing among services, rely on ontology alignment. While existing research in this area has developed a wide range of different heuristics, in this paper we propose to look towards cognitive science, specifically analogical reasoning, to support ontology alignment. We investigate the question whether ontology alignment is rooted in the same cognitive process as analogical reasoning. We apply the LISA system, a cognitively-based model of human analogical reasoning, to ontology alignment and present a comprehensive experimental study to determine its performance on ontology alignment problems.     

Open source and these United States

Over the past forty years a collaborative form of systems development has evolved on the electronic networks of the world. In the wake of the information technology revolution has come a proven method for developing, deploying, and maintaining these systems. This method, developed under the auspices of Department of Defense research grants, has resulted in the most successful and reliable software in existence. The method, based on collaborative intelligence, peer review and functional evolution, has rippled through the world of Information Technology. Its success depends on the uninhibited distribution of the currency of this realm: the source code, documentation and data that are the building blocks of complex information systems. To enhance collaboration and protect its creators, cutting edge source code is commonly released under Open Source licensing. The associated electronic information is released under open content licensing. Together, I call this duo Open Licensing. The Department of Defense can realize significant gains by the formal adoption, support and use of open licensed systems. We can lower costs and improve the quality of our systems and the speed at which they are developed. Open Licensing can improve the morale and retention of airmen and improve our ability to defend the nation. These benefits are accessible at any point in the acquisition cycle and even benefit deployed and operational systems. Open Licensing can reduce acquisition, development, maintenance and support costs and increased interoperability among our own systems and those of our allies. He has been stationed at the Pentagon and Phillips Laboratory. In addition to his military duties, he has taught at George Washington University and the University of Massachusetts at Lowell. He has an undergraduate degree in Electrical Engineering and Computer Science and graduate degrees in Business Administration and Computer Science.     

Formal assessment of reliability specifications in embedded cyber-physical systems

Reliability has become an integral component of the design intent of embedded cyber-physical systems. Safety-critical embedded systems are designed with specific reliability targets, and design practices include the appropriate allocation of both spatial and temporal redundancies in the implementation to meet such requirements. With increasing complexity of such systems and considering the large number of components in such systems, redundancy allocation requires a formal scientific basis. In this work, we profess the analysis of the redundancy requirement upfront with the objective of making it an integral part of the specification. The underlying problem is one of synthesizing a formal specification with built-in redundancy artifacts, from the formal properties of the error-free system, the error probabilities of the control components, and the reliability target. We believe that upfront formal analysis of redundancy requirements is important in budgeting the resource requirements from a cost versus reliability perspective. Several case-studies from the automotive domain highlight the efficacy of our proposal.     

Historical Semantic Chaining and Efficient Communication: The Case of Container Names

Semantic categories in the world's languages often reflect a historical process of chaining: A name for one referent is extended to a conceptually related referent, and from there on to other referents, producing a chain of exemplars that all bear the same name. The beginning and end points of such a chain might in principle be rather dissimilar. There is also evidence supporting a contrasting picture: Languages tend to support efficient, informative communication, often through semantic categories in which all exemplars are similar. Here, we explore this tension through computational analyses of existing cross‐language naming and sorting data from the domain of household containers. We find (a) formal evidence for historical semantic chaining, and (b) evidence that systems of categories in this domain nonetheless support near‐optimally efficient communication. Our results demonstrate that semantic chaining is compatible with efficient communication, and they suggest that chaining may be constrained by the functional need for efficient communication.     

Core knowledge

Compex cognitive skills such as reading and calculation and complex cognitive achievements such as formal science and mathematics may depend on a set of building block systems that emerge early in human ontogeny and phylogeny. These core knowledge systems show characteristic limits of domain and task specificity: Each serves to represent a particular class of entities for a particular set of purposes. By combining representations from these systems, however, human cognition may achieve extraordinary flexibility. Studies of cognition in human infants and in nonhuman primates therefore may contribute to understanding unique features of human knowledge.     

Information technology in municipal environmental policy: Automated registration,sure, but what about expert systems?

Dutch municipalities are confronted with an increased number of prescribed environmental tasks and also with a growing demand, both from the central government and environmental pressure groups, to undertake environmental activities on their own initiative. This development over-taxed the information management of most municipalities. In the past few years, computer technology was introduced to relieve part of this pressure (e.g., by automation of registration systems). In this article we present a classification of computer applications for environmental management, investigate their possible impact on the environmental knowledge and information system, and distinguish between a formal and informal knowledge domain. Special attention will be paid to expert systems.     

Foundations of an ontology of philosophy

We describe an ontology of philosophy that is designed to aid navigation through philosophical literature, including literature in the form of encyclopedia articles and textbooks and in both printed and digital forms. The ontology is designed also to serve integration and structuring of data pertaining to the philosophical literature, and in the long term also to support reasoning about the provenance and contents of such literature, by providing a representation of the philosophical domain that is oriented around what philosophical literature is about.     

Rule-based schema matching for ontology-based mediators

Mediating heterogeneous data sources heavily relies on explicit domain knowledge expressed, for example, as ontologies and mapping rules. We discuss the use of logic representations for mapping schema elements onto concepts expressed in a simplified ontology for cultural assets. Starting with a logic representation of the ontology, criteria for a rule-based schema matching are exemplified. Special requirements are the handling of uncertain information and the processing of hierarchical XML structures representing instances.     

The rationality of metaphysics

In this paper, it is argued that metaphysics, conceived as an inquiry into the ultimate nature of mind-independent reality, is a rationally indispensable intellectual discipline, with the a priori science of formal ontology at its heart. It is maintained that formal ontology, properly understood, is not a mere exercise in conceptual analysis, because its primary objective is a normative one, being nothing less than the attempt to grasp adequately the essences of things, both actual and possible, with a view to understanding as far as we can the fundamental structure of reality as a whole. Accordingly, it is urged, the deliverances of formal ontology have a modal and epistemic status akin to those of other a priori sciences, such as mathematics and logic, rather than constituting rivals to the claims of the empirical sciences, such as physics.     

Categorization in the wild

In studying categorization, cognitive science has focused primarily on cultural categorization, ignoring individual and institutional categorization. Because recent technological developments have made individual and institutional classification systems much more available and powerful, our understanding of the cognitive and social mechanisms that produce these systems is increasingly important. Furthermore, key aspects of categorization that have received little previous attention emerge from considering diverse types of categorization together, such as the social factors that create stability in classification systems, and the interoperability that shared conceptual systems establish between agents. Finally, the profound impact of recent technological developments on classification systems indicates that basic categorization mechanisms are highly adaptive, producing new classification systems as the situations in which they operate change.     

Theory structuralism in a rigid framework

This paper develops the first parts of a logical framework for the empirical sciences, by means of a redefinition of theory structuralism as originally developed by Joseph Sneed, Wolfgang Stegmüller, and others, in the context of a ??rigid?? logic as based on a fixed (therefore rigid) ontology. The paper defends a formal conception of the empirical sciences that has an irreducible ontological basis and is unable, in general, to provide purely structural characterizations of the domain of a theory. The extreme rationalist utopia of a characterization of the real world ??up to isomorphism??, therefore, is rejected.     

Heideggerian Meditations on an Alternative Ontology for Ecological Psychology: A Response to Turvey's (1992) Proposal

In his last book, Gibson (1979/1986) clearly described crucial elements for an ontology for ecological psychology, but left his overarching ontology implicit and incomplete. As a partial remedy, Turvey (1992) presented a compact, well- packaged outline of an ontology for ecological psychology derived in part from the work of Bunge. In appreciation of Turvey's pioneering and thought-provoking attack on this difficult issue, we offer our own reflections on Turvey's propertied realism. In reviewing Turvey's work we use both the insights of Heidegger and recent experimental findings in ecological psychology to argue for the need for a different ontological foundation. We argue that a Heideggerian ontology can provide us with a broader and more complete ontological foundation with which to deal with complex issues, such as prospective control, than can Turvey's proposed ontology. Also, we suggest that a Heideggerian ontology can be used to supply what is missing or understated in Gibson. We argue against propertied realism as a basis for ecological psychology's ontology and contend that a proper conception of intentionality provides a way to transcend traditional object-subject ontologies. We propose that fields should be considered real ontological entities that differ from matter. Finally, we reflect on how the highly nonscientific language of Heidegger might possibly be formalized to make it more suitable for scientific use.     

Designing the human stress ontology: A formal framework to capture and represent knowledge about human stress

A large number of papers have been published on the topic of human stress. There is a need to organise this knowledge under a unifying framework, linking and analysing it in mutual combinations so that new knowledge can emerge. Ontology is an enriched conceptual model for representing domain knowledge. An ontology can be designed to provide a framework for knowledge about human stress. This agreed knowledge model will facilitate knowledge sharing and communications. Additionally, ontologies are machine‐readable and can enable automated programs such as data mining to intelligently access and analyse information. The purpose of this paper is to discuss and explain some of the common stress‐related terms, their definitions, classifications and possible interrelations between them. A top‐layer of the human stress ontology (HSO) model is presented, which will continue to evolve as more research contributions and knowledge become available. It is believed that this framework can be used to build powerful tools to assist researchers and therapists in evaluating stress and facilitating their communication in both research and clinical spaces.     

Three Dual Ontologies

In this paper we give an example of intertranslatability between an ontology of individuals (nominalism), an ontology of properties (realism), and an ontology of facts (factualism). We demonstrate that these three ontologies are dual to each other, meaning that each ontology can be translated into, and recaptured from, each of the others. The aim of the enterprise is to raise the possibility that, at least in some settings, there may be no need for considerations of ontological primacy. Whether the world is made up of things, or properties, or facts, may be no more than a matter of how we look at it.     

Building contexts that support effective community responses to HIV/AIDS: a South African case study

In this paper we discuss our conceptualisation of a 'health-enabling social environment', and some of the strategies we are currently using to build social contexts most likely to support effective HIV/AIDS management in southern Africa. In developing these ideas, we draw on our on-going collaboration with residents of Entabeni, a remote rural community in South Africa where 43% of pregnant women are HIV positive. The aim of this collaboration is to facilitate contextual changes that will enable more effective community-led HIV/AIDS management in an isolated area where people have little or no access to formal health or welfare support, and where HIV/AIDS is heavily stigmatised. We give an account of the three phases of collaboration to date. These include research; the dissemination of findings and community consultation about the way forward; preliminary project activities (skills training for volunteer health workers; partnership building and a youth rally) as a way of illustrating what we believe are six key strategies for facilitating the development of 'AIDS-competent' communities: building knowledge and basic skills; creating social spaces for dialogue and critical thinking; promoting a sense of local ownership of the problem and incentives for action; emphasising community strengths and resources; mobilising existing formal and informal local networks; and building partnerships between marginalized communities and more powerful outside actors and agencies, locally, nationally and internationally. We discuss some of the triumphs and trials of this work, concluding with a discussion of the need to set realistic goals when working at the community level in highly conservative patriarchal communities to tackle problems which may be shaped by economic and political processes over which local people have little control.     

Toward the development of a feature-space representation for a complex natural category domain

This article reports data sets aimed at the development of a detailed feature-space representation for a complex natural category domain, namely 30 common subtypes of the categories of igneous, metamorphic, and sedimentary rocks. We conducted web searches to develop a library of 12 tokens each of the 30 subtypes, for a total of 360 rock pictures. In one study, subjects provided ratings along a set of 18 hypothesized primary dimensions involving visual characteristics of the rocks. In other studies, subjects provided similarity judgments among pairs of the rock tokens. Analyses are reported to validate the regularity and information value of the dimension ratings. In addition, analyses are reported that derive psychological scaling solutions from the similarity-ratings data and that interrelate the derived dimensions of the scaling solutions with the directly rated dimensions of the rocks. The stimulus set and various forms of ratings data, as well as the psychological scaling solutions, are made available on an online website (https://osf.io/w64fv/) associated with the article. The study provides a fundamental data set that should be of value for a wide variety of research purposes, including: (1) probing the statistical and psychological structure of a complex natural category domain, (2) testing models of similarity judgment, and (3) developing a feature-space representation that can be used in combination with formal models of category learning to predict classification performance in this complex natural category domain.     

The Willingness of Military Members to Seek Help: The Role of Social Involvement and Social Responsibility

Anchored in the social organization theory of action and change, we use data from a large sample of active‐duty Air Force members to examine the direct and indirect influence of social involvement and social responsibility on willingness to seek help in times of need via trust in formal systems and informal supports. Group comparisons are conducted between junior male, junior female, senior male, and senior female service members. The key mediational path in the model for all groups is the connection between social involvement and willingness to seek help via trust in formal systems. These results can inform both unit‐ and community‐level interventions intended to increase the likelihood that active‐duty AF members will seek help in times of need.