Non-Monotonic Reasoning, Belief Systems, and Parallelism

摘要

This research can be categorized in terms of the following inter-related concepts: 1) Non-monotonic reasoning and circumscription; 2) Belief systems and deductive databases (in which we take account of models of an intelligent agent's belief set, especially with regard to intelligent answers to queries in deductive databases); 3) Resource-limited non-monotonic belief systems (a special case of the above, in which the non-monotonic nature of beliefs is studied); and 4) Parallelism in non-monotonic belief systems (in which parallel methods of computation are exploited with regard to the above.)(KR)