GHP: a maple package for performing calculations in the Geroch-Held-Penrose formalism

We present a new symbolic algebra package, written for Maple, for performing computations in the Geroch-Held-Penrose formalism. We demonstrate the essential features and capabilities of our package by investigating Petrov-D vacuum solutions of Einstein's field equations.

A unified formalism for landmark based representation of maps and navigation plans

We present a unified formalism for representing maps and using them for constructing plans of navigation for an autonomous agent. The foundation of this work lies in addressing key questions that an agent is confronted with when navigating. That is, besides the main task of how to reach the intended destination from the current position, the agent faces other questions like: where am I? what landmarks can I see? where is my destination relative to me and the landmarks I am seeing? Fundamental to this representation is the use of visual landmarks, which are used as pivotal points in the landscape being described. Further, in the representation of spatial information and navigation there are three different viewpoints: first, the localized representation from the viewpoint of a sighted, mobile agent; second, the static representation seen by the map-maker; and third, the view of an external agent giving directions on the basis of his own experience/knowledge. The major contribution of this map model and the associated navigation method lies in the framework which unifies these three different points of view. This unification enables the agent to make no distinction in terms of following implicit instructions contained in a map and the directions given by external agents.

A neural network-based multi-agent classifier system with a Bayesian formalism for trust measurement

In this paper, a neural network (NN)-based multi-agent classifier system (MACS) utilising the trust-negotiation-communication (TNC) reasoning model is proposed. A novel trust measurement method, based on the combination of Bayesian belief functions, is incorporated into the TNC model. The Fuzzy Min-Max (FMM) NN is used as learning agents in the MACS, and useful modifications of FMM are proposed so that it can be adopted for trust measurement. Besides, an auctioning procedure, based on the sealed bid method, is applied for the negotiation phase of the TNC model. Two benchmark data sets are used to evaluate the effectiveness of the proposed MACS. The results obtained compare favourably with those from a number of machine learning methods. The applicability of the proposed MACS to two industrial sensor data fusion and classification tasks is also demonstrated, with the implications analysed and discussed.

Modelling interplay in normative social systems: towards a heuristics formalism of agents and networks

The need for guiding model formulation of normative social systems in support of a digital ecosystem is introduced. Normative social systems improve the understanding of computational social processes in simulation and experimentation, and provide support for digital ecosystem developments. However, a successful simulation requires the appropriate implementation of a conceptual model. It is proposed that an heuristic formalism of agents, networks and environments, complements the conventional creative approach to model formulation by guiding the formulation of conceptual models via abstract components and facilitate interface with other components in a digital environment.

Feature nodes : an interaction construct for sharing initiative in design exploration

Exploration with formal design systems comprises an iterative process of specifying problems, finding plausible and alternative solutions, judging the validity of solutions relative to problems and reformulating problems and solutions. Recent advances in formal generative design have developed the mathematics and algorithms to describe and perform conceptual design tasks. However, design remains a human enterprise: formalisms are part of a larger equation comprising human computer interaction. To support the user in designing with formal systems, shared representations that interleave initiative of the designer and the design formalism are necessary. The problem of devising representational structures in which initiative is sometimes taken by the designer and sometimes by a computer in working on a shared design task is reported in this paper. To address this problem, the requirements, representation and
implementation of a shared interaction construct, the feature node, is
described. The feature node facilitates the sharing of initiative in formulating and reformulating problems, generating solutions, making
choices and navigating the history of exploration.

Appropriate choice of aggregation operators in fuzzy decision support systems

Fuzzy logic provides a mathematical formalism for a unified treatment of vagueness and imprecision that are ever present in decision support and expert systems in many areas. The choice of aggregation operators is crucial to the behavior of the system that is intended to mimic human decision making. This paper discusses how aggregation operators can be selected and adjusted to fit empirical data—a series of test cases. Both parametric and nonparametric regression are considered and compared. A practical application of the proposed methods to electronic implementation of clinical guidelines is presented

The GHP II package with applications

