Takumi Aida

Bio: Takumi Aida is an academic researcher from Waseda University. The author has contributed to research in topics: Knowledge-based systems & Automatic programming. The author has an hindex of 2, co-authored 3 publications receiving 4 citations.

Externalization of Human Idea and Problem Description for Automatic Programming

Abstract: Ways of building a problem model including an object and persons and of specifying programs in this model is discussed. It enables automation of the following programming process. A high-level intelligent system is needed for the purpose. A new modeling scheme named multi-strata modeling is introduced as a key concept to make computer system intelligent. This approach of specifying and generating program was applied to a car electronic system.

Intelligent Systems Must Be Able to Make Programs Automatically for Assuring the Practicality

Abstract: This paper discusses an important issue on the intelligent systems to solve large scale problem, especially on the way of making computer programs automatically. Since an activity that human beings design a problem solving system is a kind of problem solving, a new modeling scheme that can deal with multi-level structures is necessary for representing problem solving itself. A large scale system used repeatedly should be a procedural program and not exploratory one. A method of translating modeling results into a procedural program is proposed in this paper.

Program Generation for Application Domain Users by Selecting Model Candidates

Abstract: This study has proposed a method for software development in application domains such as control engineering. A new method is requested: (1) to reduce or remove communication between application domain and software engineering domain, (2) to provide a simple modeling scheme, and (3) to decrease knowledge-capturing cost. The process of the method is: capturing the knowledge in the target domain, defining the target program denotatively, generating model candidates automatically, selecting the model satisfied requirements, transforming the model into source code in a target language automatically, and evaluating the source code. This cooperation between computers and domain experts achieves both automatic model construction and identifying the solution.

Problem Decomposition and Multi-agent System Creation for Distributed Problem Solving

Abstract: As human society glows large and complex problems which human being must solve is also becoming large and complex In many cases, a problem must be solved cooperatively by many people There arise a problem of decomposing the problem into sub-problems, distributing these sub-problems to number of persons and organizing these people in such a way that the problem can be solved most efficiently This organization is not universal but is made specific to the given problem It is possible to create a multi-agent system to correspond to the cooperative work by persons Here is a problem of creating an organization of the agents dynamically that is suited for coping with the specific problem It is the major objective of this paper to discuss a way of generating a multi-agent system with examples

A Method of Generating Program Specification from Description of Human Activities

Abstract: This paper discusses a method of translating human activities into a program The final goal of this research is to develop an automatic programming system which can be used easily A new modeling scheme is introduced to allow human-like representation and to replace the subject of programming from person to computer A method of translating rules described based on this modeling scheme into program specification is proposed By using domain which is defined to variables of rules, the optimum program specification can be generated

New Modeling Method for Using Large Knowledge Bases

Abstract: The objective of this paper is to discuss some aspects of large scale knowledge bases, especially the ways of building knowledge bases from the view point of using knowledge bases for solving real problems and for assuring knowledge based systems generality. A new modeling scheme for representing problems including strategic decision is discussed as well as a way of generating problem specific problem solving systems. Many multi-level concepts such as a multi-level function structure and its corresponding knowledge structure, multiple meta-level operations, a multi-strata model to represent problems including human activity, etc. It is shown that the system realizes not only the generality but also practicality of problem solving by enabling automatic programming.