Stage-oe-small.jpg

Article632: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
 
K (Added from ontology)
Zeile 14: Zeile 14:
 
|Abstract=During the last years, a number of formal specification languages for knowledge-based systems (kbs) have been developed. Characteristic 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 means to specify the dynamic reasoning behavior of a kbs. Nethertheless, kbs are just a specific type of software systems. Therefore it seems quite natural to compare formal languages for specifying kbs with formal languages which were developed by the software engineering community for specifying software systems. That is the subject of this paper.
 
|Abstract=During the last years, a number of formal specification languages for knowledge-based systems (kbs) have been developed. Characteristic 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 means to specify the dynamic reasoning behavior of a kbs. Nethertheless, kbs are just a specific type of software systems. Therefore it seems quite natural to compare formal languages for specifying kbs with formal languages which were developed by the software engineering community for specifying software systems. That is the subject of this paper.
 
|VG Wort-Seiten=
 
|VG Wort-Seiten=
|Downloadlink PS=http://www.aifb.uni-karlsruhe.de/WBS/Publ/pre1997/KESE.ps.gz
+
|Download=1995_632_Fensel_Formal Specific_1.gz
|Link extern=
 
 
|Forschungsgebiet=
 
|Forschungsgebiet=
 
|Projekt=
 
|Projekt=
 
|Forschungsgruppe=
 
|Forschungsgruppe=
 
}}
 
}}

Version vom 7. August 2009, 12:49 Uhr


Formal Specification Languages in Knowledge and Software Engineering


Formal Specification Languages in Knowledge and Software Engineering



Veröffentlicht: 1995

Journal: The Knowledge Engineering Review
Nummer: 4


Volume: 10


Referierte Veröffentlichung

BibTeX




Kurzfassung
During the last years, a number of formal specification languages for knowledge-based systems (kbs) have been developed. Characteristic 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 means to specify the dynamic reasoning behavior of a kbs. Nethertheless, kbs are just a specific type of software systems. Therefore it seems quite natural to compare formal languages for specifying kbs with formal languages which were developed by the software engineering community for specifying software systems. That is the subject of this paper.

Download: Media:1995_632_Fensel_Formal Specific_1.gz



Forschungsgebiet