Title | ||
---|---|---|
Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need |
Abstract | ||
---|---|---|
It is argued that knowledge engineering could benefit from incorporating methodologies for software development and verification as found in traditional software engineering. Specifically, the authors investigate if and how traditional software engineering approaches could be transported to the development and verification of knowledge-based systems (KBSs). They present a few ideas on how to use formal methods in KBS development using, e.g. algebraic specifications. The fundamental conflict between the expressive power and the provability of knowledge engineering languages is identified and discussed |
Year | DOI | Venue |
---|---|---|
1990 | 10.1109/TAI.1990.130315 | Herndon, VA |
Keywords | Field | DocType |
knowledge based systems,knowledge engineering,program verification,software engineering,kbs development,algebraic specifications,formal methods,knowledge engineering languages,knowledge-based systems development,software development,traditional software engineering,verification,artificial intelligence,engines,formal method,application software,inductors,expressive power,knowledge based system,software testing | Software Engineering Process Group,Software engineering,Computer science,Software development process,Knowledge engineering,Software construction,Software verification and validation,Software development,Social software engineering,Software verification | Conference |
Citations | PageRank | References |
4 | 0.46 | 3 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
sandro bologna | 1 | 99 | 17.81 |
Eyvind Ness | 2 | 4 | 0.46 |
Terje Sivertsen | 3 | 7 | 2.09 |