Jeroen Olieslagers, Zahy Bnaya, Yichen Li, Wei Ji Ma
{"title":"通过AND/OR树进行逆向推理来解决问题。","authors":"Jeroen Olieslagers, Zahy Bnaya, Yichen Li, Wei Ji Ma","doi":"","DOIUrl":null,"url":null,"abstract":"<p><p>Whether travelling, playing games, or debugging code, any situation where an agent desires change can be framed as a problem. Despite this ubiquity, there is no unifying framework describing how people reason backwards when solving problems. We introduce AND/OR trees, which chain together subgoals and actions to attain them, as a way to represent this process. To investigate whether actions from AND/OR trees were predictive of human behavior, we conducted a study in which participants solved deterministic, long-horizon puzzles. AND/OR trees were able to explain most of the actions the participants took. Next, we modeled search through these trees using a psychologically plausible, single-parameter search algorithm. We fit this model to the data of individual participants and found that it captures trends in summary statistics of human play. Our results show the promise of AND/OR trees as a representation for backward reasoning in problem solving.</p>","PeriodicalId":72634,"journal":{"name":"CogSci ... Annual Conference of the Cognitive Science Society. Cognitive Science Society (U.S.). Conference","volume":"46 ","pages":"4402-4409"},"PeriodicalIF":0.0000,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11872137/pdf/","citationCount":"0","resultStr":"{\"title\":\"Backward reasoning through AND/OR trees to solve problems.\",\"authors\":\"Jeroen Olieslagers, Zahy Bnaya, Yichen Li, Wei Ji Ma\",\"doi\":\"\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p><p>Whether travelling, playing games, or debugging code, any situation where an agent desires change can be framed as a problem. Despite this ubiquity, there is no unifying framework describing how people reason backwards when solving problems. We introduce AND/OR trees, which chain together subgoals and actions to attain them, as a way to represent this process. To investigate whether actions from AND/OR trees were predictive of human behavior, we conducted a study in which participants solved deterministic, long-horizon puzzles. AND/OR trees were able to explain most of the actions the participants took. Next, we modeled search through these trees using a psychologically plausible, single-parameter search algorithm. We fit this model to the data of individual participants and found that it captures trends in summary statistics of human play. Our results show the promise of AND/OR trees as a representation for backward reasoning in problem solving.</p>\",\"PeriodicalId\":72634,\"journal\":{\"name\":\"CogSci ... Annual Conference of the Cognitive Science Society. Cognitive Science Society (U.S.). Conference\",\"volume\":\"46 \",\"pages\":\"4402-4409\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11872137/pdf/\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"CogSci ... Annual Conference of the Cognitive Science Society. Cognitive Science Society (U.S.). Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"CogSci ... Annual Conference of the Cognitive Science Society. Cognitive Science Society (U.S.). Conference","FirstCategoryId":"1085","ListUrlMain":"","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Backward reasoning through AND/OR trees to solve problems.
Whether travelling, playing games, or debugging code, any situation where an agent desires change can be framed as a problem. Despite this ubiquity, there is no unifying framework describing how people reason backwards when solving problems. We introduce AND/OR trees, which chain together subgoals and actions to attain them, as a way to represent this process. To investigate whether actions from AND/OR trees were predictive of human behavior, we conducted a study in which participants solved deterministic, long-horizon puzzles. AND/OR trees were able to explain most of the actions the participants took. Next, we modeled search through these trees using a psychologically plausible, single-parameter search algorithm. We fit this model to the data of individual participants and found that it captures trends in summary statistics of human play. Our results show the promise of AND/OR trees as a representation for backward reasoning in problem solving.