Transaction Logic: Unifying Declarative and Procedural Knowledge (Extended Abstract)

Contents

This paper presents AI applications of the recently proposed Transaction Logic. Transaction Logic is a novel formalism that accounts in a clean and declarative fashion for the phenomenon of updating first-order knowledge bases, most notably, databases and logic programs. Transaction Logic has a natural model theory and a sound-and-complete proof theory.