Keywords

semantic web, model checking, formal methods, software engineering for Internet projects, artificial intelligence, agents, planning as model checking

Abstract

The uncertainties of planning engendered by nondeterminism and partial observability have led to a melding of model checking and artificial intelligence. The result is planning as model checking. Because planning as model checking tests sets of states and sets of transitions at once, rather than single states, the method remains robust and viable in domains of large state spaces and varying levels of uncertainty.

We develop a test bench for Semantic Web agents and use model-based planning to derive strong plans, strong cyclic plans, and weak plans. Our results suggest potential robustness and efficacy in devising plans for agent actions in the Semantic Web environment.

Original Publication Citation

Anderson, B.B., Hansen, J.V., and Lowry, P.B. 2009. "Creating Automated Plans for Semantic Web Applications through Planning as Model Checking," Expert Systems with Applications, Vol. 36, pp. 10595-10603.

Document Type

Peer-Reviewed Article

Publication Date

2009

Publisher

Expert Systems with Applications

Language

English

College

Marriott School of Business

Department

Information Systems Management

University Standing at Time of Publication

Full Professor

Download

Share

COinS