Validating rule-based systems: a complete methodology
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Aachen
Shaker
2000
|
| Series: | Berichte aus der Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Zugl.: Ilmenau, Techn. Univ., Habil.-Schr., 2000 |
| Physical Description: | X, 145 graph. Darst. : 21 cm |
| ISBN: | 3826582934 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013529995 | ||
| 003 | DE-604 | ||
| 005 | 20010427 | ||
| 007 | t | ||
| 008 | 010109s2000 gw d||| m||| 00||| eng d | ||
| 016 | 7 | |a 960439064 |2 DE-101 | |
| 020 | |a 3826582934 |9 3-8265-8293-4 | ||
| 035 | |a (OCoLC)48518625 | ||
| 035 | |a (DE-599)BVBBV013529995 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-473 |a DE-20 | ||
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 100 | 1 | |a Knauf, Rainer |d 1963- |e Verfasser |0 (DE-588)130244686 |4 aut | |
| 245 | 1 | 0 | |a Validating rule-based systems |b a complete methodology |c Rainer Knauf |
| 246 | 1 | 3 | |a Validating rule based systems |
| 264 | 1 | |a Aachen |b Shaker |c 2000 | |
| 300 | |a X, 145 |b graph. Darst. : 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Berichte aus der Informatik | |
| 500 | |a Zugl.: Ilmenau, Techn. Univ., Habil.-Schr., 2000 | ||
| 650 | 0 | 7 | |a Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Validierung |0 (DE-588)4187357-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Produktionsregelsystem |0 (DE-588)4258171-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Produktionsregelsystem |0 (DE-588)4258171-0 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 2 | |a Validierung |0 (DE-588)4187357-9 |D s |
| 689 | 0 | 3 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009236373&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009236373 | |
Record in the Search Index
| _version_ | 1807229305163350016 |
|---|---|
| adam_text |
CONTENTS
1
INTRODUCTION
11
2
A
RELATIONAL
APPROACH
25
2.1
THE
TURING
TEST
AS
A
VALIDATION
METHODOLOGY
.
25
2.2
BASIC
FORMALIZATIONS
.
29
2.3
SYSTEMATIC
SYSTEM
VALIDATION
.
32
2.4
PROBLEMS
BEYOND
THE
METHODOLOGY
.
34
2.4.1
CONTEXT
CONDITIONS
.
34
2.4.2
VALIDATION
IN
OPEN
LOOPS
.
36
2.4.3
INTEGRATED
MAN-MACHINE
SYSTEMS
.
37
2.4.4
VAGUENESS
AND
UNCERTAINTY
.
38
2.4.5
IMPROVEMENTS
BY
LEARNING
.
39
3
GENERATION
OF
TEST
CASES
41
3.1
GENERATION
OF
POTENTIAL
TEST
CASES
.
43
3.1.1
DATA
DESCRIPTION
.
45
3.1.2
THE
APPROACH
.
47
3.1.3
INHERITANCE
OF
THE
PROPERTY
"
VALIDITY
"
.
57
3.2
A
STRATEGY
TO
REDUCE
A
SET
OF
TEST
CASES
.
57
3.2.1
CRITERIA
IDENTIFICATION
.
58
3.2.2
RANKING
&
RATING
.
59
VIII
CONTENTS
3.2.3
INTENSITY
LEVEL
GENERATION
.
60
3.2.4
TEST
CASE
SELECTION
.
60
3.2.5
A
FORMAL
DESCRIPTION
OF
THE
STEPS
ABOVE
.
61
4
THE
TURING
TEST
69
4.1
THE
PROPOSED
TECHNIQUE
-
AN
OVERVIEW
.
71
4.2
SOLVING
TEST
CASES
.
71
4.3
MAKING
THE
SOLUTIONS
ANONYMOUS
.
73
4.4
RATING
THE
SOLUTIONS
.
74
4.5
EVALUATING
THE
RATINGS
.
75
4.5.1
ESTIMATING
AN
EXPERT
'
S
COMPETENCE
.
75
4.5.2
ESTIMATING
THE
LOCAL
VALIDITY
OF
THE
SYSTEM
FOR
A
GIVEN
TEST
DATA
79
4.5.3
ESTIMATING
THE
GLOBAL
VALIDITY
OF
THE
ENTIRE
SYSTEM
.
79
5
EXPRESSING
VALIDITY
81
5.1
EXPRESSING
VALIDITY
FOR
SYSTEM
USERS
.
83
5.2
EXPRESSING
VALIDITY
FOR
KNOWLEDGE
ENGINEERS
.
85
5.3
EXPRESSING
VALIDITY
FOR
FORMAL
SYSTEM
REFINEMENT
.
87
6
SYSTEM
REFINEMENT
89
6.1
FINDING
"
GUILTY
RULES
"
.
94
6.2
REDUCTION
OF
THE
SET
OF
"
GUILTY
RULES
"
.
96
6.3
REPLACING
THE
IF-PART
OF
A
"
GUILTY
RULE
"
.
97
6.4
SOME
RULEBASE
"
MAKE-UP
"
.
102
6.4.1
RECOMPILING
THE
NEW
RULES
.
103
6.4.2
REMOVING
THE
UNUSED
RULES
.
104
6.5
FURTHER
REFINEMENT
OF
THE
SYSTEM
REFINEMENT
STRATEGY
.
104
CONTENTS
IX
7
EVALUATING
PARTS
OF
THE
METHODOLOGY
107
7.1
THE
TEST
BED
EXPERT
SYSTEM
.
108
7.1.1
THE
KNOWLEDGE
BASE
.
108
7.1.2
PROBLEMS
WITH
THE
ORNITHOLOGIST
.
109
7.2
THE
EMPIRICAL
EVALUATION
PROCEDURE
.
ILL
7.3
THE
TEST
CASE
SET
.
112
7.3.1
THE
EXHAUSTIVE
SET
OF
TEST
CASES
.
112
7.3.2
THE
QUASI-EXHAUSTIVE
SET
OF TEST
CASES
.
114
7.4
THE
EXPERIMENTS
WITH
INVALIDITIES
.
115
7.4.1
SEEDED
ERRORS
.
115
7.4.2
DETECTED
ERRORS
.
116
7.4.3
UNDETECTED
ERRORS
.
116
7.5
SUMMARY
OF
RESULTS
.
117
8
SUMMARY
AND
CONCLUSION
121
BIBLIOGRAPHY
125 |
| any_adam_object | 1 |
| author | Knauf, Rainer 1963- |
| author_GND | (DE-588)130244686 |
| author_facet | Knauf, Rainer 1963- |
| author_role | aut |
| author_sort | Knauf, Rainer 1963- |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV013529995 |
| classification_rvk | QH 500 |
| ctrlnum | (OCoLC)48518625 (DE-599)BVBBV013529995 |
| discipline | Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV013529995</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010427</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010109s2000 gw d||| m||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">960439064</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3826582934</subfield><subfield code="9">3-8265-8293-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48518625</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013529995</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Knauf, Rainer</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130244686</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Validating rule-based systems</subfield><subfield code="b">a complete methodology</subfield><subfield code="c">Rainer Knauf</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Validating rule based systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 145</subfield><subfield code="b">graph. Darst. : 21 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Berichte aus der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Ilmenau, Techn. Univ., Habil.-Schr., 2000</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Validierung</subfield><subfield code="0">(DE-588)4187357-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktionsregelsystem</subfield><subfield code="0">(DE-588)4258171-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Produktionsregelsystem</subfield><subfield code="0">(DE-588)4258171-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Validierung</subfield><subfield code="0">(DE-588)4187357-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009236373&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009236373</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV013529995 |
| illustrated | Illustrated |
| indexdate | 2024-08-13T00:16:09Z |
| institution | BVB |
| isbn | 3826582934 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009236373 |
| oclc_num | 48518625 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 |
| owner_facet | DE-473 DE-BY-UBG DE-20 |
| physical | X, 145 graph. Darst. : 21 cm |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Shaker |
| record_format | marc |
| series2 | Berichte aus der Informatik |
| spelling | Knauf, Rainer 1963- Verfasser (DE-588)130244686 aut Validating rule-based systems a complete methodology Rainer Knauf Validating rule based systems Aachen Shaker 2000 X, 145 graph. Darst. : 21 cm txt rdacontent n rdamedia nc rdacarrier Berichte aus der Informatik Zugl.: Ilmenau, Techn. Univ., Habil.-Schr., 2000 Verfeinerung (DE-588)4267759-2 gnd rswk-swf Validierung (DE-588)4187357-9 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Produktionsregelsystem (DE-588)4258171-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Produktionsregelsystem (DE-588)4258171-0 s Verifikation (DE-588)4135577-5 s Validierung (DE-588)4187357-9 s Verfeinerung (DE-588)4267759-2 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009236373&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Knauf, Rainer 1963- Validating rule-based systems a complete methodology Verfeinerung (DE-588)4267759-2 gnd Validierung (DE-588)4187357-9 gnd Verifikation (DE-588)4135577-5 gnd Produktionsregelsystem (DE-588)4258171-0 gnd |
| subject_GND | (DE-588)4267759-2 (DE-588)4187357-9 (DE-588)4135577-5 (DE-588)4258171-0 (DE-588)4113937-9 |
| title | Validating rule-based systems a complete methodology |
| title_alt | Validating rule based systems |
| title_auth | Validating rule-based systems a complete methodology |
| title_exact_search | Validating rule-based systems a complete methodology |
| title_full | Validating rule-based systems a complete methodology Rainer Knauf |
| title_fullStr | Validating rule-based systems a complete methodology Rainer Knauf |
| title_full_unstemmed | Validating rule-based systems a complete methodology Rainer Knauf |
| title_short | Validating rule-based systems |
| title_sort | validating rule based systems a complete methodology |
| title_sub | a complete methodology |
| topic | Verfeinerung (DE-588)4267759-2 gnd Validierung (DE-588)4187357-9 gnd Verifikation (DE-588)4135577-5 gnd Produktionsregelsystem (DE-588)4258171-0 gnd |
| topic_facet | Verfeinerung Validierung Verifikation Produktionsregelsystem Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009236373&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT knaufrainer validatingrulebasedsystemsacompletemethodology AT knaufrainer validatingrulebasedsystems |