We present an advanced version of the Maple package GHP called GHPII. In it we provide a number of additional sophisticated tools to assist with problems formulated in the Geroch-Held-Penrose (ghp) formalism. The first part of this article discusses these new tools while in the second part we shall apply the ghp formalism, using the GHPII routines, to vacuum Petrov type D spacetimes and shear-free perfect fluids. We prove that for all shear-free perfect fluids with a barotropic equation of state, where two of the principal null directions are coplanar with the fluid four-velocity and vorticity then either the expansion or vorticity of the fluid must be zero.

Algebraically special coplanar shear-free perfect fluids in general relativity

We investigate all algebraically special, not conformally flat, shear-free, isentropic (p(w), w + p ≠ 0), perfect fluid solutions of Einstein's field equations. We show, using the GHP formalism, that if the repeated principle null direction of the Weyl tensor is coplanar with the fluid's 4-velocity and vorticity vector (assumed nonzero), then the fluid's expansion must vanish.

Modeling dialogue with mixed initiative in design space exploration

Exploration with a generative formalism must necessarily account for the nature of interaction between humans and the design space explorer. Established accounts of design interaction are made complicated by two propositions in Woodbury and Burrow's Keynote on design space exploration. First, the emphasis on the primacy of the design space as an ordered collection of partial designs (version, alternatives, extensions). Few studies exist in the design interaction literature on working with multiple threads simultaneously. Second, the need to situate, aid, and amplify human design intentions using computational tools. Although specific research and practice tools on amplification (sketching, generation, variation) have had success, there is a lack of generic, flexible, interoperable, and extensible representation to support amplification. This paper addresses the above, working with design threads and computer-assisted design amplification through a theoretical model of dialogue based on Grice's model of rational conversation. Using the concept of mixed initiative, the paper presents a visual notation for representing dialogue between designer and design space formalism through abstract examples of exploration tasks and dialogue integration.

An approach to search and exploration through mixed-initiative

Generative design environments need support for human intervention as well as sound computational formalisms. A systematic approach to integrating the two, formal generation and the exploratory, is lacking. In this paper, we posit the possibility of a design support system that combines formal search with user driven exploration. Our approach is to cast the interaction between the user and the generative formalism as agent collaboration in a mixed-initiative environment. We describe the role of interaction and agency in an experimental mixed-initiative design support system, FOLDS and demonstrate its application.

The domain layer for mixed-initiative interaction in generative design

The design space exploration formalism has developed data structures and algorithms of sufficient complexity and scope to support conceptual layout, massing, and enclosure configurations. However, design remains a human enterprise. To support the user in designing with the formalism, we have developed an interaction model that addresses the interleaving of user actions with the formal operations of design space exploration. The central feature of our interaction model is the modeling of control based on mixed-initiative. Initiative is sometimes taken by the designer and sometimes by the formalism in working on a shared design task. The model comprises three layers, domain, task, and dialogue. In this paper we describe the formulation of the domain layer of our mixed-initiative interaction model for design space exploration. We present the view of the domain as understood in the formalism in terms of the three abstract concepts of state, move, and structure. In order to support mixed initiative, it is necessary to develop a shared view of the domain. The domain layer addresses this problem by mapping the designer's view onto the symbol substrate. First, we present the designer's view of the domain in terms of problems, solutions, choices, and history. Second, we show how this view is interleaved with the symbol-substrate through four domain layer constructs, problem state, solution state, choice, and exploration history. The domain layer presents a suitable foundation for integrating the role of the designer with a description formalism. It enables the designer to maintain exploration freedom in terms of formulating and reformulating problems, generating solutions, making choices, and navigating the history of exploration.

Managing design knowledge with mixed-initiative dialogue

