Pub Date : 2022-07-02DOI: 10.48550/arXiv.2207.00919
E. Dantsin, V. Kreinovich, A. Wolpert
AlphaZero and its extension MuZero are computer programs that use machine-learning techniques to play at a superhuman level in chess, go, and a few other games. They achieved this level of play solely with reinforcement learning from self-play, without any domain knowledge except the game rules. It is a natural idea to adapt the methods and techniques used in AlphaZero for solving search problems such as the Boolean satisfiability problem (in its search version). Given a search problem, how to represent it for an AlphaZero-inspired solver? What are the “rules of solving” for this search problem? We describe possible representations in terms of easy-instance solvers and self-reductions , and we give examples of such representations for the satisfiability problem. We also describe a version of Monte Carlo tree search adapted for search problems.
{"title":"An AlphaZero-Inspired Approach to Solving Search Problems","authors":"E. Dantsin, V. Kreinovich, A. Wolpert","doi":"10.48550/arXiv.2207.00919","DOIUrl":"https://doi.org/10.48550/arXiv.2207.00919","url":null,"abstract":"AlphaZero and its extension MuZero are computer programs that use machine-learning techniques to play at a superhuman level in chess, go, and a few other games. They achieved this level of play solely with reinforcement learning from self-play, without any domain knowledge except the game rules. It is a natural idea to adapt the methods and techniques used in AlphaZero for solving search problems such as the Boolean satisfiability problem (in its search version). Given a search problem, how to represent it for an AlphaZero-inspired solver? What are the “rules of solving” for this search problem? We describe possible representations in terms of easy-instance solvers and self-reductions , and we give examples of such representations for the satisfiability problem. We also describe a version of Monte Carlo tree search adapted for search problems.","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133879424","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_32
Ricardo Alvarez, Yamel Hernandez, V. Kreinovich
{"title":"Why Too Much Interaction Between Different Parts of the Brain Leads To Unhappiness","authors":"Ricardo Alvarez, Yamel Hernandez, V. Kreinovich","doi":"10.1007/978-3-031-16415-6_32","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_32","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116862718","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_34
O. Kosheleva, V. Kreinovich
{"title":"Blessings, God, Sacrifices: Possible Rational Explanations of Biblical Ideas","authors":"O. Kosheleva, V. Kreinovich","doi":"10.1007/978-3-031-16415-6_34","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_34","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125122426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_33
O. Kosheleva, V. Kreinovich
{"title":"Gödel's Proof of Existence of God Revisited","authors":"O. Kosheleva, V. Kreinovich","doi":"10.1007/978-3-031-16415-6_33","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_33","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"196 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121884672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_9
S. Aguilar, O. Kosheleva, V. Kreinovich
{"title":"Why Base-20, Base-40, and Base-60 Number Systems?","authors":"S. Aguilar, O. Kosheleva, V. Kreinovich","doi":"10.1007/978-3-031-16415-6_9","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_9","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124759960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_23
L. Castro, V. Kreinovich
{"title":"Is Our World Becoming Less Quantum?","authors":"L. Castro, V. Kreinovich","doi":"10.1007/978-3-031-16415-6_23","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_23","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121436203","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_6
O. Kosheleva, V. Kreinovich
{"title":"Why ∞ is a Reasonable Symbol for Infinity","authors":"O. Kosheleva, V. Kreinovich","doi":"10.1007/978-3-031-16415-6_6","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_6","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131137560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_40
Javier Viaña, Kelly Cohen
{"title":"Extension to Multidimensional Problems of a Fuzzy-Based Explainable and Noise-Resilient Algorithm","authors":"Javier Viaña, Kelly Cohen","doi":"10.1007/978-3-031-16415-6_40","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_40","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132580007","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_37
Oscar Galindo, Christopher Ibarra, V. Kreinovich, M. Beer
{"title":"Fourier Transform and Other Quadratic Problems Under Interval Uncertainty","authors":"Oscar Galindo, Christopher Ibarra, V. Kreinovich, M. Beer","doi":"10.1007/978-3-031-16415-6_37","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_37","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127809099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-16415-6_16
Daniel Cruz, Ricardo V. Godoy, V. Kreinovich
{"title":"Why, in Deep Learning, Non-smooth Activation Function Works Better Than Smooth Ones","authors":"Daniel Cruz, Ricardo V. Godoy, V. Kreinovich","doi":"10.1007/978-3-031-16415-6_16","DOIUrl":"https://doi.org/10.1007/978-3-031-16415-6_16","url":null,"abstract":"","PeriodicalId":168080,"journal":{"name":"Decision Making Under Uncertainty and Constraints","volume":" 22","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113947185","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：