We describe an approach to user interface design based on ideas from social science, narratology (the theory of stories), cognitive science, and a new area called algebraic semiotics. Social analysis helps to identify certain roles for users with their associated requirements, and suggests ways to make proofs more understandable, while algebraic semiotics, which combines semiotics with algebraic specification, provides rigorous theories for interface functionality and for a certain technical notion of quality. We apply these techniques to designing user interfaces for a distributed cooperative theorem proving system, whose main component is a website generation and proof assistance tool called Kumo. This interface integrates formal proving, proof browsing, animation, informal explanation, and online background tutorials, drawing on a richer than usual notion of proof. Experience with using the interface is reported, and some conclusions are drawn.

Issues of representation arise in natural language processing, user interface design, art, and indeed, communication with any medium. This paper addresses such issues using algebraic semiotics, which draws on algebraic speci cation to give (among other things) an algebraic theory of representation, and a generalization of blending in the sense of cognitive linguistics.

Evolution brought brains and minds into a world initially devoid of inteUlgent life. The evolutionary process designed the neural machinery that generates in-tehgent behavior, and important insights into how this machinery works can be gained by understanding how evolution constructs organisms. This is the ratio-nale that underlies research in evolutionary psychology. Evolutionary psychology was founded on interloclang contributions from evolutionary biology, cognitive science, psychology, anthropology, and neuro-science. It reflects an attempt to think through, from first principles, how cur-rent knowledge from these various fields can be integrated into a single, consistent, sciennfic framework for the study of the mind and brain (Cosmides

Abstract not found

Abstract: This paper proposes a new approach to style, arising from our work on computational media using structural blending, which enriches the conceptual blending of cognitive linguistics with structure building operations in order to encompass syntax and narrative as well as metaphor. We have implemented both conceptual and structural blending, and conducted initial experiments with poetry, including interactive multimedia poetry, although the approach generalizes to other media. The central idea is to analyze style in terms of blending principles, based on our finding that different principles from those of common sense blending are often needed for some contemporary poetic metaphors. 1

Nearly all listeners consider the subjective aspects of music, such as its emotional tone, to have primary importance. But contemporary philosophers often downplay, ignore, or even deny such aspects of experience. Moreover, traditional philosophies of music try to decontextualize it. Using music as an example, this paper explores the structure of qualitative experience, demonstrating that it is multi-layer emergent, non-compositional, enacted, and situation dependent, among other non-Cartesian properties.

Many have had high expectations for the impact of computer-based technology on educational practice. By and large, these expectations have not been realised. It has become evident that innovative technology alone does not necessarily guarantee progress- nor perhaps even significant change- in educational practice. This has led educational researchers to place greater emphasis on cultural issues that could account for the unexpectedly limited influence of technology-enhanced learning. This perception of the relationship between technology and learning is elaborated in the first section of the paper. It is complemented by a review of an alternative conception of computing, rooted in a methodology for modelling with dependency directed at the development of construals rather than programs, that is far better aligned to the demands of developing environments for learning. The paper concludes with a discussion of the potential implications of this approach.

This article discusses narrative intelligence in the context of the evolution of primate (social) intelligence, and with respect to the particular cognitive limits that constrain the development of human social networks and societies.

Data Types and Algebraic Semantics The history of programming languages, and to a large extent of software engineering as a whole, can be seen as a succession of ever more powerful abstraction mechanisms. The first stored program computers were programmed in binary, which soon gave way to assembly languages that allowed symbolic codes for operations and addresses. fortran began the spread of "high level" programming languages, though at the time it was strongly opposed by many assembly programmers; important features that developed later include blocks, recursive procedures, flexible types, classes, inheritance, modules, and genericity. Without going into the philosophical problems raised by abstraction (which in view of the discussion of realism in Section 4 may be considerable), it seems clear that the mathematics used to describe programming concepts should in general get more abstract as the programming concepts get more abstract. Nevertheless, there has been great resistance to u...

Introduction Agents are increasingly upon us. Although opposition is rare, \intelligent agents" have been attacked for user interface problems, and on larger social issues. Agent supporters have countered these arguments and raised doubts about alternative technologies. We place this in historical, social, and ethical contexts, noting the cyclic nature of such debates. One conclusion is that many problems with arti cial agents arise from a poor understanding of social aspects of human agents. 2. Historical Perspectives The history of technology has seen many movements call for human-like systems, and use anthropomorphic terminology to generate understanding and support. Such movements often make excessive claims, perhaps misled by their own rhetoric or their (sometimes impressive) partial success. This raises unrealistic expectations, which often leads to disappointment, which is surprisingly often followed by rebirth with similar goals, and somewhat improved terminology and techno