This paper is based on ongoing work in developing interactive interfaces to formal methods for encoding design knowledge. It reports on the development of a shared graphical notation to support user interaction with design knowledge based on mixed-initiative. Mixed-initiative provides a model of interaction where both the designer and the knowledge formalism may share responsibility over decisions. The paper discusses how a formal visual notation can support the mixed-initiative mode for developing and managing formal design knowledge. The notation addresses on the dialogue problem between the user and a knowledge based formalism and illustrates a model of interaction in which the user and the formalism can share and input data through a common shared resource, on a common shared task. The paper demonstrates the use of this notation in common decision tasks and the implications for seamless interaction with design support systems.

Valuing local built heritage in a global setting : identity & visual perceptions of cultural built heritage in Northern Ireland

‘In these troubled times with the world in search of its bearings and way ward minds using the terms “culture” and “civilization” in an attempt to turn human beings against one another, there is an urgent need to remember how fundamental cultural diversity is to humanity itself’ (UNESCO 2002). The progressive idea of culture can be used in regressive ways by extremists who used it occasionally to pursue the politics of xenophobia and exclusion. The hypothesis that different communities can share the same culture but have different visual perception of their built environment might seems contradictory. It is essential to describe what is meant by the ‘same culture’. The ever evolving changes of definition and re-definition of the word has not yet settled. This paper adopts the descriptive definition of culture while challenging its interpretation. The descriptive definition refers to ‘all the characteristics activities by a people’. While this description is generally accepted, the interpretation of what ‘a people’ means is divisive. It is not clear how Eliot defines ‘a people’. Is the term genetically prescribed or is ‘a people’ place related? And what about the moral and religious orientation? This paper argues that culture is basically place related and the forces that shape a culture of a ‘people’ are deeply embedded in the environmental forces that also shape other aspects of the place making and its identity. The paper addresses the questions of conflicts, value systems, and culture definitions and the inseparable links with architecture aesthetics.

Local built heritage in Northern Ireland is taken as a case study. Unlike many parts of the world, visual perceptions in Northern Ireland is well recognised with iconic as well as formal representations. The population is well aware of the signified as well as the signifiers. The boundaries between iconology and formalism theories are very blurred in the Northern Ireland context. This paper examines how the two communities visually perceive their shared built heritage and the extent of overlapping between the understanding of iconic and formalist visual representations in the built environment. The paper takes the buildings of the successful economic ventures of the shirt industry in the 19th century as a case study. The case study provides an insight of how a signified value of a successful economic regeneration initiative that is deeply imbedded in the social structure and within the urban fabric can overcome divisive visual perception. The paper examines the possibility of building upon the historical success of the shirt industry to promote architectural cultural dialogue in which cultural built heritage in Derry is able to facilitate knowledge creation and social capital in different arenas.

Reconstruction of in vivo time-evolving neuroendocrine dose - response properties unveils admixed deterministic and stochastic elements

Homeostasis in the intact organism is achieved implicitly by repeated incremental feedback (inhibitory) and feedforward (stimulatory) adjustments enforced via intermittent signal exchange. In separated systems, neurohormone signals act deterministically on target cells via quantifiable effector-response functions. On the other hand, in vivo interglandular signaling dynamics have not been estimable to date. Indeed, experimentally isolating components of an interactive network definitionally disrupts time-sensitive linkages. We implement and validate analytical reconstruction of endogenous effector-response properties via a composite model comprising (i) a deterministic basic feedback and feedforward ensemble structure; (ii) judicious statistical allowance for possible stochastic variability in individual biologically interpretable dose–response properties; and (iii) the sole data requirement of serially observed concentrations of a paired signal (input) and response (output). Application of this analytical strategy to a prototypical neuroendocrine axis in the conscious uninjected horse, sheep, and human (i) illustrates probabilistic estimation of endogenous effector dose–response properties; and (ii) unmasks statistically vivid (2- to 5-fold) random fluctuations in inferred target-gland responsivity within any given pulse train. In conclusion, balanced mathematical formalism allows one to (i) reconstruct deterministic properties of interglandular signaling in the intact mammal and (ii) quantify apparent signal-response variability over short time scales in vivo. The present proof-of-principle experiments introduce a previously undescribed means to estimate time-evolving signal-response relationships without isotope infusion or pathway disruption.