Implementing Default and Autoepistemic Logics via the Logic of GK

The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning. To date, it has been used to embed in it default logic (propositional case), autoepistemic logic, Turner's logic of universal causation, and general logic programming under stable model semantics. Besides showing the generality of GK as a logic for nonmonotonic reasoning, these embeddings shed light on the relationships among these other logics. In this paper, for the first time, we show how the logic of GK can be embedded into disjunctive logic programming in a polynomial but non-modular translation with new variables. The result can then be used to compute the extension/expansion semantics of default logic, autoepistemic logic and Turner's logic of universal causation by disjunctive ASP solvers such as claspD(-2), DLV, GNT and cmodels.Comment: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014

A semiotic and emergent theory of religious communities

Thesis (Ph.D.)--Boston UniversityTwo influential twentieth-century theorists of religion, Émile Durkheim and Roy Rappaport, analyzed religious communities in terms of distinctive features that emerge under special circumstances from the complex dynamics of ordinary human sociality. Durkheim was deeply impressed by the emergent features of religious sociality, to the point that he interpreted a religious community as expressing the way society - thought of as a system of active forces arising from and operating on the constituent individuals - can become self-aware, thinking and feeling through individuals. The status of Durkheim's strong language about religious communities having states of consciousness is a matter of debate but, however his usage is construed, he does make a strong claim on behalf of the emergent properties of complex social systems. Rappaport proposed that a religious community is an adaptive system maintaining itself in an environment, in a manner formally similar to biological organisms. In both cases, emergence is a central theme, yet it is insufficiently explained and theorized. This dissertation argues that emergence theory as it has been developed in the years since Durkheim and Rappaport published, most notably by Terrence Deacon, illuminates the arguments of Durkheim and Rappaport and can render their claims about emergent properties and adaptive social dynamics more precisely and more fruitfully. In general terms, emergence theory analyzes the way relational and organizational features of an aggregate play a causal role in system dynamics, resulting in new system capabilities and qualities. Deacon's achievement is to characterize different kinds of emergent systems in terms of the different ways meaning and reference (semiotics) function in system dynamics. This conceptual linkage between emergence and semiotics is extremely promising for interpreting the emergent features of forms of sociality in which religious meanings and beliefs play vital roles. In applying Deacon's account of emergence to the theories of religious community presented by Durkheim and Rappaport, this dissertation characterizes religious communities as semiotic-emergent systems, and from this perspective analyzes the organizational form of religious community dynamics

An Investigation into the relevance of JH Newman's <i>Essay in Aid of a Grammar of Assent</i> for the practice and development of Key Stage Three Religious Education in a Catholic School

This study investigates the principles and arguments of JH Newman's Essay in Aid of a Grammar of Assent. Newman argued that the mind receives impressions of revealed truth, which form a real and permanent inward knowledge that may be recognised implicitly or explicitly by those who possess it. This recognition is considered by Newman to be an insight into the act of assent to religious belief before it can be understood and explained. According to Newman's epistemology as articulated in the Grammar (in the principles of perception, apprehension, assent and inference, first principles, conscience, certitude and the illative sense) the human person can believe without understanding and proof. This is the hypothesis that is the driving force of this study that uses bracketing to isolate Key Stage Three (11-14 years) pupil insights in accord with qualitative research methods. The pupils of a Catholic Comprehensive in the Greater London area in this study discovered and experimented with age-old and contemporary conventions within the domain of the Philosophy of Religion in response to problem-solving tasks set on the doctrine of the Trinity. This teaching and learning took place long before a secular educational paradigm driven by stage theory would consider feasible. The perception of doctrine as provocative educational materials that the Catholic Church enforces through the processes of indoctrination is not verified in this study. The cognitive challenges of doctrine were found to be no more or less than the cognitive capacities of students. Teaching methodology needs to take a strong account of the teacher as expert as well as the teacher as facilitator of learning. Newman's epistemology reveals the human person as a believing person demonstrating the inherent capacity to believe is critical to an understanding of how pupils learn in religious and non-religious matters

Rationality under fire: the incorporation of emotion into rational choice

