scispace - formally typeset
Journal ArticleDOI

Toward truly intelligent information systems-from expert systems to automatic programming

Setsuo Ohsuga
- 01 Apr 1998 - 
- Vol. 10, Iss: 6, pp 363-396
TLDR
A way of designing intelligent systems that assure autonomy, generality and practicality in problem solving to the greatest extent and can solve complex problems is discussed.
Abstract
The objective of this paper is to discuss a way of designing intelligent systems that assure autonomy, generality and practicality in problem solving to the greatest extent and can solve complex problems. There are various types of problem solving, depending on the object, and often more than one subjects concern the same problem with different roles in complex problem solving. In order to achieve our goal in this environment, a new architecture for the system and a new modeling scheme for representing problems including human activity are discussed, as well as a way of generating problem-specific problem solving systems. Several new concepts are included in this paper: 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 the practicality of problem solving by enabling automatic programming.

read more

Citations
More filters
Proceedings ArticleDOI

A modeling scheme for new information systems-an application to enterprise modeling and program specification

TL;DR: A new modeling scheme named multi-strata modeling is used to specify computer programs as a part of a model and to generate the programs automatically, establishing a new human-computer relation.
Book ChapterDOI

Integration of different information processing methods

TL;DR: This discussion reveals the most feasible way of integrating the different schemes through knowledge processing, which is a sequence of integrate the methods via knowledge processing.
Book ChapterDOI

Externalization of Human Idea and Problem Description for Automatic Programming

TL;DR: A new modeling scheme named multi-strata modeling is introduced as a key concept to make computer system intelligent and enables automation of the following programming process.
Book ChapterDOI

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

TL;DR: An important issue on the intelligent systems to solve large scale problem, especially on the way of making computer programs automatically is discussed, and a method of translating modeling results into a procedural program is proposed.
References
More filters
Journal ArticleDOI

Model-based cognitive diagnosis

TL;DR: This paper considers the problem of cognitive diagnosis as an instance of general diagnosis, as studied in artificial intelligence, and concludes that the ‘general’ theories for diagnosis must be broadened to fully encompass the problems of Cognitive diagnosis.
Journal ArticleDOI

Discovering concept clusters by decomposing databases

TL;DR: This paper introduces an approach of discovering concept clusters by decomposing databases, which is the fundamental one for developing DBI which is one of sub-systems of the GLS discovery system implemented by us.
Journal ArticleDOI

How can knowledge-based systems solve large-scale problems?: model-based decomposition and problem solving

TL;DR: A knowledge-based system that can solve large-scale problems is discussed, provided with a new method which combines model building with hierarchical problem decomposition and a method of implementing the idea with the example of representation.
Journal ArticleDOI

Applying formal software synthesis

R.K. Jullig
- 01 May 1993 - 
TL;DR: A software synthesis method that combines elements of graphical tools, specification writing, and code construction is discussed, which differs from other formal approaches in that its notations are used primarily to represent programming knowledge and support automated code generation.