I detta dokument beskrivs en ny metod, HeKatE-metoden, för utformning och utveckling av komplexa regelbaserade system för kontroll och beslutsstöd. Det viktigaste paradigmet för regelrepresentation, nämligen eXtended Tabular Trees (XTT), garanterar hög densitet och insyn i visuell kunskapsrepresentation. I motsats till traditionella, fasta regelbaserade system är XTT-metoden inriktad på grupper av liknande regler snarare än på enskilda regler. Sådana grupper bildar beslutstabeller som är anslutna till ett nätverk för slutsatser. En effektiv slutledning garanteras eftersom endast de regler som krävs för att uppnå målet, som identifieras i samband med slutledning och partiell ordning bland tabeller, avfyras. I tidningen presenteras en ny version av språket-XTT 2 -. Det är baserat på ALSV (FD) logik, som också beskrivs i dokumentet. Ett annat utmärkande drag för det framlagda tillvägagångssättet är en uppifrån-och-ned-designmetod som bygger på successiv förfining av projektet. Det börjar med Attribut relationsdiagram (ARD) utveckling. Ett sådant diagram representerar samband mellan systemvariabler. Baserat på ARD-systemet skapas XTT-tabeller och kopplingar mellan dem. Tabellerna är fyllda med experttillhandahållna begränsningar av attributens värden. Koden för regel representation genereras i en humanläsbar representation som kallas HMR och tolkas med en given inference motor som kallas HeaRT. En uppsättning programvaruverktyg som stöder de visuella design- och utvecklingsfaserna beskrivs i korthet.
En annan relaterad metod, HeKatE-metoden REF, beskriver ett tillvägagångssätt som liknar MDD för utformning och utveckling av komplexa regelbaserade system.
The HeKatE methodology. Hybrid engineering of intelligent systems
{'venue': 'Int. J. Appl. Math. Comput. Sci.', 'journal': 'Int. J. Appl. Math. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}