160 likes | 265 Views
Expertensystem Vereinsanmeldung. Prüfungsleistung im Rahmen des Wahlpflichtfachs Logik und Wissensrepräsentation, Lehrveranstaltung KI-Programmierung Lars Kemnah Iris Killisch-Zülsdorff Andreas Klingenberg . Studiengang: Informationsmanagement Wintersemester 2003/04.
E N D
Expertensystem Vereinsanmeldung Prüfungsleistung im Rahmendes Wahlpflichtfachs Logik und Wissensrepräsentation, Lehrveranstaltung KI-Programmierung Lars Kemnah Iris Killisch-Zülsdorff Andreas Klingenberg Studiengang: Informationsmanagement Wintersemester 2003/04 1. Prüfer: Dipl.-Math. Peter Mertens 2. Prüfer: Prof. Dr. phil. habil. Brigitte Endres-Niggemeyer Hausarbeit KI Programmierung
Verbale Beschreibung des Anwendungssystems Unser Beispiel-Expertensystem „Anmeldung eines gemeinnützigen Vereins“ soll prüfen, ob • alle notwendigen Voraussetzungen für eine Vereinsanmeldung gemäß BGB gegeben sind und ob • einer Steuerbegünstigung wegen Gemeinnützigkeit und Mildtätigkeit nach Abgabenordnung 1977 stattgegeben werden kann. Hausarbeit KI Programmierung
Verbalisierung von Aussagen und Folgerungen Vereinsanmeldung (VA) Mindestens sieben Personen (SP) UNDPersonen müssen Anforderungen an die Volljährigkeit erfüllen (VJ) Personen müssen volljährig sein (VJ1) ODER schriftliche Zustimmung des gesetzlichen Vertreters haben (VJ2) UND Abhalten einer Gründungsversammlung (GV) UND schriftliche Satzung (SA) UND Organe des Vereins müssen laut Satzung gewählt werden (WA) UND zwei der im Gründungsprotokoll (GP) genannten Anforderungen müssen erfüllt sein: aus Ort und Zeit der Versammlung (GO) UND Zahl der Anwesenden Mitglieder (GM) folgt (GP1) ODER aus Ort und Zeit der Versammlung (GO) UND Feststellung der Beschlussfähigkeit der Mitglieder, d.h. es müssen mindestens sieben Mitglieder anwesen sein (GB) folgt (GP2) ODER aus Ort und Zeit der Versammlung (GO) UND Beschlüsse zu Tagesordnungspunkten inkl. Abstimmungsergebnissen (GT) folgt (GP3) ODER aus Zahl der Anwesenden Mitglieder (GM) UND Feststellung der Beschlussfähigkeit der Mitglieder, d.h. es müssen mindestens sieben Mitglieder anwesen sein (GB) folgt (GP4) ODER aus Zahl der Anwesenden Mitglieder (GM) UND Beschlüsse zu Tagesordnungspunkten inkl. Abstimmungsergebnissen (GT) folgt (GP5) ODER aus Feststellung der Beschlussfähigkeit der Mitglieder, d.h. es müssen mindestens sieben Mitglieder anwesen sein (GB) UND Beschlüsse zu Tagesordnungspunkten inkl. Abstimmungsergebnissen (GT) folgt (GP6) UND Anmeldung eines Vereins zur Eintragung in das Vereinsregister beim zuständigen Amtsgericht durch den Vorstand (VR) Öffentlich beglaubigte Unterschriften von allen vertretungsberechtigten Vorstandsmitgliedern (VR1) UND persönliches Erscheinen beim Notar (VR1A) UNDNachweise der Identität (VR1B) Vorlage des Personalausweises (VR1B1) ODER Vorlage des Reisepasses (VR1B2) UND Name, Sitz und Anschrift des Vereins (VR2) UND Tag der Errichtung der Satzung (VR3) UND Name, Beruf und Anschrift der Vorstandsmitglieder (VR4) Hausarbeit KI Programmierung
Verbalisierung von Aussagen und Folgerungen Abschrift der Satzung (AS) UND ausschließliche und unmittelbare Verfolgung gemeinnütziger und mildtätiger Zwecke im Sinne der §§ 51 bis 68 Abgabenordnung (AO) zwei der in § 52 genannten Gemeinnützige Zwecke (GZ) müssen erfüllt sein aus Förderung von Wissenschaft und Forschung, Bildung und Erziehung, Kunst und Kultur, der Religion, der Völkerverständigung, der Entwicklungshilfe, des Umwelt-, Landschafts- und Denkmalschutzes, des Heimatgedankens (FW) UND Förderung der Jugendhilfe, der Altenhilfe, des öffentlichen Gesundheitswesens, des Wohlfahrtswesens und des Sports (FJ) folgt (GZ1) ODER aus Förderung von Wissenschaft und Forschung, Bildung und Erziehung, Kunst und Kultur, der Religion, der Völkerverständigung, der Entwicklungshilfe, des Umwelt-, Landschafts- und Denkmalschutzes, des Heimatgedankens (FW) UND allgemeine Förderung des demokratischen Staatswesens im Geltungsbereich des Grundgesetzes (FD) folgt (GZ2) ODER aus Förderung von Wissenschaft und Forschung, Bildung und Erziehung, Kunst und Kultur, der Religion, der Völkerverständigung, der Entwicklungshilfe, des Umwelt-, Landschafts- und Denkmalschutzes, des Heimatgedankens (FW) UND Förderung der Tierzucht, der Pflanzenzucht, der Kleingärtnerei, des traditionellen Brauchtums (FT) folgt (GZ3) ODER aus Förderung der Jugendhilfe, der Altenhilfe, des öffentlichen Gesundheitswesens, des Wohlfahrtswesens und des Sports (FJ) UND allgemeine Förderung des demokratischen Staatswesens im Geltungsbereich des Grundgesetzes folgt (FD) folgt (GZ4) ODER aus Förderung der Jugendhilfe, der Altenhilfe, des öffentlichen Gesundheitswesens, des Wohlfahrtswesens und des Sports (FJ) UND Förderung der Tierzucht, der Pflanzenzucht, der Kleingärtnerei, des traditionellen Brauchtums (FT) folgt (GZ5) ODER aus allgemeine Förderung des demokratischen Staatswesens im Geltungsbereich des Grundgesetzes (FD) UND Förderung der Tierzucht, der Pflanzenzucht, der Kleingärtnerei, des traditionellen Brauchtums (FT) folgt (GZ6) Steuerbegünstigung wegen Gemeinnützigkeit und Mildtätigkeit (SB) … Hausarbeit KI Programmierung
Verbalisierung von Aussagen und Folgerungen … UND § 53 Mildtätige Zwecke (MZ) UND § 55 Selbstlosigkeit (SL) UND § 56 Ausschließlichkeit (AU) UND § 57 Unmittelbarkeit (UN) UND Beantragung der steuerlichen Anerkennung der begünstigten Zwecke sowie der Berechtigung zur Ausstellung von Spendenbescheinigungen (ST) UND Unterschrift durch mindestens so viele Vorstandsmitglieder, wie gemäß Satzung zur Vertretung nach außen erforderlich sind (UV) UND Anforderungen an den Geschäftsbetrieb (GB) Wirtschaftliche Geschäftsbetriebe müssen Zweckbetriebe sein (ZB) Pflegeheime (ZB1) ODER Jugendeinrichtungen (ZB2) ODER landwirtschaftliche Betriebe (ZB3) ODER Behinderteneinrichtungen (ZB4) ODER kulturelle Einrichtungen (ZB5) ODER Volkshochschulen (ZB6) NOT steuerpflichtige wirtschaftliche Geschäftsbetriebe (WB) Hausarbeit KI Programmierung
Formel für die Anmeldung eines gemeinnützigen Vereins SP (VJ1 VJ2) GV SA WA ((GO GM) (GO GB) (GO GT) (GM GB) (GM GT) (GB GT)) VR1A ((VR1B1 VR1B2) VR2 VR3 VR4) AS (((FW FJ) (FW FD) (FW FT) (FJ FD) (FJ FT) (FD FT)) MZ SL AU UN) ST UV ((ZB1 ZB2 ZB3 ZB4 ZB5 ZB6) -WB) = GEV Hausarbeit KI Programmierung
Baumstruktur Vereinsanmeldung (VA) VR1B1 VR1B2 < GO GM … GB GT VR1A VR1B < < < VJ1 VJ2 GP1 GP2 … GP5 GP6 VR1 VR2 VR3 VR4 < < < […] SP VJ GV SA WA GP VR < VA SB < GEV Hausarbeit KI Programmierung
Aussagenlogische Gleichungen und darauf basierende Regelmenge Anmeldung eines gemeinnützigen Vereins (GEV) VA SB = GEV Regeln: VA & SB > GEV -VA > -GEV -SB > -GEV Vereinsanmeldung (VA) SP VJ GV SA WA GP VR = VA Regeln: SP & VJ & GV & SA & WA & GP & VR > VA -SP > -VA -VJ > -VA -GV > -VA -SA > -VA -WA > -VA -GP > -VA -VR > -VA Anforderungen an die Volljährigkeit (VJ) VJ1 VJ2 = VJ Regeln: VJ1 > VJ VJ2 > VJ -VJ1 & -VJ2 > -VJ Gründungsprotokoll (GP) GP1 GP2 GP3 GP4 GP5 GP6 = GP Regeln: GP1 > GP GP2 > GP GP3 > GP GP4 > GP GP5 > GP GP6 > GP -GP1 & -GP2 & - GP3 & -GP4 & -GP5 & -GP6 > -GP … Hausarbeit KI Programmierung
Aussagenlogische Gleichungen und darauf basierende Regelmenge … Gründungsprotokoll Option 1 (GP1) GO GM = GP1 Regeln: GO & GM > GP1 -GO > -GP1 -GM > -GP1 Gründungsprotokoll Option 2 (GP2) GO GB = GP2 Regeln: GO & GB > GP2 -GO > -GP2 -GB > -GP2 Gründungsprotokoll Option 3 (GP3) GO GT Regeln: GO & GT > GP3 -GO > -GP3 -GT > -GP3 Gründungsprotokoll Option 4 (GP4) GM GB = GP4 Regeln: GM & GB > GP4 -GM > -GP4 -GB > -GP4 Gründungsprotokoll Option 5 (GP5) GM GT = GP5 Regeln: GM & GT > GP5 -GM > -GP5 -GT > -GP5 Gründungsprotokoll Option 6 (GP6) GB GT = GP6 Regeln: GB & GT > GP6 -GB > -GP6 -GT > -GP6 … Hausarbeit KI Programmierung
Aussagenlogische Gleichungen und darauf basierende Regelmenge … Anmeldung des Vereins zur Eintragung in das Vereinsregister (VR) VR1 VR2 VR3 VR4 = VR Regeln: VR1 & VR2 & VR3 & VR4 > VR -VR1 > -VR -VR2 > -VR -VR3 > -VR -VR4 > -VR Öffentlich beglaubigte Unterschriften der Vorstandsmitglieder (VR1) VR1A VR1B = VR1 Regeln: VR1A & VR1B > VR1 -VR1A > -VR1 -VR1B > -VR1 Nachweis der Identität (VR1B) VR1B1 VR1B2 = VR1B Regeln: VR1B1 > VR1B VR1B2 > VR1B -VR1B1 & -VR1B2 > -VR1B Hausarbeit KI Programmierung
Baumstruktur Steuerbegünstigung wegen Gemeinnützigkeit und Mildtätigkeit (SB) FW FJ FD FT … < < GZ1 … GZ6 ZB1 … ZB6 < < ZB -WB GZ MZ SL AU UN < < […] AS AO ST UV GB < VA SB < GEV Hausarbeit KI Programmierung
Aussagenlogische Gleichungen und darauf basierende Regelmenge Anmeldung eines gemeinnützigen Vereins (GEV) VA SB = GEV Regeln: VA & SB > GEV -VA > -GEV -SB > -GEV Steuerbegünstigung wegen Gemeinnützigkeit und Mildtätigkeit (SB) AS AO ST UV ZB = SB Regeln: AS & AO & ST & UV & ZB > SB -AS > -SB -AO > -SB -ST > -SB -UV > -SB -ZB > -SB Zwecke im Sinne der Abgabenordnung (AO) GZ MZ SL AU UN = AO Regeln : GZ & MZ & SL & AU & UN > AO -GZ > -AO -MZ > -AO -SL > -AO -AU > -AO -UN > -AO Gemeinnützige Zwecke (GZ) GZ1 GZ2 GZ3 GZ4 GZ5 GZ6 = GZ Regeln: GZ1 > GZ GZ2 > GZ GZ3 > GZ GZ4 > GZ GZ5 > GZ GZ6 > GZ -GZ1 & -GZ2 & -GZ3 & -GZ4 & -GZ5 & -GZ6 > -GZ … Hausarbeit KI Programmierung
Aussagenlogische Gleichungen und darauf basierende Regelmenge … Gemeinnützige Zwecke Option 1 (GZ1) FW FJ = GZ1 Regeln: FW & FJ > GZ1 -FW > -GZ1 -FJ > -GZ1 Gemeinnützige Zwecke Option 2 (GZ2) FW FD = GZ2 Regeln: FW & FD > GZ2 -FW > -GZ2 -FD > -GZ2 Gemeinnützige Zwecke Option 3 (GZ3) FW FT = GZ3 Regeln: FW & FT > GZ3 -FW > -GZ3 -FT > -GZ3 Gemeinnützige Zwecke Option 4 (GZ4) FJ FD = GZ4 Regeln: FJ & FD > GZ4 -FJ > -GZ4 -FD > -GZ4 Gemeinnützige Zwecke Option 5 (GZ5) FJ FT = GZ5 Regeln: FJ & FT > GZ5 -FJ > -GZ5 -FT > -GZ5 Gemeinnützige Zwecke Option 6 (GZ6) FD FT = GZ6 Regeln: FD & FT > GZ6 -FD > -GZ6 -FT > -GZ6 … Hausarbeit KI Programmierung
Aussagenlogische Gleichungen und darauf basierende Regelmenge … Anforderungen an den Geschäftsbetrieb (GB) ZB -WB = GB Regeln: ZB & -WB > GB -ZB > -GB WB > -GB Wirtschaftliche Geschäftsbetriebe müssen Zweckbetriebe sein (ZB) ZB1 ZB2 ZB3 ZB4 ZB5 ZB6 = ZB Regeln: ZB1 > ZB ZB2 > ZB ZB3 > ZB ZB4 > ZB ZB5 > ZB ZB6 > ZB -ZB1 & -ZB2 & -ZB3 & -ZB4 & -ZB5 & -ZB6 > -ZB Hausarbeit KI Programmierung
Wertetabelle (Ausschnitt) ZB -WB AS AO ST UV VA SB ZB1 ZB2 ZB3 ZB4 ZB5 ZB6 Folgerungen Hausarbeit KI Programmierung