• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Automatic Construction of State Evaluation Functions and its Dynamic Evaluator

Research Project

Project/Area Number 13680434
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionThe University of Tokyo

Principal Investigator

KAWAI Satoru  The University of Tokyo, Graduate School of Arts and Sciences, Professor, 大学院・総合文化研究科, 教授 (50011664)

Co-Investigator(Kenkyū-buntansha) MASUHARA Hidehiko  The University of Tokyo, Graduate School of Arts and Sciences, Assistant Professor, 大学院・総合文化研究科, 助教授 (40280937)
YAMAGUCHI Kazunori  The University of Tokyo, Information Technology Center, Professor, 情報基盤センター, 教授 (80158097)
Project Period (FY) 2001 – 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥3,600,000 (Direct Cost: ¥3,600,000)
Fiscal Year 2002: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2001: ¥2,600,000 (Direct Cost: ¥2,600,000)
Keywordsevaluation functions / dynamic evaluator / knowledge acquisition / state transition rule / feature / Galoi lattice / reflective computing / ガロア束
Research Abstract

The main target of this research is a systematic treatment of the three components; state evaluation by learning, concept formation, and the automatic construction of efficient evaluators. In the first year of the research, a set of evaluation elements (features) with reasonable calculation efficiency is successfully constructed. A thorough analysis of the features, extraction of useful concepts, and a research of making realistic evaluators are performed in the following (and the final) year. Main results follow.
・・Advanced research with respect to evaluation functions
In the field of the automatic construction of evaluation functions, both rapid generation of large sets of functions and efficient processing of these functions are inevitable, beside the theoretical clearness of generation and processing. We show some satisfactory results for these topics with the use of evaluation networks and geometrical patterns.
・・Preparatory works for the framework of concept formation
Works in the field of semistructure data is carried out for the structuring of evaluation features. Some mathematical methods of automatic categorization of concepts are investigated. A process algebra which allows the concept of simultaneous events is proposed, with a clear mathematical soundness.
・・Construction of runnable evaluator
Each evaluator corresponding to evaluation features are to be implemented, in our research, in Java language by the use of specialization in the level of byte code programs. Some reflective methods for this implementation are investigated.
The results of our research are believed to show the applicability to practical problems in the fields of, for example, money market and data mining, not restricted to 2-players games which we used as a workout example.

Report

(3 results)
  • 2002 Annual Research Report   Final Research Report Summary
  • 2001 Annual Research Report
  • Research Products

    (39 results)

All Other

