File Download
There are no files associated with this item.
Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1016/j.eswa.2009.02.056
- Scopus: eid_2-s2.0-67349132373
- WOS: WOS:000266851000045
- Find via
Supplementary
- Citations:
- Appears in Collections:
Article: Creating automated plans for Semantic Web applications through planning as model checking
Title | Creating automated plans for Semantic Web applications through planning as model checking |
---|---|
Authors | |
Keywords | Formal methods Planning as model checking Artificial intelligence Semantic Web Software engineering for Internet projects Agents Model checking |
Issue Date | 2009 |
Citation | Expert Systems with Applications, 2009, v. 36, n. 7, p. 10595-10603 How to Cite? |
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. © 2009 Elsevier Ltd. All rights reserved. |
Persistent Identifier | http://hdl.handle.net/10722/233796 |
ISSN | 2023 Impact Factor: 7.5 2023 SCImago Journal Rankings: 1.875 |
ISI Accession Number ID |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Anderson, Bonnie Brinton | - |
dc.contributor.author | Hansen, James V. | - |
dc.contributor.author | Lowry, Paul Benjamin | - |
dc.date.accessioned | 2016-09-27T07:21:40Z | - |
dc.date.available | 2016-09-27T07:21:40Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Expert Systems with Applications, 2009, v. 36, n. 7, p. 10595-10603 | - |
dc.identifier.issn | 0957-4174 | - |
dc.identifier.uri | http://hdl.handle.net/10722/233796 | - |
dc.description.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. © 2009 Elsevier Ltd. All rights reserved. | - |
dc.language | eng | - |
dc.relation.ispartof | Expert Systems with Applications | - |
dc.subject | Formal methods | - |
dc.subject | Planning as model checking | - |
dc.subject | Artificial intelligence | - |
dc.subject | Semantic Web | - |
dc.subject | Software engineering for Internet projects | - |
dc.subject | Agents | - |
dc.subject | Model checking | - |
dc.title | Creating automated plans for Semantic Web applications through planning as model checking | - |
dc.type | Article | - |
dc.description.nature | link_to_subscribed_fulltext | - |
dc.identifier.doi | 10.1016/j.eswa.2009.02.056 | - |
dc.identifier.scopus | eid_2-s2.0-67349132373 | - |
dc.identifier.volume | 36 | - |
dc.identifier.issue | 7 | - |
dc.identifier.spage | 10595 | - |
dc.identifier.epage | 10603 | - |
dc.identifier.isi | WOS:000266851000045 | - |
dc.identifier.issnl | 0957-4174 | - |