5 research outputs found

    On the completeness of SLDENF-resolution

    No full text

    Concurrent Productions, Consumptions and Occupations

    No full text
    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]
    corecore