A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Verification and validation of knowledge-based systems with formal specifications
1995
Knowledge engineering review (Print)
This paper examines how formal speci cation techniques can support the veri cation and validation (V&V) of knowledge-based systems. ...
Formal speci cation techniques provide levels of description which support both veri cation and validation, and V&V techniques feed back to assist the development of the speci cations. ...
Introduction Unlike most conventional software, knowledge-based systems (KBS) are rarely validated and veri ed against an explicit speci cation of user requirements. ...
doi:10.1017/s0269888900007542
fatcat:sojafaus4vadfon2j62dzzmu6e
Editorial: special issue on verification and validation
1996
International Journal of Human-Computer Studies
The foundations of the research in validation and verification primarily focused on the classification and formalization of testing techniques that could be applied to knowledge-based systems . ...
KBS verification and testing In recent years , the main technological theme in the KBS validation area has been the development of tools for automatic verification of knowledge bases . ...
doi:10.1006/ijhc.1996.0006
fatcat:ikdwndi6xvdklbssplqlwwc6ie
Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events
1998
The AI Magazine
Qualitative reasoning is an exciting research area of artificial intelligence that combines the quest for fundamental understanding of effective reasoning about physical systems and new ways to supplement ...
conventional modeling, analysis, diagnosis, and control techniques to tackle real-world applications. ...
Plant was the chairman of the workshop on Validation and Verification of Knowledge-Based Systems at the Twelfth National Conference on Artificial Intelligence and cochair of the 1997 workshop. ...
doi:10.1609/aimag.v19i3.1400
dblp:journals/aim/AntoniouHPV98
fatcat:mmeptddv2fdonnk5obzyewnhra
Seventh Workshop on the Validation and Verification of Knowledge-Based Systems
1995
The AI Magazine
context of the same Verification of Knowledge-Based Systems
applied to the validation and mistake being made. ...
these con-
T
he Workshop on the Validation cusing on the issues surrounding the
and Verification of Knowledge- use of formal specification tech- ...
doi:10.1609/aimag.v16i3.1151
dblp:journals/aim/Plant95
fatcat:gxggmzzrxrcqblx7fais7guio4
Creation of ESTELLE/Ag Specifications Using Knowledge Bases
2003
Informatica
The paper presents a technique that defines creation of ESTELLE/Ag specifications using knowledge bases (KB). ...
Further, the application KB is combined with the defined KB of validated properties and validation method, and application KB dynamic properties are checked in the expert system in CLIPS. ...
His research interests include creation of formal specifications using knowledge engineering techniques, validation, and verification of knowledge bases. ...
doi:10.15388/informatica.2003.004
fatcat:tlalmxo6xnglnhjsdctsjbhjyi
Assessing the Role of Formal Specifications in Verification and Validation of Knowledge‑Based Systems
[chapter]
1996
Achieving Quality in Software
This paper examines how formal specification techniques can support the verification and validation (V&V) of knowledge-based systems. ...
Formal specification techniques provide levels of description which support both verification and validation, and V&V techniques feed back to assist the development of the specifications. ...
INTRODUCTION Unlike most conventional software, knowledge-based systems (KBS) are rarely validated and verified against an explicit specification of user requirements. ...
doi:10.1007/978-0-387-34869-8_26
fatcat:fjpihax4hbdnfdzmhrrerml3s4
Evaluating Verification and Validation Methods in Knowledge Engineering
[chapter]
2001
Industrial Knowledge Management
Verification and validation (V&V) techniques have always been an essential part of the knowledge engineering process, because they offer the only way to judge the success (or otherwise) of a knowledge ...
This remains true in the context of knowledge management: V&V techniques provide ways to measure the quality of knowledge in a knowledge base, and to indicate where work needs to be done to rectify anomalous ...
The Importance of Validation and Verification Validation and verification (V&V) comprise a set of techniques used in software engineering (and, therefore, in knowledge engineering) to evaluate the quality ...
doi:10.1007/978-1-4471-0351-6_6
fatcat:7jdx4rwi6fdvfmc77x4oen2fym
Validation of knowledge-based systems: Current trends and issues
1995
Knowledge engineering review (Print)
We lack methods by which formal specifications can be utilised fully in performing validation and verification. ...
Formal specification for KBS validation: As yet, there is no satisfactory proposal as to how formal specification techniques can be used effectively with validation techniques, and vice versa. ...
Acknowledgements As chairman of the workshop described in this article, I would like to thank all of the participants for making it a success, the workshop programme committee for their efforts, and the ...
doi:10.1017/s0269888900007281
fatcat:5qidaiaar5fdxojrpjxhayaine
Validation of Knowledge-Based Systems
[chapter]
1989
Machine Intelligence and Autonomy for Aerospace Systems
We lack methods by which formal specifications can be utilised fully in performing validation and verification. ...
Formal specification for KBS validation: As yet, there is no satisfactory proposal as to how formal specification techniques can be used effectively with validation techniques, and vice versa. ...
Acknowledgements As chairman of the workshop described in this article, I would like to thank all of the participants for making it a success, the workshop programme committee for their efforts, and the ...
doi:10.2514/5.9781600865893.0125.0142
fatcat:b4c3h43ma5cujb3k4y6jmdrska
Formal Methods in the Development of Safety-Critical Knowledge-Based Components
1998
Failure and Lessons Learned in Information Technology Management
The specification and V&V features of TRIO will be analysed and judged with respect to the requirements coming from the safety critical KB software. ...
A main objective of the project is the definition of a engineering methodology for certifiable knowledge-based software components to be embedded into safety critical systems. ...
empty system • the V&V of the empty system.V6. verification and validation of the knowledge base: V6 concerns• the traceability of KBC requirements and conceptual design into the knowledge base • the verification ...
doi:10.3727/108812898791918262
fatcat:5iz2pgeu4vb5pmwkqpvlgynlhe
An ontological view in telemedicine
2014
European Research in Telemedicine
The verification and validation of information system models impact on the adequacy and appropriateness of using the value of telemedicine services for continuously optimizing healthcare outcomes. ...
On one hand, this methodology will be based on a formal representation of requirements (systemic, generic domain, etc.) within a knowledge base that will be a requirements repository. ...
Verification and validation The activities of verification and validation aim to give confidence to all parties involved in ensuring that systems and activities comply with requirements and meet the design ...
doi:10.1016/j.eurtel.2014.04.001
fatcat:uuetqvedhfby7ixxspugjla5ju
Knowledge-based software architectures: acquisition, specification, and verification
1999
IEEE Transactions on Knowledge and Data Engineering
Under this new paradigm, software engineers are able to do evolutionary design of complex systems through architecture specification, design rationale capture, architecture validation and verification, ...
Based on our survey results, we give a basis for comparing the various knowledge-based systems and list these comparisons in the form of a table. ...
ACKNOWLEDGMENTS We thank the anonymous reviewer, whose comments have helped us to improve the presentation of the paper. Jeffrey ...
doi:10.1109/69.755628
fatcat:yjbrd5vxmrbrhntjpqkd7yghly
Verification of Knowledge Based-Systems for Power System Control Centres
[chapter]
1999
Lecture Notes in Computer Science
This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V of SPARSE, a KBS used in the Portuguese Transmission Network for operator ...
The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. ...
The systematic use of Verification and Validation methods is very important for the acceptance of Knowledge-Based Systems by their end-users, especially when critical applications are considered. ...
doi:10.1007/978-3-540-48765-4_35
fatcat:jpmiiy32j5hyzhrspldtfskq2m
Methodologies for the development of knowledge-based systems, 1982–2002
2003
Knowledge engineering review (Print)
This paper presents a brief discussion of some of the important research in knowledge-based system life cycles and development methods. ...
Knowledge-based systems have often been criticised for the limited theoretical base upon which they are constructed. ...
for specific system aspects such as the verification of the rule base. ...
doi:10.1017/s026988890300064x
fatcat:bpcexfurzjb2tlrr6yrl2ekouq
Verification, Validation, and Test of Knowledge-Based Systems
1992
The AI Magazine
As such, it is also recommended for all interested parties in both the AI and software engineering communities. Verification, Validation, and Test of Knowledge- Based Systems Alun D. ...
Preece Verification, Validation, and Test of Knowledge-Based Systems, Marc Ayel and Jean-Pierre Laurent, eds., John Wiley and Sons, Chichester, England, 1991, 219 pp., $49.95, ISBN 0-471- 93018-0 (paper ...
doi:10.1609/aimag.v13i4.1024
dblp:journals/aim/Preece92
fatcat:c2flshynkncl3kuc4x6aj6bazy
« Previous
Showing results 1 — 15 out of 141,252 results