This is a survey presented at the International Joint Conference on AI (IJCAI-89) in Detroit on Soviet work in the field of knowledge-based programming. It considers work which started in the 1970s as automatic progra...
详细信息
This is a survey presented at the International Joint Conference on AI (IJCAI-89) in Detroit on Soviet work in the field of knowledge-based programming. It considers work which started in the 1970s as automatic programming projects with a goal to find new ways of program construction and, particularly, the work on computational models and problem solving. The structural program synthesis and conceptual programming technique developed in this framework were later used in the new generation computer project, START.
This paper presents TELEMACH, a problem solving system which provides syntactically uniform access to heterogeneously implemented knowledge bases. The system is aimed to use in autonomous signal pocessing ap plication...
详细信息
This paper presents TELEMACH, a problem solving system which provides syntactically uniform access to heterogeneously implemented knowledge bases. The system is aimed to use in autonomous signal pocessing ap plications such as e.g. , in the fields of knowledge-based system identification and fault detection. The applied knowledge representation scheme is functional in the sense that elemantary knowledge base constituents of the system are specified by their behaviour without any reference to how they are to be implemented. A functional interface is applied to the knowledge base which implements operations on the representation. On the platform of a procedural semantics we introduce the notion of the problem solving supervisor which, - in contrast with the conventional approaches, - exerts control of the reasoning process in a more flexible manner. As to the methodology, our recent approach formalizes the autonomous signal processing system as a discrete event dynamical phenomenon. In this theoretical framework a special action ontology, especially oriented to the signal processing domain, is presented which is based on temporal relations and the concurrent program viewpoint. Daedalus, the integrated graphical knowledge base editor of TELEMACH makes the development of complex signal processing strategies possible. An object oriented design philosophy is used to realize the idea.
The programming approach presented is part of a research project. The objective of this project is an evaluation whether at given technology a better price/performance ratio of a machine control system may be reached ...
详细信息
The programming approach presented is part of a research project. The objective of this project is an evaluation whether at given technology a better price/performance ratio of a machine control system may be reached if nonconventional architecture and programming approaches are adopted. The analysis of the specifics of machine embedded control systems led to the concept of an or-ed dataflow architecture. This paper concerns the programming aspects of a control system based on such a novel architecture.
A declarative programming style is claimed to have significant advantages from a software engineering point of view. However, these benefits cannot generally be realized when writing programs that are concerned with c...
详细信息
A declarative programming style is claimed to have significant advantages from a software engineering point of view. However, these benefits cannot generally be realized when writing programs that are concerned with changing state, such as environments and programming tools. declarative state-transition (DST) systems have been proposed as a solution to this problem. In DST systems, computation and update are separated. Programs are interpreted as defining functions or relations over states, and update follows successful computation of new states. Support for persistent state and atomic, serializable transactions facilitates the implementation of programming environments and tools. This paper describes an implementation scheme for DST systems. The scheme is illustrated by a presentation of the implementation of PPS, a DST system for parallel logic programming.
暂无评论