File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Creating automated plans for Semantic Web applications through planning as model checking

TitleCreating automated plans for Semantic Web applications through planning as model checking
Authors
KeywordsFormal methods
Planning as model checking
Artificial intelligence
Semantic Web
Software engineering for Internet projects
Agents
Model checking
Issue Date2009
Citation
Expert Systems with Applications, 2009, v. 36, n. 7, p. 10595-10603 How to Cite?
AbstractThe 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. © 2009 Elsevier Ltd. All rights reserved.
Persistent Identifierhttp://hdl.handle.net/10722/233796
ISSN
2015 Impact Factor: 2.981
2015 SCImago Journal Rankings: 1.839

 

DC FieldValueLanguage
dc.contributor.authorAnderson, Bonnie Brinton-
dc.contributor.authorHansen, James V.-
dc.contributor.authorLowry, Paul Benjamin-
dc.date.accessioned2016-09-27T07:21:40Z-
dc.date.available2016-09-27T07:21:40Z-
dc.date.issued2009-
dc.identifier.citationExpert Systems with Applications, 2009, v. 36, n. 7, p. 10595-10603-
dc.identifier.issn0957-4174-
dc.identifier.urihttp://hdl.handle.net/10722/233796-
dc.description.abstractThe 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. © 2009 Elsevier Ltd. All rights reserved.-
dc.languageeng-
dc.relation.ispartofExpert Systems with Applications-
dc.subjectFormal methods-
dc.subjectPlanning as model checking-
dc.subjectArtificial intelligence-
dc.subjectSemantic Web-
dc.subjectSoftware engineering for Internet projects-
dc.subjectAgents-
dc.subjectModel checking-
dc.titleCreating automated plans for Semantic Web applications through planning as model checking-
dc.typeArticle-
dc.description.natureLink_to_subscribed_fulltext-
dc.identifier.doi10.1016/j.eswa.2009.02.056-
dc.identifier.scopuseid_2-s2.0-67349132373-
dc.identifier.volume36-
dc.identifier.issue7-
dc.identifier.spage10595-
dc.identifier.epage10603-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats