Publication Details
Title: Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems
Author: S.-E. Bornscheuer and M. Thielscher
Group: ICSI Technical Reports
Date: February 1996
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1996/tr-96-009.pdf
Overview:
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. Keywords: reasoning about actions, logic programming
Bibliographic Information:
ICSI Technical Report TR-96-009
Bibliographic Reference:
S.-E. Bornscheuer and M. Thielscher. Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. ICSI Technical Report TR-96-009, February 1996
Author: S.-E. Bornscheuer and M. Thielscher
Group: ICSI Technical Reports
Date: February 1996
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1996/tr-96-009.pdf
Overview:
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. Keywords: reasoning about actions, logic programming
Bibliographic Information:
ICSI Technical Report TR-96-009
Bibliographic Reference:
S.-E. Bornscheuer and M. Thielscher. Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. ICSI Technical Report TR-96-009, February 1996