VegeDog: Formalism, vegetarian dogs, and partonomies in transition

The pragmatics of 'vegetarian' and 'carnivorous' exhibits an asymmetry that we put in evidence by analyzing a newspaper report about vegetarian dog-owners imposing a vegetarian diet on their pets. More fundamental is the problem of partonomy versus containment, for which we attempt a naive but formal analysis applied to ingestion and the food chain, an issue we derive from the same text analyzed. Our formal tools belong in commonsense modelling, a domain of artificial intelligence related to extra-linguistic knowledge and pragmatics. We first provide an interpretation of events analyzed, and express it graphically in a semantic-network related representation, and propose an alternative that we express in terms of a modal logic, avoiding the full representational power of Hayes's "ontology for liquids".

Automatic code generation of overlapped communications in a parallelisation tool

This paper addresses the exploitation of overlapping communication with calculation within parallel FORTRAN 77 codes for computational fluid dynamics (CFD) and computational structured dynamics (CSD). The obvious objective is to overlap interprocessor communication with calculation on each processor in a distributed memory parallel system and so improve the efficiency of the parallel implementation. A general strategy for converting synchronous to overlapped communication is presented together with tools to enable its automatic implementation in FORTRAN 77 codes. This strategy is then implemented within the parallelisation toolkit, CAPTools, to facilitate the automatic generation of parallel code with overlapped communications. The success of these tools are demonstrated on two codes from the NAS-PAR and PERFECT benchmark suites. In each case, the tools produce parallel code with overlapped communications which is as good as that which could be generated manually. The parallel performance of the codes also improve in line with expectation.

A knowledge-based system to represent spatial reasoning for fire modelling

This paper describes the architecture of the knowledge based system (KBS) component of Smartfire, a fire field modelling tool for use by members of the fire safety engineering community who are not expert in modelling techniques. The KBS captures the qualitative reasoning of an experienced modeller in the assessment of room geometries, so as to set up the important initial parameters of the problem. Fire modelling expertise is an example of geometric and spatial reasoning, which raises representational problems. The approach taken in this project is a qualitative representation of geometric room information based on Forbus’ concept of a metric diagram. This takes the form of a coarse grid, partitioning the domain in each of the three spatial dimensions. Inference over the representation is performed using a case-based reasoning (CBR) component. The CBR component stores example partitions with key set-up parameters; this paper concentrates on the key parameter of grid cell distribution.

Discourse and soul: Jung, literature, science and tragedy as mythical writing

This paper will propose that literature and science, far from being discrete spheres of cultural activity, are, in fact, the cultural expressions of interlocking myths. They therefore overlap and even take each other’s places, as examination of the ‘science’ of C.G. Jung and the ‘art’ of a writer such as John Cowper Powys, will show. ‘Dis-course’, I argue, is the material aspect of the mythical structuring of psychic experience. In the work of Jung and Powys, discourse is the articulation of the soul in the world that spans personal, social, natural and cosmic space. [From the Author]

Astonishing apples: visualising the novel

This paper explores the developing relationship between fictional and visual representations. The impact of visual art on the novel as mimetic is an issue that writers have engaged with and written about from the mid-nineteenth century to the present day, often raising the question of the art/life dialectic and how it has evolved through the novel’s exploration of ideas. From painting, photography, cinema, television and newer digital visual cultures writers have sought to involve themselves in a critical examination of the impact of changes in these forms on other art form and on wider society. How do these visual forms affect what it means to be an artist, a writer, a human being? The paper takes the work of Paul Cezanne as a starting point in the history of representation. Writers such as Rainer Maria Rilke, theorists such as Maurice Merleau-Ponty, and other artists like Picasso, have been influenced by, or responded to, Cezanne’s work and to Cezanne’s writings on art and his letters to his great childhood friend, the novelist Emile Zola. By discussing the creative practice of writing a novel this paper will examine questions of how the novel can, and should, respond to the impact of visual culture’s seeming dominance over other art forms. It also explores what impact new forms of visual culture have had upon the mimetic and formal aspects of the novel and how the novel works as representational, especially in relation to representations of human consciousness. [From the Author]

Manufacturing knowledge verification in design support systems

This paper identifies the need for a verification methodology for manufacturing knowledge in design support systems; and proposes a suitable methodology based on the concept of ontological commitment and the PSL ontology (ISO/CD18629). The use of the verification procedures within an overall system development methodology is examined, and an understanding of how various categories of manufacturing knowledge (typical to design support systems) map onto the PSL ontology is developed. This work is also supported by case study material from industrial situations, including the casting and machining of metallic components. The PSL ontology was found to support the verification of most categories of manufacturing knowledge, and was shown to be particularly suited to process planning representations. Additional concepts and verification procedures were however needed to verify relationships between products and manufacturing processes. Suitable representational concepts and verification procedures were therefore developed, and integrated into the proposed knowledge verification methodology.