A reglerne motor er software, der vil behandle en anmodning i henhold til en database med regler. I et regler motorsystem , vælger brugeren et sæt regler , og derefter sender en " anmodning ", som er behandlet i henhold til reglerne. Resultaterne af denne procedure er derefter rapporteret af systemet . Denne information forarbejdning model er anvendelig i en række forskellige applikationer. Prolog

Den bedste måde at forstå, hvordan reglerne motorer arbejde er at lære edb-sprog Prolog . Den Prolog sproget består af en reglerne motor og et sæt af konventioner om, hvordan man skriver regler. At lære, hvordan Prolog fungerer lærer dig, hvordan en reglerne motor fungerer - og alle de spørgsmål, der kommer op med regler motorer som tilbageskridt , og hvordan til at repræsentere fakta og regler. Efter reglerne er blevet skrevet, er Prolog givet en erklæring om, at det forsøger at finde i databasen af fakta . Hvis det ikke er et faktum, men er konklusionen af en regel , de fortilfælde af den regel bliver de nye søgning udsagn. Rekursion og regression fortsætte, indtil enten reglerne er tilfredse eller ikke kan opfyldes , og derefter Prolog systemet udtaler det oprindelige udsagn sandt , falske eller uafgørbare .
Program Arkitektur
< p> Hvis projektet udvalget tillader det, bør du skrive dine regler motor i Prolog . Hvis ikke, vil det sandsynligvis se en masse som Prolog - alle regler motorer gør. I den første del af projektet , skriver de faktiske forhold. Denne del er som en database. Næste skriver reglerne - de regler bør samles ved konklusion. Hvis " A og B indebærer X " og " C og D indebærer X " så godt, så disse to regler er om X og skal samles . X er defineret eller beskrevet af A -og B samt ved C og D. regler motor vil først se i databasen for at se, hvis anmodningen matcher en post i databasen. Hvis ja, reagerer systemet " Ja". Ellers regler motoren ser på de konklusioner, til alle de regler - hvis der ikke er nogen match , reagerer systemet "Nej " Hvis erklæringen matcher X , to veje vil blive betragtet : A og B og C og D. Hvis der forfølge A og B fører ingen steder , at systemet " Backtracks " og mener C og D. Brug Prolog gør det let , fordi reglerne motor er bygget ind i sproget .
System Test

Når funktionen regel motoren ser på en erklæring , den forsøger at " jordforbindelse" af erklæringen. I logik, betyder det at finde et link ( gennem regler) fra erklæring til de faktiske omstændigheder. Hvis erklæringen (eller dets negation ) findes i de faktiske forhold , er du færdig . Hvis ikke, så tjek for at se, om erklæringen er konklusionen på en regel. Hvis ikke, så opgørelsen kan ikke afgøres . Hvis erklæringen svarer til indgåelse af en regel erstatte målet erklæring med fortilfælde af reglen. Dette gør et link ved at gå baglæns gennem en regel. Hvis denne søgning mislykkes, kan det være nødvendigt at gå tilbage og overveje en anden regel , hvis konklusion matchede erklæringen. Du bør teste systemet ved at give det gradvist mere komplekse udsagn. Prøv først en erklæring , der matcher en kendsgerning i databasen. Så brug en erklæring , der kun kræver én regel . Så brug en erklæring, der kræver backtracking osv.