Development of knowledge based systems: new ways for the development of software systems

2011 ◽  
pp. 60-76
Author(s):  
M.-J Schachter-Radig
1995 ◽  
Vol 10 (4) ◽  
pp. 361-404 ◽  
Author(s):  
Dieter Fensel

AbstractDuring the last few years, a number of formal specification languages for knowledge-based systems (KBS) have been developed. Characteristics of such systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Languages for KBS have to cover both these aspects. They have to provide a means to specify a complex and large amount of knowledge and they have to provide a means to specify the dynamic reasoning behaviour of a KBS. Nevertheless, KBS are just a specific type of software system. Therefore, it seems quite natural to compare formal languages for specifying KBS with formal languages which were developed by the software community for specifying software systems. That is the subject of this paper.


IEE Review ◽  
1988 ◽  
Vol 34 (1) ◽  
pp. 36
Author(s):  
S.H. Lavington

1986 ◽  
Author(s):  
Simon S. Kim ◽  
Mary Lou Maher ◽  
Raymond E. Levitt ◽  
Martin F. Rooney ◽  
Thomas J. Siller

1990 ◽  
Author(s):  
Edward A. Feigenbaum ◽  
Robert S. Engelmore ◽  
Paul C. Rosenbloom

1990 ◽  
Vol 19 (1-4) ◽  
pp. 72-76
Author(s):  
C. Parks ◽  
J. Subramanian ◽  
S. Srinivas ◽  
A. Waikar ◽  
G. Graves ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document