Artificial Intelligence: From programs to solvers
Mostra el registre complet Registre parcial de l'ítem
- dc.contributor.author Geffner, Héctor
- dc.date.accessioned 2018-12-03T12:36:46Z
- dc.date.available 2018-12-03T12:36:46Z
- dc.date.issued 2014
- dc.description.abstract Artificial Intelligence is a brain child of Alan Turing and his universal programmable computer. During the 1960s and 1970s, AI researchers used computers for exploring intuitions about intelligence and for writing programs displaying intelligent behavior. A significant change occurred however in the 1980s, as many AI researchers moved from the early AI paradigm of writing programs for ill-defined problems to writing solvers for well-defined mathematical models like Constraint Satisfaction Problems, Strips Planning, SAT, Bayesian Networks, Partially Observable Markov Decision Processes and General Game Playing. Solvers are programs that take a compact description of a particular model instance and automatically compute its solution. Unlike the early AI programs, solvers are general as they must deal with any instance that fits the model. Many ideas have been advanced to address this crisp computational challenge from which a number of lessons can be drawn. In this paper, I revisit the problem of generality in AI, look at the way in which this ‘Models and Solvers’ agenda addresses the problem, and discuss the relevance of this agenda to the grand AI goal of a computational account of intelligence and human cognition.
- dc.description.sponsorship Work is partially supported by grant EC- 7PM-SpaceBook.
- dc.format.mimetype application/pdf
- dc.identifier.citation Geffner H. Artificial Intelligence: From programs to solvers. AI Communications. 2014;27(1):45-51. DOI: 10.3233/AIC-130581
- dc.identifier.doi http://dx.doi.org/10.3233/AIC-130581
- dc.identifier.issn 0921-7126
- dc.identifier.uri http://hdl.handle.net/10230/35944
- dc.language.iso eng
- dc.publisher IOS Press
- dc.relation.ispartof AI Communications. 2014;27(1):45-51.
- dc.relation.projectID info:eu-repo/grantAgreement/EC/FP7/270019
- dc.rights The final publication is available at IOS Press through http://dx.doi.org/10.3233/AIC-130581
- dc.rights.accessRights info:eu-repo/semantics/openAccess
- dc.subject.keyword Models and solvers
- dc.subject.keyword Planning
- dc.subject.keyword General intelligence
- dc.subject.keyword Cognitive science
- dc.title Artificial Intelligence: From programs to solvers
- dc.type info:eu-repo/semantics/article
- dc.type.version info:eu-repo/semantics/acceptedVersion