Planning with Specialized SAT Solvers
Description
Logic, and declarative representation of knowledge in general, have long been a preferred framework for problem solving in AI. However, specific subareas of AI have been eager to abandon general-purpose knowledge representation in favor of methods that seem to address their computational core problems better. In planning, for example, state-space search has in the last several years been preferred to logic-based methods such as SAT. In our recent work, we have demonstrated that the observed...[Show more]
dc.contributor.author | Rintanen, Jussi | |
---|---|---|
dc.coverage.spatial | San Francisco USA | |
dc.date.accessioned | 2015-12-10T22:17:14Z | |
dc.date.created | August 7-11 2011 | |
dc.identifier.uri | http://hdl.handle.net/1885/51317 | |
dc.description.abstract | Logic, and declarative representation of knowledge in general, have long been a preferred framework for problem solving in AI. However, specific subareas of AI have been eager to abandon general-purpose knowledge representation in favor of methods that seem to address their computational core problems better. In planning, for example, state-space search has in the last several years been preferred to logic-based methods such as SAT. In our recent work, we have demonstrated that the observed performance differences between SAT and specialized state-space search methods largely go back to the difference between a blind (or at least planning-agnostic) and a planning-specific search method. If SAT search methods are given even simple heuristics which make the search goal-directed, the efficiency differences disappear. | |
dc.publisher | AAAI Press | |
dc.relation.ispartofseries | National Conference on Artificial Intelligence (AAAI 2011) | |
dc.source | Proceedings of AAAI 2011 | |
dc.subject | Keywords: Computational core; SAT solvers; Search method; State-space; Sub-areas; Artificial intelligence; Knowledge representation | |
dc.title | Planning with Specialized SAT Solvers | |
dc.type | Conference paper | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
dc.date.issued | 2011 | |
local.identifier.absfor | 080399 - Computer Software not elsewhere classified | |
local.identifier.ariespublication | u4963866xPUB221 | |
local.type.status | Published Version | |
local.contributor.affiliation | Rintanen, Jussi , College of Engineering and Computer Science, ANU | |
local.description.embargo | 2037-12-31 | |
local.bibliographicCitation.startpage | 4 | |
local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
dc.date.updated | 2016-02-24T11:30:32Z | |
local.identifier.scopusID | 2-s2.0-80055030863 | |
Collections | ANU Research Publications |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Rintanen_Planning_with_Specialized_SAT_2011.pdf | 473.83 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator