Original scientific paper

NEKI ASPEKTI MODELIRANJA LJUSKI EKSPERTNIH SISTEMA

Mirko Čubrilo ; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia

Abstract

Temu ovoga rada čini razmatranje nekih aspekata modeliranja ljuski ekspertnih sistema. To se prvenstveno odnosi na formalne metode specifikacije pojedinih modula ljuske. Vezano za pretpostavljene problemske sredine, važna je specifikacija grafičkog editora formula jezika računa predikata prvog reda. U radu je dana BN - specifikacija gramatike jezika računa predikata prvog reda kao osnova za generiranje sintaktičkog analizatora. Generirani sin taktički analizator služi dalje kao predprocesor deduktivnog mehanizma. Nadalje, analiziran je primjer SF- specifikacije fragmenta hipotetičkoq editora i demonstrirana mogućnost implementacije njegovih funkcija u jeziku PDC Prolog.

Keywords

Ekspertni sistem; ljuska ekspertnih sistema; deduktivni mehanizam; formalna specifikacija; BN-specifikacija; SF-specifikacija; prolog

Hrčak ID:

79906

URI

https://hrcak.srce.hr/79906

Publication date:

13.12.1991.

Visits: 1.186 *