Abstract: In order to generate a source program or an object code which can be executed in parallel efficiency by detecting an independent operation of a large grain size from a program which can not be analyzed by the compiler, a parallelization supporting tool inputs a result of an output of the interprocedural analyzer 120 and the source program. A program of intermediate language is produced by the parse and the program of information of common and dummy argument variables is reflected into the program of intermediate language by the interprocedural variable information read processing. After a control flow analysis and a dataflow analysis have been carried out, dependency unknown variables are extracted and parallelizability conditions are produced. Based on the result of the produced conditions, questions and answers are made with the user or a condition statement is inserted into the source program to execute the program and a decision of parallelizability is made.

Abstract: Disclosed in this invention is a knowledge acquisition tool for facilitating a construction of a knowledge base in an expert system, including: a case preprocessing part 21 for checking whether or not data constituting individual cases on which a knowledge base is based satisfy a predetermined evaluation criterion and deleting or changing non-satisfying cases; a rule generation part 22 for generating rules by extracting regularities from the cases processed by preprocessing part 21; and a rule evaluation part 32 for evaluating the rules generated by the rule generation part 22.

Abstract: A reasoning method capable of easily describing a model of diagnosis, a diagnosis method based on the reasoning method and a fault diagnosis system for performing efficiently faulty component diagnosis. Basic knowledge of a domain for which a knowledge base is used, expert's heuristic knowledge and meta-level knowledge for determining a scheme of use of the basic knowledge and the heuristic knowledge are provided. Fault diagnosis is performed for an objective of interest by executing a combination of reasoning based on the basic knowledge and reasoning based on the heuristic knowledge, in accordance with the meta-level knowledge.