Automatically translating logical strategy formulas into cognitive models

OnderzoeksoutputAcademicpeer review

1 Citaat (Scopus)
59 Downloads (Pure)

Samenvatting

Whereas game theorists and logicians use formal methods to investigate strategic behaviour, cognitive scientists use cognitive models of the human mind to predict and simulate human behaviour. In this paper, we hope to bring these fields together by creating a translation system which, starting from a strategy represented in formal logic, automatically generates a computational model in the PRIMs cognitive architecture. We run such models to generate response times and decisions made in centipede-like games, a subset of dynamic perfect-information games. Our system is a proof-of-concept for generating cognitive models from formal logic, and presents a new method of otherwise laborious model creation.
Originele taal-2English
TitelProceedings of the 16th International Conference on Cognitive Modeling (ICCM 2018)
Redacteuren J. Houpt, I. Juvina, C. Myers
Pagina's182-187
Aantal pagina's6
ISBN van elektronische versie978-0-9985082-2-1
StatusPublished - 24-jul.-2018
Evenement16th International Conference on Cognitive Modelling - University of Wisconsin, Madison, WI, Madison, United States
Duur: 21-jul.-201824-jul.-2018
http://iccm-conference.org

Conference

Conference16th International Conference on Cognitive Modelling
Verkorte titelICCM 2018
Land/RegioUnited States
StadMadison
Periode21/07/201824/07/2018
Internet adres

Vingerafdruk

Duik in de onderzoeksthema's van 'Automatically translating logical strategy formulas into cognitive models'. Samen vormen ze een unieke vingerafdruk.

Citeer dit