Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Principles of artificial intelligence
Principles of artificial intelligence
FORK: Ein System zur objeckt- und regelorientierten Programmierung
GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
Hi-index | 0.01 |
We describe progress made within the FORK project, whose goals are the implementation of a primarily object-oriented knowledge representation system and its application to the design and fault diagnosis of technical systems. Whereas the kernel of the FORK representation system is completely object-oriented, the system as a whole is supposed to integrate a variety of different programming styles. In the following, an extension for rule-oriented programming is described, which raises the descriptive power of the FORK system beyond that of LOOPS. As an application of the rule-oriented component, a constraint language has been implemented which plays an important rule in our approach to the design and fault diagnosis of technical systems.The next steps in the FORK project will include the development of a general logical framework, comprising a logical reconstruction of object-centered representations, retrieval of complex descriptions by unification, and deductions on structured objects. The problem of non-monotonicity will be dealt with on the meta level by a module similar to DeKleer's ATMS. Further progress shall be achieved by concentrating on a general treatment of the problem of time in modelling technical systems which is to our opinion one of the most important issues.