Planning in lexical-prior-free environments presents a fundamental challenge for evaluating whether large language models(LLMs)possess genuine structural reasoning capabilities beyond lexical memorization.When predica...Planning in lexical-prior-free environments presents a fundamental challenge for evaluating whether large language models(LLMs)possess genuine structural reasoning capabilities beyond lexical memorization.When predicates and action names are replaced with semantically irrelevant random symbols while preserving logical structures,existing direct generation approaches exhibit severe performance degradation.This paper proposes a symbol-agnostic closed-loop planning pipeline that enables models to construct executable plans through systematic validation and iterative refinement.The system implements a complete generate-verify-repair cycle through six core processing components:semantic comprehension extracts structural constraints,language planner generates text plans,symbol translator performs structure-preserving mapping,consistency checker conducts static screening,Stanford Research Institute Problem Solver(STRIPS)simulator executes step-by-step validation,and VAL(Validator)provides semantic verification.A repair controller orchestrates four targeted strategies addressing typical failure patterns including first-step precondition errors andmid-segment statemaintenance issues.Comprehensive evaluation on PlanBench Mystery Blocksworld demonstrates substantial improvements over baseline approaches across both language models and reasoning models.Ablation studies confirm that each architectural component contributes non-redundantly to overall effectiveness,with targeted repair providing the largest impact,followed by deep constraint extraction and stepwise validation,demonstrating that superior performance emerges from synergistic integration of these mechanisms rather than any single dominant factor.Analysis reveals distinct failure patterns betweenmodel types—languagemodels struggle with local precondition satisfaction while reasoning models face global goal achievement challenges—yet the validation-driven mechanism successfully addresses these diverse weaknesses.A particularly noteworthy finding is the convergence of final success rates across models with varying intrinsic capabilities,suggesting that systematic validation and repair mechanisms play a more decisive role than raw model capacity in lexical-prior-free scenarios.This work establishes a rigorous evaluation framework incorporating statistical significance testing and mechanistic failure analysis,providingmethodological contributions for fair assessment and practical insights into building reliable planning systems under extreme constraint conditions.展开更多
Based on the “Healthy China 2030 Planning Outline”, the literature method and logical analysis method are used to review and analyze the implementation process of China’s school football policy from three dimension...Based on the “Healthy China 2030 Planning Outline”, the literature method and logical analysis method are used to review and analyze the implementation process of China’s school football policy from three dimensions: value, interest appeal and institutional background. The study believes that in order to break through the bottleneck of policy implementation and improve the effect of policy implementation, it is necessary to establish correct values and form broad recognition of policies;meet the reasonable interests of all parties and form a synergy for policy implementation;optimize the institutional environment for policy implementation and form effective incentives.展开更多
Amid the recent global upsurge of studies on the philosophy of emotion, a reinterpretation of traditional Confucian philosophy, especially Mencius＇s ideas on the siduan （Four Original Sources） of morality, may shed...Amid the recent global upsurge of studies on the philosophy of emotion, a reinterpretation of traditional Confucian philosophy, especially Mencius＇s ideas on the siduan （Four Original Sources） of morality, may shed new light on the subject in comparative philosophy. This paper probes the structure of moral feeling and reason described by Mencius＇s from five perspectives： （1） In view of the relationship between feeling and reason, is it better to use the expression ＂siduan＂ or the expression ＂sixin （Four Heart-minds）＂？ （2） In view of dispositional feeling, what are the four original sources？ （3） In view of moral feeling, what are the structural order of the four sources and the corresponding procedure of reasoning of four heart-minds of Humanity？ （4） In view of positive feeling, how does moral feeling grow out of the goodness of human nature？ （5） What is the global value of Mencius＇s ideas on human moral feeling？ The author concludes that Mencius＇s thought on moral feeing has a global value and cross-cultural significance, and that Chinese wisdom is more than regional but universally applicable. The structure of moral feeling and reason that Mencius identified is in accordance with the principles ofzhiliang （grasping the two poles of the beginning and the end） and yongzhong （emloying the middle）. The principles ofzhiliang and yongzhong are true universal wisdoms of Confucianism, which should be rekindled today. From a practical point of view, ＂the Way begins from moral feelings,＂ and Confucius and Yah Hui＇s seeking the simple, virtuous life is an ideal model of emotional well-being.展开更多
基金supported by the Information,Production and Systems Research Center,Waseda University,and partly supported by the Future Robotics Organization,Waseda Universitythe Humanoid Robotics Institute,Waseda University,under the Humanoid Project+1 种基金the Waseda University Grant for Special Research Projects(grant numbers 2024C-518 and 2025E-027)was partly executed under the cooperation of organization between Kioxia Corporation andWaseda University.
文摘Planning in lexical-prior-free environments presents a fundamental challenge for evaluating whether large language models(LLMs)possess genuine structural reasoning capabilities beyond lexical memorization.When predicates and action names are replaced with semantically irrelevant random symbols while preserving logical structures,existing direct generation approaches exhibit severe performance degradation.This paper proposes a symbol-agnostic closed-loop planning pipeline that enables models to construct executable plans through systematic validation and iterative refinement.The system implements a complete generate-verify-repair cycle through six core processing components:semantic comprehension extracts structural constraints,language planner generates text plans,symbol translator performs structure-preserving mapping,consistency checker conducts static screening,Stanford Research Institute Problem Solver(STRIPS)simulator executes step-by-step validation,and VAL(Validator)provides semantic verification.A repair controller orchestrates four targeted strategies addressing typical failure patterns including first-step precondition errors andmid-segment statemaintenance issues.Comprehensive evaluation on PlanBench Mystery Blocksworld demonstrates substantial improvements over baseline approaches across both language models and reasoning models.Ablation studies confirm that each architectural component contributes non-redundantly to overall effectiveness,with targeted repair providing the largest impact,followed by deep constraint extraction and stepwise validation,demonstrating that superior performance emerges from synergistic integration of these mechanisms rather than any single dominant factor.Analysis reveals distinct failure patterns betweenmodel types—languagemodels struggle with local precondition satisfaction while reasoning models face global goal achievement challenges—yet the validation-driven mechanism successfully addresses these diverse weaknesses.A particularly noteworthy finding is the convergence of final success rates across models with varying intrinsic capabilities,suggesting that systematic validation and repair mechanisms play a more decisive role than raw model capacity in lexical-prior-free scenarios.This work establishes a rigorous evaluation framework incorporating statistical significance testing and mechanistic failure analysis,providingmethodological contributions for fair assessment and practical insights into building reliable planning systems under extreme constraint conditions.
文摘Based on the “Healthy China 2030 Planning Outline”, the literature method and logical analysis method are used to review and analyze the implementation process of China’s school football policy from three dimensions: value, interest appeal and institutional background. The study believes that in order to break through the bottleneck of policy implementation and improve the effect of policy implementation, it is necessary to establish correct values and form broad recognition of policies;meet the reasonable interests of all parties and form a synergy for policy implementation;optimize the institutional environment for policy implementation and form effective incentives.
文摘Amid the recent global upsurge of studies on the philosophy of emotion, a reinterpretation of traditional Confucian philosophy, especially Mencius＇s ideas on the siduan （Four Original Sources） of morality, may shed new light on the subject in comparative philosophy. This paper probes the structure of moral feeling and reason described by Mencius＇s from five perspectives： （1） In view of the relationship between feeling and reason, is it better to use the expression ＂siduan＂ or the expression ＂sixin （Four Heart-minds）＂？ （2） In view of dispositional feeling, what are the four original sources？ （3） In view of moral feeling, what are the structural order of the four sources and the corresponding procedure of reasoning of four heart-minds of Humanity？ （4） In view of positive feeling, how does moral feeling grow out of the goodness of human nature？ （5） What is the global value of Mencius＇s ideas on human moral feeling？ The author concludes that Mencius＇s thought on moral feeing has a global value and cross-cultural significance, and that Chinese wisdom is more than regional but universally applicable. The structure of moral feeling and reason that Mencius identified is in accordance with the principles ofzhiliang （grasping the two poles of the beginning and the end） and yongzhong （emloying the middle）. The principles ofzhiliang and yongzhong are true universal wisdoms of Confucianism, which should be rekindled today. From a practical point of view, ＂the Way begins from moral feelings,＂ and Confucius and Yah Hui＇s seeking the simple, virtuous life is an ideal model of emotional well-being.