We are told that as many as 75% of soldiers did not return fire during World War II. Though there is some historical truth in this claim, what should be of greater interest is the controversy around it. The idea that would we do nothing in great physical danger, especially when there no cost to fight, challenges the very notion of what it means to be a rational human. As such, this thesis is less about the phenomena of combat passivity, than it is about the challenge it presents to rational choice theory, a challenge that it cannot survive. That we do not choose according to outcome but according to how we think we will feel is hardly a new idea. In its current state, however, emotion remains an irreducible 'black-­‐box' for social theory, with terms like 'fear' and 'regret' being both ill-­‐defined and culturally loaded. Drawing from a number of fields including therapeutic psychology, anthropology and the philosophy of emotion, this thesis proposes the precept cognito ergo sentio. Our thoughts always produce feelings. Even if we do not name them emotions, we choose based on these. This manifests in two reproducible ways: via schemas -­‐ whether or not an event or object or experience or person 'fits' -­‐ and by assignation, whether the self or other is, or will be, to blame for a schemic violation (or completion). This approach explains both irrational and rational choice, as well as the way in which we can imagine future feeling states within anticipated scenarios. In the case of violence and passivity, we will examine three such invocations: schemic breaks (lack of fit, or 'fear'), causal assignation of the self (or 'shame'), and causal assignation of the external (or 'anger'). Each of these thinking modalities generates a feeling which in turn determines a choice in the individual, whether to fight, freeze, slaughter, surrender or even break down

Interference patterns: Literary study, scientific knowledge, and disciplinary autonomy after the two cultures

