Literaturliste

Anzahl der Treffer: 160
Erstellt: Tue, 30 Apr 2024 23:11:37 +0200 in 0.0930 sec


Knauf, Rainer; Tsuruta, Setsuo;
Models of collective and individual human expertise. - In: Session 4-10, (2004), S. 352-359

Turing Test technologies are promising ways to validate AI systems that may have no alternative way to indicate validity. Unfortunately, human experts are sometimes too expensive to be heavily involved in the Turing Test process. Furthermore, they often have different opinions from each other as well as from themselves over time. One way out of this situation is to employ a Validation Knowledge Base (VKB) that is the collective experience of human expert panels. VKB is constructed and maintained across various validation sessions. Furthermore, Validation Experts Software Agents (VESA) are introduced as a model of the individual experience of a particular human expert, which can serve as his/her substitute in case of the expert's unavailability. A Turing Test experiment with a small prototype system indicates the usefulness of these concepts to model the collective (VKB) and individual (VESA) validation expertise.



Knauf, Rainer; Gonzalez, Avelino J.; Tsuruta, Setsuo
Utilizing validation experience for system validation. - Ilmenau : Univ.-Bibliothek. - 5 S. = 83,6 KB, TextDruckausg.: Proceedings of the sixteenth International Florida Artificial Intelligence Research Society conference : [St. Augustine] / ed. by Ingrid Russell ... - Menlo Park, Calif. : AAAI Press, 2003. - ISBN 1-57735-177-0. - S. 223-228

This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the human involvement needed to apply this technology. It introduces the reuse of test cases with the "best solution", discovered in previous validation sessions. This reduces the number of test cases to be solved and rated by the experts within the validation process. By reducing the workload of the involved experts, the costs of validation can be reduced. Moreover, this approach may compensate for possible shortages of expertise available for the validation process.



http://www.db-thueringen.de/servlets/DocumentServlet?id=4531
Kelbassa, Hans-Werner; Knauf, Rainer;
The rule retranslation problem and the validation interface. - 5 S. = 104,4 KB, TextDruckausg.: Proceedings of the sixteenth International Florida Artificial Intelligence Research Society conference : [St. Augustine] / ed. by Ingrid Russell ... - Menlo Park, Calif. : AAAI Press, 2003. - ISBN 1-57735-177-0. - S. 213-217

Current rule base maintenance is wasting refinement and inference performance. There are only few maintenance concepts, which enjoy both (1) formal rule refinement and (2) utilizing topical knowledge provided by experts within the refinement process. The current state of the art in rule base validation and refinement reveals that there is no generic validation interface and no optimal rule trace refinement. This paper characterizes two different retranslation approaches for reduced rule bases and proposes a two-step validation process, which combines a case-based approach with a rule trace validation approach.



http://www.db-thueringen.de/servlets/DocumentServlet?id=4530
Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J.; Jantke, Klaus P.; Salecker, Dirk
System refinement in practice - using a formal method to modify real-life knowledge. - Ilmenau : Univ.-Bibliothek. - 5 S. = 127 KB, TextDruckausg.: Proceedings of the fifteenth International Florida Artificial Intelligence Research Society conference : [Beachside Resort & Conference Center, Pensacola Beach, Florida, 14 - 16 May 2002] / ed. by Susan Haller ... - Menlo Park, Calif. : AAAI Press, 2002. - ISBN 1-57735-141-X. - S. 216-220

http://www.db-thueringen.de/servlets/DocumentServlet?id=4529
Knauf, Rainer; Gonzalez, Avelino J.; Abel, Thomas
A framework for validation of rule-based systems. - In: IEEE transactions on systems, man, and cybernetics, ISSN 1941-0492, Bd. 32 (2002), 3, S. 281-295
Parallel als Druckausg. erschienen

http://dx.doi.org/10.1109/TSMCB.2002.999805
Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J.; Jantke, Klaus P.
The character of human behavior representation and its impact on the validation issue. - Ilmenau : Univ.-Bibliothek. - 5 S. = 458,2 KB, TextDruckausg.: Proceedings of the fourteenth International Florida Artificial Intelligence Research Society conference : [Wyndham Casa Marina Resort, Key West, Florida, 21 - 23 May 2001] / ed. by Ingrid Russell ... - Menlo Park, Calif. : AAAI Press, 2001, S. 635-639

http://www.db-thueringen.de/servlets/DocumentServlet?id=4340
Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J.; Jantke, Klaus P.
Towards validation of rule-based systems - the loop is closed. - Ilmenau : Univ.-Bibliothek. - 5 S. = 387,5 KB, TextDruckausg.: Proceedings of the thirteenth International Florida Artificial Intelligence Research Society Conference : [Orlando, Florida, 22 - 24 May 2000] (FLAIRS 2000) / ed. by Jim Etheredge and Bill Manaris. - Menlo Park, Calif : AAAI Press, 2000, S. 331-335

http://www.db-thueringen.de/servlets/DocumentServlet?id=4339
Knauf, Rainer; Philippow, Ilka; Philippow, Ilka *1954-*;
Towards validation and refinement of rule-based systems. - In: Journal of experimental & theoretical artificial intelligence, ISSN 0952-813X, Bd. 12 (2000), 4, S. 421-431

Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J.; Jantke, Klaus P.
The control issue of AI systems considering the evolution of rule-based systems from a cybernetics point of view. - In: 45. Internationales Wissenschaftliches Kolloquium, (2000), S. 763-768

Gonzalez, Avelino J.; Knauf, Rainer;
On the complete validation and verification of case-based reasoning systems. - In: 45. Internationales Wissenschaftliches Kolloquium, (2000), S. 757-762