|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3210084 |
003 |
MWH |
005 |
20191022032215.0 |
007 |
cr nn 008mamaa |
008 |
130321s1999 xxu| s |||| 0|eng d |
020 |
|
|
|a 9781475769166
|
024 |
7 |
|
|a 10.1007/978-1-4757-6916-6
|2 doi
|
035 |
|
|
|a (DE-He213)978-1-4757-6916-6
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a UMB
|2 bicssc
|
072 |
|
7 |
|a COM031000
|2 bisacsh
|
072 |
|
7 |
|a UMB
|2 thema
|
072 |
|
7 |
|a GPF
|2 thema
|
245 |
1 |
0 |
|a Validation and Verification of Knowledge Based Systems
|h [electronic resource] :
|b Theory, Tools and Practice /
|c edited by Anca Vermesan, Frans Coenen.
|
250 |
|
|
|a 1st ed. 1999.
|
264 |
|
1 |
|a New York, NY :
|b Springer US :
|b Imprint: Springer,
|c 1999.
|
300 |
|
|
|a XIV, 366 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements -- On Principles of Knowledge Validation -- Progressive Instantiation for the Logical Validation of Nonmonotonic KBs -- Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria -- A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base -- Constraints for Validation of Conceptual Graphs -- PRONTO - Ontology-based Evaluation of Knowledge Based Systems -- Formal Methods for the engineering and certification of safetycritical Knowledge Based Systems -- Design pattern for safety-critical knowledge-based systems -- Organising Knowledge Refinement Operators -- Validation and refinement versus revision -- Illustrating Knowledge Base Restructuring and Verification in a Real World Application -- Incorporating backtracking search with knowledge refinement -- Verification and validation of a multistrategy knowledge-based system -- Validation and Verification of Knowledge-Based Systems for Power System Control Centres -- A priori Verification of Product Models in Mechanical Design -- Verification of Business Processes for a Correspondence Handling Center Using CCS -- User Participation-based Software Certification -- Verification and Validation in Support for Software Certification Methods -- Validation, Verification and Integrity in Knowledge and Data Base Systems: Future Directions -- Intelligent Data and Knowledge Analysis and Verification; Towards a Taxonomy of Specific Problems -- Ontology-based Verification and Validation of Federated Database Systems -- Applicability of Conventional Software Verification and validation to Knowledge Based Components: A Qualitative Assessment.
|
520 |
|
|
|a 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).
|
590 |
|
|
|a Loaded electronically.
|
590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
650 |
|
0 |
|a Data structures (Computer science).
|
650 |
|
0 |
|a Artificial intelligence.
|
650 |
|
0 |
|a Computer science.
|
690 |
|
|
|a Electronic resources (E-books)
|
700 |
1 |
|
|a Vermesan, Anca.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Coenen, Frans.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
0 |
|a Springer eBook Collection.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-1-4757-6916-6
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b3210084x
|b 04-18-22
|c 02-26-20
|
998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g xxu
|h 0
|i 1
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|
902 |
|
|
|a springer purchased ebooks
|
903 |
|
|
|a SEB-COLL
|
945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21232490
|z 02-26-20
|
999 |
f |
f |
|i 50b4e290-e122-584a-9fe8-4dbebeac75c3
|s 47de62fc-57e0-5c51-b7ba-f866f00e3c56
|t 0
|
952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|