Learn More
The papct describes a project which began in April 1986 on the representation in logic of a large portion of the United Kingdom’s welfare law; specifically the legislation relating to ‘Supplementary Benefit’. The paper describes the nature of the legislation and the kinds of tasks which the ,epftsentation is intended to support, reports on the progress of(More)
The immune system offers to be a rich source of metaphors to guide the exploration of the notion of an adaptive system. We might define a class of systems which are inspired by, but diverge from, descriptions of the immune system, and refer to them as immune-bused systems. The research reported here is motivated by a desire to explore the possibilities of(More)
Formalisations to date have tended to ignore a salient feature of statutes: they exhibit a multi-layered logical structure. This, rather than the unsuitability of logic for representing statute law, is at the root of at least some of the knowledge representation problems researchers have uncovered. In addition, the failure of any formalisation to mirror(More)
This paper is a survey of some recentconnectionist approaches to the design and developmentof behaviour-based mobile robots. The research isanalysed in terms of principal connectionist learningmethods and neurological modeling trends. Possibleadvantages over conventionally programmed methods areconsidered and the connectionist achievements to dateare(More)
‘Statutor’ names an evolving Prolog program which is being developed as a knowledge-based tutoring system in the legal domain. The system utilises direct manipulation of graphical objects as a means of eliciting complex responses from the user and for providing graphical representations of complex answers to the user. It is a marriage of good interface(More)
In her paper introducing the student modelling technique referred to as the Genetic Graph [Goldstein], Ira Goldstein remarked on what she called the “bandwidth” problem. The problem is that a tutoring system is at a disadvantage with respect to human tutors in that it has extremely Iirnited access to the behaviour and, hence, the knowledge, clf the student.(More)