scispace - formally typeset
Search or ask a question

Showing papers by "Hector J. Levesque published in 1986"


Journal ArticleDOI
TL;DR: This chapter discusses the knowledge-based systems or KBS, the idea is not just to construct systems that exhibit knowledge, but to represent that knowledge somehow in the data structures of the program, and to have the system perform whatever it is doing by manipulating that knowledge explicitly.

244 citations



Book
09 Jul 1986
TL;DR: There are a number of more or less orthogonal ways of looking at the kind of knowledge-base management system (KBMS) envisaged in this book, but two very distinct viewpoints seem to dominate.
Abstract: There are a number of more or less orthogonal ways of looking at the kind of knowledge-base management system (KBMS) envisaged in this book. Nonetheless, two very distinct viewpoints seem to dominate. The first deals with what has been called the symbol level, and focuses on the data structures and algorithms needed to process and make available to a wide variety of users the large amounts of information present in (potentially distributed) KBs. Proposals here might involve using locking, parallelism, inheritance hierarchies, backward-chaining inference, database-style management of secondary storage and other mechanisms.3 This level deals with how a machine views and processes the information in a KB.

23 citations


Book ChapterDOI
01 Jan 1986
TL;DR: There are a number of more or less orthogonal ways of looking at the kind of knowledge-base management system (KBMS) envisaged in this book as mentioned in this paper, but two very distinct viewpoints seem to dominate.
Abstract: There are a number of more or less orthogonal ways of looking at the kind of knowledge-base management system (KBMS) envisaged in this book. Nonetheless, two very distinct viewpoints seem to dominate. The first deals with what has been called the symbol level, and focuses on the data structures and algorithms needed to process and make available to a wide variety of users the large amounts of information present in (potentially distributed) KBs. Proposals here might involve using locking, parallelism, inheritance hierarchies, backward-chaining inference, database-style management of secondary storage and other mechanisms.3 This level deals with how a machine views and processes the information in a KB.

20 citations


Book ChapterDOI
09 Jul 1986
TL;DR: This is a thinly-disguised position paper that is more about logic and databases than anything else.
Abstract: This is a thinly-disguised position paper that is more about logic and databases than anything else.

17 citations