Showing papers on "Knowledge representation and reasoning published in 1975"
01 Jan 1975
TL;DR: The authors describes frame systems as a formalism for representing knowledge and then concentrates on the issue of what the content of knowledge should be in specific domains, arguing that vision should be viewed symbolically with an emphasis on forming expectations and then using details to fill in slots in those expectations.
Abstract: Briefly describes frame systems as a formalism for representing knowledge and then concentrates on the issue of what the content of knowledge should be in specific domains. Argues that vision should be viewed symbolically with an emphasis on forming expectations and then using details to fill in slots in those expectations. Discusses the enormous problem of the volume of background common sense knowledge required to understand even very simple natural language texts and suggests that networks of frames are a reasonable approach to represent such knowledge. Discusses the concept of expectation further including ways to adapt to and understand expectation failures. Argues that numerical approaches to knowledge representation are inherently limited.
4,461 citations
TL;DR: This paper presents a meta-theoretical view of programming as itself a form of knowledge representation, which states that intelligent behaviour depends more on an organised knowledge of the real world than on problem-solving mechanisms.
Abstract: As work on artificial intelligence has made increasingly clear, intelligent behaviour depends more on an organised knowledge of the real world than on problem-solving mechanisms. This has led in artificial intelligence research to an increasing preoccupation with techniques for representing such knowledge, and recently to a view of programming as itself a form of knowledge representation.
6 citations
10 Jun 1975
TL;DR: Computational studies in linguistics have led to a variety of proposals~ for semantic representations of natural language, and a specification of the semantics of these formal languages is needed.
Abstract: Computational studies in linguistics have led to a variety of proposals~ for semantic representations of natural language. To a first approximation these all have a number of features in common. First, there is some formal language onto which, with the aid of a grammar, surface forms are mapped. Secondly, there is a formal language (usually, but not necessarily, the same as the first) for the representation of world knowledge and which is used to perform inferences necessary for integrating the surface form into the knowledge structure, and/or for answering questions. Finally, there is, or should be [5,18] a specification of the semantics of these formal languages.
3 citations