The Structure of Mathematical Knowledge

This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal and informal ideas, that is, definitions and heuristics.

The Use of Equality in Deduction and Knowledge Representation

This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used in the choice of canonical expressions. It is shown that with an appropriate better-name relation an important engineering reasoning technique, propagation of constraints, can be implemented as a special case of this substitution process. Special purpose algebraic simplification procedures are embedded such that they interact effectively with the equality system. An electrical circuit analysis system is developed which relies upon constraint propagation and algebraic simplification as primary reasoning techniques. The reasoning is guided by a better-name relation in which referentially transparent terms are preferred to referentially opaque ones. Multiple description of subcircuits are shown to interact strongly with the reasoning mechanism.

Heuristics for protecting competitive knowledge in association rule mining.

2006

The role of knowledge facilitators and inhibitors: lessons from airline reservations systems.

Strategic frameworks seeking to explain how an organisation may generate superior performance are numerous. Earlier approaches centred on the competitive position of an organisation within its industry, with subsequent attention focused on an organisation's core competences. More recently, research has concentrated on knowledge and organisational learning. By reference to a study of airline-developed computer reservation systems (CRSs), this article explores the strategic importance of information in creating knowledge to generate superior performance. By examining developments in the use, management and control of information derived from CRSs, evidence is presented to explain how CRS-owning airlines have circumvented regulatory controls and increasingly competition to sustain competitive advantage through the development of their information and knowledge systems. This research demonstrates the need for organisations to develop 'knowledge facilitators' that foster the creation of new knowledge. Equally, managers must develop 'knowledge inhibitors' that help to sustain competitive advantage by limiting the abilities of competitors to create knowledge themselves.

Knowledge based strategy: appraising knowledge creation capability in organisations.

This thesis sets out a journey which culminates in the development of an analytical framework, the "Organisational Creativity Appraisal" which is intended to assist organisations in evaluating their ability to support and develop creativity. This framework is derived from the common thread of the thesis, which is drawn from a range of research and consultancy projects, and the resulting published work, spanning an eight year period, centring on the role of knowledge and creativity in the strategy and performance of organisations. The literature of strategy, learning and creativity increasingly recognises that organisational context is critical to the formation of strategy, to the content of the strategy and to its successful implementation. The thesis explores the ways in which learning and creativity, the basis of knowledge-based strategy, are influenced by organisational context or social architecture. The research explores the ways in which managers can gain greater understanding of the social architectures of their organisations so as to assist in supporting their strategic development. The central core of the thesis is the nine published papers upon which it is based but it also derives from the broader perspective of my published work in the form of both articles and books. The thesis further draws upon my own experience as a leader and manager in the context of university business schools and as a consultant, researcher and developer in the context of a range of international private and public sector organisations. The work is based upon a premise that theory should inform practice and that practice should inform theory. The "Organisational Creativity Appraisal" framework is informed by both theory and practice and is intended to assist in management practice. There is no assumption that management research can arrive at prescriptions for managerial and organisational behaviour. On the other hand management research can usefully inform management and organisational behaviour, as long as it is employed in a critically reflective manner. The "Organisational Creativity Appraisal" presented in this work should be regarded as the framework in its present form which is likely to develop further as my research progresses in the future.

Experiences with a knowledge engineering toolkit: an assessment in industrial robotics

V. Robinson, N. W. Hardy, D. P. Barnes, C. J. Price, M. H. Lee. Experiences with a knowledge engineering toolkit: an assessment in industrial robotics. Knowledge Engineering Review, 2 (1):43-54, 1987.

Declarative sensor knowledge in a robot monitoring system

Hardy, N. W., Barnes, D. P., Lee, M. (1987). Declarative sensor knowledge in a robot monitoring system. In: Languages for Sensor-Based Control in Robotics, Ulrich Rembold and Klaus H?rmann (eds), Springer-Verlag, p. 169-188.

Knowledge engineering in robot control

N. W. Hardy, M. H. Lee, and D. P. Barnes. Knowledge engineering in robot control. In Proceedings of Expert Systems '83, pages 70-77, Cambridge, 1983.

Knowledge based error recovery in industrial robots

M. H. Lee, D. P. Barnes, and N. W. Hardy. Knowledge based error recovery in industrial robots. In Proc. 8th. Int. Joint Conf. Artificial Intelligence, pages 824-826, Karlsruhe, FDR., 1983.

The Implications of Philosophical Foundations for Knowledge Representation and Learning in Agents

N.J. Lacey and M.H. Lee, ?The Implications of Philosophical Foundations for Knowledge Representation and Learning in Agents?, Springer-Verlag Lecture Notes on Artificial Intelligence, Vol 2636 on Adaptive Agents and Multi-Agent Systems, 2002.