Concurrent Productions, Consumptions and Occupations

We investigate the problems of precondition interactions and effect cumulations, typically caused by the concurrent execution of actions. Our analysis leads to an integration of property oriented and resource oriented approaches to the representation of action and change. We formalize our ideas by introducing an extension AORC of the Action Description Language AC [1], and give a sound and complete encoding of domain descriptions in AORC in terms of the Fluent Calculus [8], thereby enabling sound and complete automated inference using SLDENF-Resolution [17, 15]