Reasoning with Actions in Transaction Logic
- Cite this paper as:
- Rezk M., Kifer M. (2011) Reasoning with Actions in Transaction Logic. In: Rudolph S., Gutierrez C. (eds) Web Reasoning and Rule Systems. RR 2011. Lecture Notes in Computer Science, vol 6902. Springer, Berlin, Heidelberg
This paper introduces TRPAD (Transaction Logic with Partially Defined Actions)—an expressive formalism for reasoning about the effects of compound actions. TRPAD is based on a subset of Transaction Logic, but extends it with special premise-formulas that generalize the data and transition formulas of the original Transaction Logic. We develop a sound and complete proof theory for TRPAD and illustrate the formalism on a number of non-trivial examples. In addition, we show that most of TRPAD is reducible to ordinary logic programming and that this reduction is sound and complete.
Unable to display preview. Download preview PDF.