Artificial Intelligence
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Evaluation of safety-critical software
Communications of the ACM
Representations of commonsense knowledge
Representations of commonsense knowledge
Meta-programming in logic programming
Meta-programming in logic programming
The practice of Prolog
Validation, verification and test of knowledge-based systems
MELODIA: logical methods for checking knowledge bases
Validation, verification and test of knowledge-based systems
Consistency, soundness and completeness of a diagnosis system
Validation, verification and test of knowledge-based systems
Consistency checking along time
Applied Artificial Intelligence
Arguments, contradictions and practical reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Model-based monitoring of dynamic systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Paper: Symbolic decision support in medical care
Artificial Intelligence in Medicine
Model-based diagnosis in intensive care monitoring: The YAQ approach
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
Paper: Symbolic decision support in medical care
Artificial Intelligence in Medicine
| Hi-index | 0.00 |
The problems of developing sound and safe expert systems are discussed, with particular reference to medicine. The concepts, notations, methods, results and technologies which have emerged from the study of mathematical logic as a computational paradigm offer many benefits for improving the quality of expert systems. Logic programming offers a better discipline for design, specification and implementation than ad hoc development methodologies. When logic programming is combined with software engineering methods, such as a software development life-cycle, the probability of routinely developing large-scale yet efficient and sound applications will be increased. However, although soundness is a necessary property of any technology it is not sufficient for assuring safety. Established methods for improved software safety are discussed, and a number of approaches to improving the safety of medical expert systems is identified. The possibility of introducing an appropriately extended life-cycle, and the potential benefits of a formal theory of safety are discussed.