Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems

TitleExplicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems
Publication TypeTechnical Report
Year of Publication1996
AuthorsBornscheuer, S-E., & Thielscher M.
Other Numbers1019
KeywordsLogic Programming, Reasoning About Actions
Abstract

A high-level action semantics to specify and reason about dynamic systems is presented which supports both uncertain knowledge (taken as explicit indeterminism) and contradictory information (taken as implicit indeterminism). We start by developing an action description language for intentionally representing nondeterministic actions in dynamic systems. We then study the different possibilities of interpreting contradictory specifications of concurrent actions. We argue that the most reasonable interpretation which allows for exploiting as much information as possible is to take such conflicts as implicit indeterminism. As the second major contribution, we present a calculus for our resulting action semantics based on the logic programming paradigm including negation-as-failure and equational theories. Soundness and completeness of this encoding wrt the notion of entailment in our high-level action language is proved by taking the completion semantics for equational logic programs with negation.

URLhttp://www.icsi.berkeley.edu/ftp/global/pub/techreports/1996/tr-96-009.pdf
Bibliographic Notes

ICSI Technical Report TR-96-009

Abbreviated Authors

S.-E. Bornscheuer and M. Thielscher

ICSI Publication Type

Technical Report