dc.contributor.author | Li, Naiqi | |
dc.contributor.author | Fan, Yi | |
dc.contributor.author | Liu, Yongmei | |
dc.contributor.editor | Sebastian Thrun, Francesca Rossi | |
dc.date.accessioned | 2017-12-05T01:29:39Z | |
dc.date.available | 2017-12-05T01:29:39Z | |
dc.date.issued | 2013 | |
dc.date.modified | 2013-09-24T23:05:53Z | |
dc.identifier.refuri | http://ijcai13.org/ | |
dc.identifier.uri | http://hdl.handle.net/10072/53344 | |
dc.description.abstract | In 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.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 214545 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.publisher | AAAI Press | |
dc.publisher.place | United States | |
dc.publisher.uri | http://www.ijcai.org/Abstract/13/152 | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | IJCAI-13 | |
dc.relation.ispartofconferencetitle | Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13) proceedings | |
dc.relation.ispartofdatefrom | 2013-08-03 | |
dc.relation.ispartofdateto | 2013-08-09 | |
dc.relation.ispartoflocation | Beijing, China | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Adaptive Agents and Intelligent Robotics | |
dc.subject.fieldofresearchcode | 080101 | |
dc.title | Reasoning about State Constraints in the Situation Calculus | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - 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.issued | 2013 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Fan, Yi | |