Distributed Belief Systems
Abstract
This report describes research on the logic of commonsense and nonmonotonic reasoning. The unifying theme in this work is that of the semantical basis for commonsense reasoning, in terms both of algorithms (as in logic programming and deductive databases) and of intelligent agents in a complex world. Work was focused on two principal themes. They are resource- limited belief systems, and logic programming. The problem, brief outline is as follows: How can an intelligent system deal with incomplete or uncertain information, and yet on average get useful answers? There is a large body of research on this topic, which includes all of non-monotonic reasoning and more besides. The attack on the problem emphasized two special contexts: logic programming, and situated (real-time) reasoning.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1991
- Accession Number
- ADA244286
Entities
People
- Donald Perlis
- Jack Minker
Organizations
- University of Maryland