Rigorous engineering practice and formal reasoning of deep domain knowledge

The basis of dependable knowledge based systems for process plant control

Sandro Bologna, Terje Sivertsen, Heikki Välisuo

Research output: Contribution to journalArticleScientificpeer-review

Abstract

Knowledge based systems are often used to replace humans in solving problems for which only heuristic knowledge on the solution is available. However, there are also important application areas where nonheuristic knowledge is available e.g. in technical documents but where efficient use of the knowledge is impossible without the techniques provided by artificial intelligence. High dependability of these kinds of applications can be achieved if domain knowledge can be represented in a language providing both adequate representational constructs and the required level of formality. In addition, the language should be supported by powerful tools assisting in the verification process.

Knowledge Based Systems, despite the different technology employed, are still nothing more than a computer program. Unfortunately, quite a few people building knowledge based systems seem to ignore the many good programming practices that have evolved over the years for producing traditional computer programs. What we need is a framework for the modelling of the KBSs development.

In our work, it is claimed that these requirements can be met by utilizing and combining ideas from control engineering, software engineering and artificial intelligence.

Original languageEnglish
Pages (from-to)53 - 98
Number of pages46
JournalInternational Journal of Software Engineering and Knowledge Engineering
Volume3
Issue number1
DOIs
Publication statusPublished - 1993
MoE publication typeA1 Journal article-refereed

Fingerprint

Knowledge based systems
Artificial intelligence
Computer program listings
Software engineering

Cite this

@article{9f88358b7c6049f5bd60d8b69052c5df,
title = "Rigorous engineering practice and formal reasoning of deep domain knowledge: The basis of dependable knowledge based systems for process plant control",
abstract = "Knowledge based systems are often used to replace humans in solving problems for which only heuristic knowledge on the solution is available. However, there are also important application areas where nonheuristic knowledge is available e.g. in technical documents but where efficient use of the knowledge is impossible without the techniques provided by artificial intelligence. High dependability of these kinds of applications can be achieved if domain knowledge can be represented in a language providing both adequate representational constructs and the required level of formality. In addition, the language should be supported by powerful tools assisting in the verification process.Knowledge Based Systems, despite the different technology employed, are still nothing more than a computer program. Unfortunately, quite a few people building knowledge based systems seem to ignore the many good programming practices that have evolved over the years for producing traditional computer programs. What we need is a framework for the modelling of the KBSs development.In our work, it is claimed that these requirements can be met by utilizing and combining ideas from control engineering, software engineering and artificial intelligence.",
author = "Sandro Bologna and Terje Sivertsen and Heikki V{\"a}lisuo",
note = "Project code: S{\"A}H 007122",
year = "1993",
doi = "10.1142/S0218194093000045",
language = "English",
volume = "3",
pages = "53 -- 98",
journal = "International Journal of Software Engineering and Knowledge Engineering",
issn = "0218-1940",
publisher = "World Scientific Publishing",
number = "1",

}

Rigorous engineering practice and formal reasoning of deep domain knowledge : The basis of dependable knowledge based systems for process plant control. / Bologna, Sandro; Sivertsen, Terje; Välisuo, Heikki.

In: International Journal of Software Engineering and Knowledge Engineering, Vol. 3, No. 1, 1993, p. 53 - 98.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Rigorous engineering practice and formal reasoning of deep domain knowledge

T2 - The basis of dependable knowledge based systems for process plant control

AU - Bologna, Sandro

AU - Sivertsen, Terje

AU - Välisuo, Heikki

N1 - Project code: SÄH 007122

PY - 1993

Y1 - 1993

N2 - Knowledge based systems are often used to replace humans in solving problems for which only heuristic knowledge on the solution is available. However, there are also important application areas where nonheuristic knowledge is available e.g. in technical documents but where efficient use of the knowledge is impossible without the techniques provided by artificial intelligence. High dependability of these kinds of applications can be achieved if domain knowledge can be represented in a language providing both adequate representational constructs and the required level of formality. In addition, the language should be supported by powerful tools assisting in the verification process.Knowledge Based Systems, despite the different technology employed, are still nothing more than a computer program. Unfortunately, quite a few people building knowledge based systems seem to ignore the many good programming practices that have evolved over the years for producing traditional computer programs. What we need is a framework for the modelling of the KBSs development.In our work, it is claimed that these requirements can be met by utilizing and combining ideas from control engineering, software engineering and artificial intelligence.

AB - Knowledge based systems are often used to replace humans in solving problems for which only heuristic knowledge on the solution is available. However, there are also important application areas where nonheuristic knowledge is available e.g. in technical documents but where efficient use of the knowledge is impossible without the techniques provided by artificial intelligence. High dependability of these kinds of applications can be achieved if domain knowledge can be represented in a language providing both adequate representational constructs and the required level of formality. In addition, the language should be supported by powerful tools assisting in the verification process.Knowledge Based Systems, despite the different technology employed, are still nothing more than a computer program. Unfortunately, quite a few people building knowledge based systems seem to ignore the many good programming practices that have evolved over the years for producing traditional computer programs. What we need is a framework for the modelling of the KBSs development.In our work, it is claimed that these requirements can be met by utilizing and combining ideas from control engineering, software engineering and artificial intelligence.

U2 - 10.1142/S0218194093000045

DO - 10.1142/S0218194093000045

M3 - Article

VL - 3

SP - 53

EP - 98

JO - International Journal of Software Engineering and Knowledge Engineering

JF - International Journal of Software Engineering and Knowledge Engineering

SN - 0218-1940

IS - 1

ER -