All Publications (39 results)

  • [Publications] 金子 知適: "述語論理で表された特徴関数のネットワーク型局面評価器への自動変換"電子情報通信学会論文誌. J85DI・11. 1074-1082 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] 金子 知適: "ゲームプログラムのためのパターン型評価関数の自動生成法"情報処理学会論文誌. 43・10. 3040-3047 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Kaneko, T.: "Pattern Selection Problem for Automatically Generating Evaluation Function for General Game Player"The Seventh Game Programming Workshop, IPSJ. 7. 28-35 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Kaneko, T.: "Automatic Feature Construction and Optimization for General Game Player"The Sixth Game Programming Workshop, IPSJ. 6. 25-32 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Horie, I.: "Gmls : A Directed Graph Model with Label sets for Semistructured Data Management"Proc. Inf. Tech. Higher Education and Training. 58 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Matsuda, Y.: "The Info Min Principle : A Unifying Information-Based Criterion for Forming Topological Mappings"Proc. ICONIP. 14-19 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Matsuda, Y.: "Global Mapping Analysis : Stochastic Gradient Algorithm in SSTRESS and Classical MDS Stress"Intl. J. Neural Systems. 11・15. 419-426 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Mizuguchi, D.: "Causal Event Structures with Complete Transformation Rules"IPSJ Journal. 44・1. 15-28 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Masuhara, H.: "A Compilation and Optimization Model for Aspect Oriented Programs"Proc. Compiler Construction 2003. 46-60 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Masuhara, H.: "Supporting Objects in Run-Time Bytecale Specialization"Proc. ASIA-PERM'02. 50-60 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Masuhara, H.: "A Portable Approach to Dynamic Optimization in Run-Time Specialization"J. New Generation Computing. 20・1. 101-124 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Kaneko, T.: "Compiling Logical Features into Special Boolean Networks with Incremental Propagation"J.IEICE. J85-D-1, 11. 1074-1082 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Kaneko, T.: "Automatic Construction of Pattern-Based Evaluation Functions for Game Programming"IPSJ J. 43(W). 3040-3047 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Kaneko, T., Yamaguchi, K., and Kawai, S.: "Pattern Selection Problem for Automatically Generating Evaluation Functions for General Game Player"Proc.7^<th> Game Programming Workshop, IPSJ. 28-35 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Kaneko, T, Yamaguchi, K., and Kawai, S.: "Automatic Feature Construction and Optimization for General Game Player"Proc.6^<th> Game Programming Workshop, IPSJ. 25-32 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Horie, I. And Yamaguchi, K.: "Gmls : A Directed Graph Model with Label Sets for Semistructured Data Management"Proc. Information Technology for Higher Education and Training. #058. (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Matsuda, Y.: "The InfoMin Principle: A Unifying Information-Based Criterion for Forming Topological Mappings"Proc. ICONIP. 14-19 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Matsuda, Y. and Yamaguchi, K.: "Global Mapping Analysis : Stochastic Gradient Algorithm in SSTRESS and Classical MDS Stress"Intl. J. Neural Systems. 11(5). 419-426 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Mizuguchi, D. and Yamaguchi, K.: "Casual Event Structures with Complete Transformation Rules"IPSJ J.. 44(1). 15-28 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Masuhara, H.: "A Compilation and Optimization Model for Aspect-Oriented Programs"Proc. Compiler Construction 2003. 46-60 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Affeldt, R., Masuhara, H., Sumii, E. and Yonezawa, A.: "Supporting Objects in Run-Time Bytecode Specialization"ASIA-PEPM'02. 50-60 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Masuhara, H.: "A Portable Approach to Dynamic Optimization in Ron-time Specialization"J. New Generation Computing. 20(1). 101-124 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] 金子知適: "述語論理で表された特徴関数のネットワーク型局面評価器への自動変換"電子情報通信学会論文誌. J85D1・11. 1074-1082 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 金子知適: "ゲームプログラムのためのパターン型評価関数の自動生成法"情報処理学会論文誌. 43・10. 3040-3047 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Kaneko, T.: "Pattern Selection Problem for Automatically Generating Evaluation Function for General Game Player"The Seventh Game Programming Workshop, IPSJ. 7. 28-35 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Kaneko, T.: "Automatic Feature Construction and Optimization for General Game Player"The Sixth Game Programming Workshop, IPSJ. 6. 25-32 (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Horie, I.: "Gmls : A Directed Graph Model with Label Sets for Semistructured Data Management"Proc.Inf.Tech. Higher Education and Training. 58 (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Matsuda, Y.: "The Info Min Principle : A Unifying Information -Based Criterion for Forming Topological Mappings"Proc.ICONIP. 14-19 (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Matsuda, Y.: "Global Mapping Analysis : Stochastic Gradient Algorithm in SSTRESS and Classical MDS Stress"Intl.J.Neural Systems. 11・5. 419-426 (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Mizuguchi, D.: "Causal Event Structures with Complete Transformation Rules"IPSJ Journal. 44・1. 15-28 (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] Masuhara, H.: "A Compilation and Optimization Model for Aspect-Oriented Program"Proc. Compiler Construction 2003. 46-60 (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] Masuhara, H.: "Supporting Objects in Run-Time Bytecode Specialization"Proc. ASIA-PERM'02. 50-60 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Masuhara, H.: "A Portable Approach to Dynamic Optimization in Run-Time Specialization"J.New Generation Computing. 20・1. 101-124 (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Tomoyuki Kaneko: "Automatic Feature Construction and Optimization for General Game Player"Proc. Game Programming Workshop in Japan. 25-32 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yoshitatsu Matsuda: "Global Mapping Analysis : Stochastic Approximation for Multi-Dimensional Scaling"International Journal of Neural Systems. Vol.11, No.5. 419-426 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yoshitatsu Matsuda: "The Info Min Principle : A Unify my Information-based Criterion for Topographic Mapping"Proc. ICONIP in Shanghai. 14-19 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Hidehiko Masuhara: "Runtime Bytecade Specialization : A Portable Approach to Generating Optim'2ed Code"Proc. Second Symposium on Programs as Data Objects. 138-154 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Hidehiko Masuhara: "Reflection in Concurrent Object-Oriented Languages"in Formal Methods for Distributed Processing, Cambridge Univ. Press. 第14章. (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yutaka Oiwa: "DynJava : Type Safe Dynamic Code Generation in Java"Proc. JSSST Workshop on Programming and Languages. 127-138 (2001)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi