Show simple item record

dc.contributor.authorLi, Naiqi
dc.contributor.authorFan, Yi
dc.contributor.authorLiu, Yongmei
dc.contributor.editorSebastian Thrun, Francesca Rossi
dc.date.accessioned2017-12-05T01:29:39Z
dc.date.available2017-12-05T01:29:39Z
dc.date.issued2013
dc.date.modified2013-09-24T23:05:53Z
dc.identifier.refurihttp://ijcai13.org/
dc.identifier.urihttp://hdl.handle.net/10072/53344
dc.description.abstractIn dynamic systems, state constraints are formulas that hold in every reachable state. It has been shown that state constraints can be used to greatly reduce the planning search space. They are also useful in program veri?cation. In this paper, we propose a sound but incomplete method for automatic veri?- cation and discovery of /forall^*/exists^* state constraints for a class of action theories that include many planning benchmarks. Our method is formulated in the situation calculus, theoretically based on Skolemization and Herbrand Theorem, and implemented with SAT solvers. Basically, we verify a state constraint by strengthening it in a novel and smart way so that it becomes a state invariant. We experimented with the blocks world, logistics and satellite domains, and the results showed that, almost all known state constraints can be veri?ed in a reasonable amount of time, and meanwhile succinct and intuitive related state constraints are discovered.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent214545 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.publisherAAAI Press
dc.publisher.placeUnited States
dc.publisher.urihttp://www.ijcai.org/Abstract/13/152
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameIJCAI-13
dc.relation.ispartofconferencetitleTwenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13) proceedings
dc.relation.ispartofdatefrom2013-08-03
dc.relation.ispartofdateto2013-08-09
dc.relation.ispartoflocationBeijing, China
dc.rights.retentionY
dc.subject.fieldofresearchAdaptive Agents and Intelligent Robotics
dc.subject.fieldofresearchcode080101
dc.titleReasoning about State Constraints in the Situation Calculus
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.rights.copyright© 2013 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the Conference's website for access to the definitive, published version.
gro.date.issued2013
gro.hasfulltextFull Text
gro.griffith.authorFan, Yi


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record