Distributed Belief Systems
Final rept. 1 Jul 1988-30 Jun 1991
MARYLAND UNIV COLLEGE PARK
Pagination or Media Count:
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.
- Computer Programming and Software