scispace - formally typeset
Search or ask a question

Showing papers on "Knowledge representation and reasoning published in 1974"


ReportDOI
01 Sep 1974
TL;DR: Abstract : ;Contents: Computer systems for natural language, SHRDLU, A system for dialog, representation, formalisms for knowledge, conceptual programming, applying artificial intelligence to program writing.
Abstract: : ;Contents: Computer systems for natural language; SHRDLU, A system for dialog; Representation, formalisms for knowledge; Frames, some ideas for a new formalism; Conceptual programming, applying artificial intelligence to program writing.

49 citations


Journal ArticleDOI
01 Mar 1974-Calcolo
TL;DR: The problem of knowledge representation is tackled in its, general form, so that the proposed semantic memory may be of interest also in other fields, like Natural Lauguage Understanding, Question Answering, Theorem Proving.
Abstract: This paper is concerned with the problem of computer semantic memory, i. e. with the problem of representing general knowledge about, a given world. The sematic memory issue is raised in the context of machiue learning of heuristics and the connection with the problem of machine representation of knowledge is emphasized. The guidelines for the implementation of a sematic memory are presented and attention is given to the design of the processes for storing and retrieving information. The problem of knowledge representation is tackled in its, general form, so that the proposed semantic memory may be of interest also in other fields, like Natural Lauguage Understanding, Question Answering, Theorem Proving.

1 citations