Dependability of Artificial Intelligence Systems (DAISY 91): Proceedings of the IFIP WG 5.4/IFAC Workshop on Dependability of Artificial Intelligence Systems (DAISY 91), Vienna, Austria, 27-29 May, 1991Gerhard Helge Schildt, Johannes Retti |
Contents
J Tepandi USSR | 15 |
A de Figueiredo A Perkusich M E de Morais Brazil | 37 |
H Kaindl H G Ziegler Austria | 53 |
Copyright | |
22 other sections not shown
Other editions - View all
Common terms and phrases
Abstract action algorithm analysis application approach Artificial Intelligence Systems behaviour benchmarks checking components concept conceptual model condition consistency constraints constructs control system data base defined Dependability of Artificial described elements Elsevier Science Publishers evaluation event-oriented interface example execution expert system fault tree Figure frame-based system FRIL function G.H. Schildt goal IEEE IFIP implemented inconsistency inference engine input Intelligence Systems DAISY-91 interval KBSs knowledge acquisition knowledge based system knowledge engineer knowledge representation knowledge sources knowledge-based system layer logic Logic Programming maintenance method module monitoring node operation Petri Petri net possible predicate procedures programming language Prolog prototype Publishers B.V. North-Holland real-time reasoning redundancy relations reliability requirements Retti Editors robot rule base rule-based scenario testing Science Publishers B.V. semantic analog sentence simulation software maintenance solution solve specific strategy structure subsystem task techniques testing transition user interface verification and validation