Enantiomerically pure 6-acetyl-1,3,3-trimethyl bicyclo[2.2.2]octan-2-one,a key inter- mediate for synthesis of(-)-patchouli alcohol,was facilely synthesized from the adduct of a monome- thylated(-)-carvone 2 and methy...Enantiomerically pure 6-acetyl-1,3,3-trimethyl bicyclo[2.2.2]octan-2-one,a key inter- mediate for synthesis of(-)-patchouli alcohol,was facilely synthesized from the adduct of a monome- thylated(-)-carvone 2 and methyl acrylate.展开更多
Most traditional artificial intelligence(AI)systems of the past decades are either very limited,or based on heuristics,or both.The new millennium,however,has brought substantial progress in the field of theoretically ...Most traditional artificial intelligence(AI)systems of the past decades are either very limited,or based on heuristics,or both.The new millennium,however,has brought substantial progress in the field of theoretically optimal and practically feasible algorithms for prediction,search,inductive inference based on Occam’s razor,problem solving,decision making,and reinforcement learning in environments of a very general type.Since inductive inference is at the heart of all inductive sciences,some of the results are relevant not only for AI and computer science but also for physics,provoking nontraditional predictions based on Zuse’s thesis of the computer-generated universe.We first briefly review the history of AI since Godel’s 1931 paper,then discuss recent post-2000 approaches that are currently transforming general AI research into a formal science.展开更多
基金This project was supported by the National Natural Science Foundation of China.
文摘Enantiomerically pure 6-acetyl-1,3,3-trimethyl bicyclo[2.2.2]octan-2-one,a key inter- mediate for synthesis of(-)-patchouli alcohol,was facilely synthesized from the adduct of a monome- thylated(-)-carvone 2 and methyl acrylate.
文摘Most traditional artificial intelligence(AI)systems of the past decades are either very limited,or based on heuristics,or both.The new millennium,however,has brought substantial progress in the field of theoretically optimal and practically feasible algorithms for prediction,search,inductive inference based on Occam’s razor,problem solving,decision making,and reinforcement learning in environments of a very general type.Since inductive inference is at the heart of all inductive sciences,some of the results are relevant not only for AI and computer science but also for physics,provoking nontraditional predictions based on Zuse’s thesis of the computer-generated universe.We first briefly review the history of AI since Godel’s 1931 paper,then discuss recent post-2000 approaches that are currently transforming general AI research into a formal science.
