The University of Sussex

Logical links and reliable knowledge representation

Philip Staines

The aim of this paper is to examine some aspects of the reliable representation of information in machine manipulated logic-like formalisms. While not restricting ourselves exclusively to it our focus will be on the representation of natural-language information- information we would normally and easily formulate in natural language - and its relation to the formalisms.


This paper is not available online