Formal Concept Analysis and Resolution in Algebraic Domains

We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.Comment: 14 pages. We have rewritten the old version according to the suggestions of some referees. The results are the same. The presentation is completely differen

LOGICAL AND PSYCHOLOGICAL PARTITIONING OF MIND: DEPICTING THE SAME MAP?

The aim of this paper is to demonstrate that empirically delimited structures of mind are also differentiable by means of systematic logical analysis. In the sake of this aim, the paper first summarizes Demetriou's theory of cognitive organization and growth. This theory assumes that the mind is a multistructural entity that develops across three fronts: the processing system that constrains processing potentials, a set of specialized structural systems (SSSs) that guide processing within different reality and knowledge domains, and a hypecognitive system that monitors and controls the functioning of all other systems. In the second part the paper focuses on the SSSs, which are the target of our logical analysis, and it summarizes a series of empirical studies demonstrating their autonomous operation. The third part develops the logical proof showing that each SSS involves a kernel element that cannot be reduced to standard logic or to any other SSS. The implications of this analysis for the general theory of knowledge and cognitive development are discussed in the concluding part of the paper

Towards a Model of Life and Cognition

What should be the ontology of the world such that life and cognition are possible? In this essay, I undertake to outline an alternative ontological foundation which makes biological and cognitive phenomena possible. The foundation is built by defining a model, which is presented in the form of a description of a hypothetical but a logically possible world with a defined ontological base. Biology rests today on quite a few not so well connected foundations: molecular biology based on the genetic dogma; evolutionary biology based on neo-Darwinian model; ecology based on systems view; developmental biology by morphogenetic models; connectionist models for neurophysiology and cognitive biology; pervasive teleonomic explanations for the goal-directed behavior across the discipline; etc. Can there be an underlying connecting theme or a model which could make these seemingly disparate domains interconnected? I shall atempt to answer this question. By following the semantic view of scientific theories, I tend to believe that the models employed by the present physical sciences are not rich enough to capture biological (and some of the non-biological) systems. A richer theory that could capture biological reality could also capture physical and chemical phenomena as limiting cases, but not vice versa

DISCO: Distributed Multi-domain SDN Controllers

Modern multi-domain networks now span over datacenter networks, enterprise networks, customer sites and mobile entities. Such networks are critical and, thus, must be resilient, scalable and easily extensible. The emergence of Software-Defined Networking (SDN) protocols, which enables to decouple the data plane from the control plane and dynamically program the network, opens up new ways to architect such networks. In this paper, we propose DISCO, an open and extensible DIstributed SDN COntrol plane able to cope with the distributed and heterogeneous nature of modern overlay networks and wide area networks. DISCO controllers manage their own network domain and communicate with each others to provide end-to-end network services. This communication is based on a unique lightweight and highly manageable control channel used by agents to self-adaptively share aggregated network-wide information. We implemented DISCO on top of the Floodlight OpenFlow controller and the AMQP protocol. We demonstrated how DISCO's control plane dynamically adapts to heterogeneous network topologies while being resilient enough to survive to disruptions and attacks and providing classic functionalities such as end-point migration and network-wide traffic engineering. The experimentation results we present are organized around three use cases: inter-domain topology disruption, end-to-end priority service request and virtual machine migration

Domains of Need in a High Secure Hospital Setting:A Model for Streamlining Care and Reducing Length of Stay

There are financial and humanitarian consequences to unmet need amongst service users of high secure hospital care, not least in terms of length of stay. This article presents two reviews of high secure service user needs. They provide support for the sequencing of interventions to meet service user needs and the utility of a structured framework for their review. Through analyses of these reviews, eight domains of need were identified: Therapeutic Engagement, Risk Reduction, Education, Occupational, Mental Health Recovery, Physical Health Restoration, Cultural and Spiritual Needs, Care Pathway Management. A model is presented, within which logically sequenced, timely and relevant interventions could be framed in order to provide a comprehensive and streamlined pathway through a high secure hospital

Logical Criticism of Buddhist Doctrines

Logical Criticism of Buddhist Doctrines is a ‘thematic compilation’ by Avi Sion. It collects in one volume the essays that he has written on this subject over a period of some 15 years after the publication of his first book on Buddhism, Buddhist Illogic. It comprises expositions and empirical and logical critiques of many (though not all) Buddhist doctrines, such as impermanence, interdependence, emptiness, the denial of self or soul. It includes his most recent essay, regarding the five skandhas doctrine

Elementary science textbooks : their contents, text characteristics, and comprehensibility : longitudinal study

Includes bibliographical references (leaves 21-24)Supported in part by a grant from the National Science Foundation, #NSFMDR85-50320, and in part by the National Institute of Education, #400-81-003

Reference and the facilitation of search in spatial domains

This is a pre-final version of the article, whose official publication is expected in the winter of 2013-14.Peer reviewedPreprin