This project interrogates the claims made for the possibility of collapsing all the various disciplines into one discipline, probably physics, and surely a science, in the name of making clearer the relations between our various fields of knowledge. This is the aim of the radical reductionist, and I take E. O. Wilson's Consilience as exemplary of such attempts. Central to Wilson's method of achieving unity is the new science of evolutionary psychology - itself a re-working of the sociobiology with which Wilson first achieved notoriety. In the on-going project of explaining culture under a Darwinian description, the evolutionary psychologists have begun to suggest explanations for the popularity and content of narrative fiction. Because they are consonant with the rest of science, these biologistic accounts of fiction might be preferable to the accounts traditionally offered by Literary Studies. Consequently, there is a risk that the traditional practices of Literary Studies will be made redundant within the academy and gradually atrophy. The demand is that Literary Studies either makes itself rigorous like the sciences (as with such projects as Northrop Frye's Anatomy of Criticism), or else forfeit its claims to produce knowledge. Aware of this threat, some literary critics embrace forms of relativism in an attempt to deny the unity or effectiveness of scientific knowledge and so neuter the threatened takeover. Among these forms of relativism, Richard Rorty's account seeks to collapse the hierarchy of disciplines and seemingly offers Literary Studies a means of retaining its distinctive approach without denying the effectiveness of scientific knowledge. I aim to show that Literary Studies need not become a science, and that such sciences as evolutionary psychology are neither as threatening as some had feared, nor as useful to literary study as some have hoped

The management of error in construction projects

The 'defects problem' has demanded considerable attention in recent years, with much emphasis given to the technical causes of failure. This research project examines the problem from a different point of view - that of human error. Taking as a starting point, technical publications in the construction industry, the research reviews human error literature from a variety of industries and perspectives and synthesises a model of error causation covering organisations in a construction project context. This model is then progressively tested in four studies, a general preliminary survey and three more detailed studies of house-building. Conclusions support the view that errors leading to failure in complex socio-technical systems often exhibit systems characteristics and involve the whole managerial structure. An improved model is proposed, which emphasises the importance of both project and general management errors

Autopoietic-extended architecture: can buildings think?

To incorporate bioremedial functions into the performance of buildings and to balance generative architecture's dominant focus on computational programming and digital fabrication, this thesis first hybridizes theories of autopoiesis into extended cognition in order to research biological domains that include synthetic biology and biocomputation. Under the rubric of living technology I survey multidisciplinary fields to gather perspective for student design of bioremedial and/or metabolic components in generative architecture where generative not only denotes the use of computation but also includes biochemical, biomechanical, and metabolic functions. I trace computation and digital simulations back to Alan Turing's early 1950s Morphogenetic drawings, reaction-diffusion algorithms, and pioneering artificial intelligence (AI) in order to establish generative architecture's point of origin. I ask provocatively: Can buildings think? as a question echoing Turing's own "Can machines think?" Thereafter, I anticipate not only future bioperformative materials but also theories capable of underpinning strains of metabolic intelligences made possible via AI, synthetic biology, and living technology. I do not imply that metabolic architectural intelligence will be like human cognition. I suggest, rather, that new research and pedagogies involving the intelligence of bacteria, plants, synthetic biology, and algorithms define approaches that generative architecture should take in order to source new forms of autonomous life that will be deployable as corrective environmental interfaces. I call the research protocol autopoietic-extended design, theorizing it as an operating system (OS), a research methodology, and an app schematic for design studios and distance learning that makes use of in-field, e-, and m-learning technologies. A quest of this complexity requires scaffolding for coordinating theory-driven teaching with practice-oriented learning. Accordingly, I fuse Maturana and Varela's biological autopoiesis and its definitions of minimal biological life with Andy Clark's hypothesis of extended cognition and its cognition-to-environment linkages. I articulate a generative design strategy and student research method explained via architectural history interpreted from Louis Sullivan's 1924 pedagogical drawing system, Le Corbusier's Modernist pronouncements, and Greg Lynn's Animate Form. Thus, autopoietic-extended design organizes thinking about the generation of ideas for design prior to computational production and fabrication, necessitating a fresh relationship between nature/science/technology and design cognition. To systematize such a program requires the avoidance of simple binaries (mind/body, mind/nature) as well as the stationing of tool making, technology, and architecture within the ream of nature. Hence, I argue, in relation to extended phenotypes, plant-neurobiology, and recent genetic research: Consequently, autopoietic-extended design advances design protocols grounded in morphology, anatomy, cognition, biology, and technology in order to appropriate metabolic and intelligent properties for sensory/response duty in buildings. At m-learning levels smartphones, social media, and design apps source data from nature for students to mediate on-site research by extending 3D pedagogical reach into new university design programs. I intend the creation of a dialectical investigation of animal/human architecture and computational history augmented by theory relevant to current algorithmic design and fablab production. The autopoietic-extended design dialectic sets out ways to articulate opposition/differences outside the Cartesian either/or philosophy in order to prototype metabolic architecture, while dialectically maintaining: Buildings can think

The narrative of dream reports

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Two questions are addressed: 1) whether a dream is meaningful as a whole, or whether the scenes are separate and unconnected, and 2) whether dream images are an epiphenomenon of a functional physiologicaL process of REM sleep, or whether they are akin to waking thought. Theories of REM sleep as a period of information-processing are reviewed. This is Linked with work on the relationship between dreaming and creativity, and between memory and imagery. Because of the persuasive evidence that REM sleep is implicated in the consolidation of memories there is a review of recent work on neural associative network models of memory. Two theories of dreams based on these models are described, and predictions with regard to the above two questions are made. Psychological evidence of relevance to the neural network theories is extensively reviewed. These predictions are compared with those of the recent application of structuralism to the study of dreams, which is an extension from its usual field of mythology and anthropology. The different theories are tested against four nights of dreams recorded in a sleep Lab. The analysis shows that not only do dreams concretise waking concerns as metaphors but that these concerns are depicted in oppositional terms, such as, for example, inside/outside or revolving/static. These oppositions are then permuted from one dream to the next until a resolution of the initial concern is achieved at the end of the night. An account of the use of the single case-study methodology in psychology is given, in addition to a replication of the analysis of one night's dreams by five independent judges. There is an examination of objections to the structuralist methodology, and of objections to the paradigm of multiple dream awakenings. The conclusion is drawn that dreams involve the unconscious dialectical step-by-step resolution of conflicts which to a great extent are consciously known to the subject. The similarity of dreams to day-dreams is explored, with the conclusion that the content of dreams is better explained by an account of metaphors we use when awake and by our daily concerns, than by reference to the physiology of REM sleep. It is emphasised that dreams can be meaningful even if they do not have a function.Ann Murray Award Fun

Ecological stability theory : an analysis of method

Imperial Users onl

Measuring musical interaction: analysing communication in embodied musical behaviour

This thesis addresses the ubiquity and necessity of embodied interaction to musical activity, using video analysis to observe communication in musical events. Through the specific study of classical North Indian instrumental duo performance, the thesis examines how processes of social interaction may inform human musical activity, using a combined methodology of ethnographic study and quantitative data analysis of original video-recordings. Proposing a pragmatic approach to the study of the meaningful nature of musical events, the thesis keeps sight of the generative context of the human body in social interaction, and offers a model of musical communication that privileges nonlinguistic, socially co-regulative elements in its account of human musical interaction. The socially meaningful nature of the behaviour-in-time of the musicians included in the study is investigated by means of a novel methodology. This combines the qualitative exploration of emic concepts related to the practice of North Indian classical music with an empirical analysis of video data, based on a cognitive ethological framework. The thesis draws on current notions of embodied cognition and contributes to the growing corpus of musicological literature emphasising the embodied and social nature of musical communication. The results of this exploratory study suggest that both social-interaction and music-structural factors contribute to the organisation of the musicians' communicative behaviours and that, to a certain extent, these organisational factors can be separated in analysis