|
Showing 1 - 2 of
2 matches in All Departments
Knowledge-based (KB) technology is being applied to complex
problem-solving and critical tasks in many application domains.
Concerns have naturally arisen as to the dependability of
knowledge-based systems (KBS). As with any software, attention to
quality and safety must be paid throughout development of a KBS and
rigorous verification and validation (V&V) techniques must be
employed. Research in V&V of KBS has emerged as a distinct
field only in the last decade and is intended to address issues
associated with quality and safety aspects of KBS and to credit
such applications with the same degree of dependability as
conventional applications. In recent years, V&V of KBS has been
the topic of annual workshops associated with the main AI
conferences, such as AAAI, IJACI and ECAI.
Validation and Verification of Knowledge Based Systems contains a
collection of papers, dealing with all aspects of KBS V&V,
presented at the Fifth European Symposium on Verification and
Validation of Knowledge Based Systems and Components (EUROVAV'99 -
which was held in Oslo in the summer of 1999, and was sponsored by
Det Norske Veritas and the British Computer Society's Specialist
Group on Expert Systems (SGES).
Knowledge-based (KB) technology is being applied to complex
problem-solving and critical tasks in many application domains.
Concerns have naturally arisen as to the dependability of
knowledge-based systems (KBS). As with any software, attention to
quality and safety must be paid throughout development of a KBS and
rigorous verification and validation (V&V) techniques must be
employed. Research in V&V of KBS has emerged as a distinct
field only in the last decade and is intended to address issues
associated with quality and safety aspects of KBS and to credit
such applications with the same degree of dependability as
conventional applications. In recent years, V&V of KBS has been
the topic of annual workshops associated with the main AI
conferences, such as AAAI, IJACI and ECAI. Validation and
Verification of Knowledge Based Systems contains a collection of
papers, dealing with all aspects of KBS V&V, presented at the
Fifth European Symposium on Verification and Validation of
Knowledge Based Systems and Components (EUROVAV'99 - http:
//www.dnv.no/research/safekbs/eurovav99/) which was held in Oslo in
the summer of 1999, and was sponsored by Det Norske Veritas and the
British Computer Society's Specialist Group on Expert Systems
(SGES).
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.