|
|
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