The theory which is outlined in this lecture, call it RRC for short, is a departure from traditional approaches to reasoning and computation. A principal advance is an enhanced capability for reasoning and computation in an environment of uncertainty, imprecision and partiality of truth. The point of departure in RRC is a basic premise—in the real world such environment is the norm rather than ...

This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a discussion on the interplay between behavioural and classical data refinement. The approach builds on coalgebra theory as a suitable tool to capture observational semantics and to base an abstract characterisation of possible ...

It is well-known that many relevant aspects of everyday reasoning based on natural language cannot be adequately expressed in classical rst-order logic. In this paper we address two of the problems, rstly that of so-called presuppositions, expressions from which it is possible to draw implicit conclusion, which classical logic normally does not warrant, and secondly the related problem of parti...

Two central principles that guide resource-allocation decisions are equity (providing equal pay for equal work) and efficiency (not wasting resources). When these two principles conflict with one another, people will often waste resources to avoid inequity. We suggest that people wish to avoid inequity not because they find it inherently unfair, but because they want to avoid the appearance of ...

Symmetry is a common characteristic in natural and man-made objects. Its ubiquitous nature can be exploited to facilitate the analysis and processing of computational representations of real objects. In particular, in computer graphics, the detection of symmetries in 3D geometry has enabled a number of applications in modeling and reconstruction. However, the problem of symmetry detection in in...

Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, until now, been largely missing. When only a small portion of the entire data is desired, it has been necessary either to parse the entire input in any case, or to break up the grammar into smaller pieces and move some work out...