Edycja i kontrola jakości wiedzy w systemach regułowych

• Autorzy: Szymon Bobek , Krzysztof Kaczor , Krzysztof Kluza , Weronika Adrian
• Języki publikacji: PL

Abstrakty

Na przestrzeni ostatnich kilku lat nastąpił znaczny rozwój powłok (shells) do tworzenia systemów regułowych. Istniejące już od ponad dwudziestu lat powłoki takie jak Clips czy Jess nie potrafiły sprostać wymogom współczesnego projektanta systemów ekspertowych. Spore ograniczenia i przestarzałość wspomnianych narzędzi spowodowały rozwój bardziej zaawansowanych pakietów oprogramowania do tworzenia i uruchamiania systemów regułowych, takich jak Drools czy narzędzia HeKatE. Głównym kierunkiem rozwoju narzędzi wspomagających tworzenie systemów regułowych było udostępnienie mechanizmów modularyzacji bazy wiedzy i umożliwienie wizualnego projektowania bazy wiedzy, a także wprowadzenie zaawansowanych strategii wnioskowania. Pierwsze dwie kwestie związane są z problemem konstruowania "dużych" baz wiedzy, gdzie tradycyjne metody zawodzą na poziomie czytelności i wygody projektowania. (fragment tekstu)

Słowa kluczowe

PL

Kontrola jakości; Wiedza; Systemy ekspertowe; Weryfikacja wiedzy; Projektowanie systemów ekspertowych

EN

Quality inspection; Knowledge; Expert systems; Verification of knowledge; Design of expert systems

• Czasopismo: Prace Naukowe / Uniwersytet Ekonomiczny w Katowicach
• Rocznik: 2011
• Tom: Wiedza i komunikacja w innowacyjnych organizacjach
• Strony: 11--29

Twórcy

autor

Szymon Bobek

• AGH Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

autor

Krzysztof Kaczor

• AGH Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

autor

Krzysztof Kluza

• AGH Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

autor

Weronika Adrian

• AGH Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

Bibliografia

• Andert C., Frasher E.P.: A Verifiable, Autonomous Satellite Control System. Aerospace Applications Conference, 1989
• Andert E.P.: Integrated Knowledge-Based System Design and Validation for Solving Problems in Uncertain Environments. "International Journal of Man-Machine Studies" 1992, No. 36(2)
• Browne P.: JBoss Drools Business Rules. Packt Publishing, 2009. Harmelen F., Lifschitz V., Porter B.: Handbook of Knowledge Representation. Elsevier Science, 2007
• Ligęza A.: Logical Foundations for Rule-Based Systems. AGH, Kraków 2005
• Ligęza A.: Metody analizy wiedzy regułowej XTT2 w języku Prolog. AGH, Kraków 2009
• Ligęza A.: Logical Support for Design of Rule-Based Systems. Reliability and Quality Issues. ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 1996
• Nalepa G.J., Bobek S., Gawędzki M., Ligęza A.: HeaRT Hybrid XTT2 Rule Engine Design and Implementation. AGH, Kraków 2009
• Nalepa G.J., Ligęza A.: HeKatE Methodology, Hybrid Engineering Of Intelligent Systems. "International Journal of Applied Mathematics and Computer Science" 2009, nr 3
• Nazareth D.L.: Issues in the Verification of Knowledge in Rule-Based System. "International Journal of Man-Machine Studies" 1989, nr 3
• Nguyen T.A., Perkins, Laffey T.J., Pecora D.: Checking an Expert Systems Knowledge Base for Consistency and Completeness. In 1JCAI, 1985
• Suwa M., Scott C.A., Shortliffe E.H.: Rule-Based Expert Systems, Chapter Completeness and Consistency in Rule-based Expert System. Addison-Wesley Publishing Company, 1985
• Tepandi J.: Verification,.Testing, and Validation of Rule-based Expert Systems. Proceedings of the 11-th IF AC World Congress, 1990
• geist.agh.edu.pl
• hekate.ia.agh.edu.pl
• clipsrules.sourceforge.net
• www.jessrules.com
• www.rebit.zarz.agh.edu.pl
• www.w3c.org
• ai. i a.agh. edu.pl/w iki/hekate:hmr