Show simple item record

A General Multi-Agent Modal Logic K Framework for Game Tree Search

hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorSaffidine, Abdallah*
hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorCazenave, Tristan
HAL ID: 743184		*
dc.date.accessioned2017-09-01T15:50:16Z
dc.date.available2017-09-01T15:50:16Z
dc.date.issued2012
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/16671
dc.language.isoenen
dc.subjectMMLKen
dc.subject.ddc006.3en
dc.titleA General Multi-Agent Modal Logic K Framework for Game Tree Searchen
dc.typeCommunication / Conférence
dc.description.abstractenWe present an application of Multi-Agent Modal Logic K (MMLK) to model dynamic strategy game properties. We also provide several search algorithms to decide the model checking problem in MMLK. In this framework, we distinguish between the solution concept of in-terest which is represented by a class of formulas in MMLK and the search algorithm proper. The solution concept defines the shape of the game tree to be explored and the search algorithm determines how the game tree is explored. As a result, several formulas class and several of search algorithms can represent more than a dozen classical game tree search algorithms for single agent search, two-player games, and multi-player games. Among others, we can express the following algorithms in this work: depth-first search, Minimax, Monte Carlo Tree Search, Proof Number Search, Lambda Search, Paranoid Search, Best Reply Search.en
dc.identifier.citationpages18en
dc.relation.ispartoftitleComputer Games Workshop at ECAI 2012en
dc.relation.ispartofeditorCazenave, Tristan
dc.relation.ispartofeditorMéhat, Jean
dc.relation.ispartofeditorWinands, Mark
dc.relation.ispartofpublnameEuropean Conference on Artificial Intelligenceen
dc.relation.ispartofdate2012
dc.relation.ispartofpages142en
dc.subject.ddclabelIntelligence artificielleen
dc.relation.conftitleComputer Games Workshop at ECAI 2012en
dc.relation.confdate2012-08
dc.relation.confcityMontpellieren
dc.relation.confcountryFranceen
dc.relation.forthcomingnonen
dc.description.ssrncandidatenonen
dc.description.halcandidateouien
dc.description.readershiprechercheen
dc.description.audienceInternationalen
dc.relation.Isversionofjnlpeerreviewednonen
dc.relation.Isversionofjnlpeerreviewednonen
dc.date.updated2017-09-01T15:44:46Z
hal.identifierhal-01616213*
hal.version1*
hal.update.actionupdateMetadata*
hal.author.functionaut
hal.author.functionaut


Files in this item

Thumbnail
Name:
agmmlk.pdf
Size:
363.0Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record