Expertensystem Vereinsanmeldung
Werbung
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 WS 2003/04 1. Prüfer: Dipl.-Math. Peter Mertens 2. Prüfer: Prof. Dr. phil. habil. Brigitte Endres-Niggemeyer Hausarbeit KI Programmierung 1 Verbale Beschreibung des Anwendungssystems Unser Beispiel-Expertensystem „Anmeldung eines gemeinnützigen Vereins“ soll prüfen, ob 1. 2. WS 2003/04 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 2 Verbalisierung von Aussagen und Folgerungen Vereinsanmeldung (VA) UND UND UND UND UND UND WS 2003/04 Mindestens sieben Personen (SP) Personen 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) Abhalten einer Gründungsversammlung (GV) schriftliche Satzung (SA) Organe des Vereins müssen laut Satzung gewählt werden (WA) 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) 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) UND Nachweise 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 3 Verbalisierung von Aussagen und Folgerungen Steuerbegünstigung wegen Gemeinnützigkeit und Mildtätigkeit (SB) UND Abschrift der Satzung (AS) 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 UND ODER UND ODER UND ODER UND ODER UND ODER UND 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) Förderung der Jugendhilfe, der Altenhilfe, des öffentlichen Gesundheitswesens, des Wohlfahrtswesens und des Sports (FJ) folgt (GZ1) 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) allgemeine Förderung des demokratischen Staatswesens im Geltungsbereich des Grundgesetzes (FD) folgt (GZ2) 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) Förderung der Tierzucht, der Pflanzenzucht, der Kleingärtnerei, des traditionellen Brauchtums (FT) folgt (GZ3) aus Förderung der Jugendhilfe, der Altenhilfe, des öffentlichen Gesundheitswesens, des Wohlfahrtswesens und des Sports (FJ) allgemeine Förderung des demokratischen Staatswesens im Geltungsbereich des Grundgesetzes folgt (FD) folgt (GZ4) aus Förderung der Jugendhilfe, der Altenhilfe, des öffentlichen Gesundheitswesens, des Wohlfahrtswesens und des Sports (FJ) Förderung der Tierzucht, der Pflanzenzucht, der Kleingärtnerei, des traditionellen Brauchtums (FT) folgt (GZ5) aus allgemeine Förderung des demokratischen Staatswesens im Geltungsbereich des Grundgesetzes (FD) Förderung der Tierzucht, der Pflanzenzucht, der Kleingärtnerei, des traditionellen Brauchtums (FT) folgt (GZ6) … WS 2003/04 Hausarbeit KI Programmierung 4 Verbalisierung von Aussagen und Folgerungen … UND UND UND UND UND UND UND § 53 Mildtätige Zwecke (MZ) § 55 Selbstlosigkeit (SL) § 56 Ausschließlichkeit (AU) § 57 Unmittelbarkeit (UN) Beantragung der steuerlichen Anerkennung der begünstigten Zwecke sowie der Berechtigung zur Ausstellung von Spendenbescheinigungen (ST) Unterschrift durch mindestens so viele Vorstandsmitglieder, wie gemäß Satzung zur Vertretung nach außen erforderlich sind (UV) 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 WS 2003/04 steuerpflichtige wirtschaftliche Geschäftsbetriebe (WB) Hausarbeit KI Programmierung 5 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 WS 2003/04 Hausarbeit KI Programmierung 6 Baumstruktur Vereinsanmeldung (VA) < VR1B1 VR1B2 GO … GM GB GT VR1A VR1B < < < GP1 GP2 … GP5 VJ VR1 GV VR2 VR3 VR4 < SP GP6 < VJ2 < VJ1 SA WA GP […] VR < VA SB < GEV WS 2003/04 Hausarbeit KI Programmierung 7 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 WS 2003/04 Hausarbeit KI Programmierung … 8 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 WS 2003/04 Hausarbeit KI Programmierung … 9 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 WS 2003/04 Hausarbeit KI Programmierung 10 Baumstruktur Steuerbegünstigung wegen Gemeinnützigkeit und Mildtätigkeit (SB) FW FJ FD … FT < < … GZ6 ZB1 < GZ MZ SL AU ZB6 ZB UN AS AO -WB < < […] … < GZ1 ST UV GB < VA SB < GEV WS 2003/04 Hausarbeit KI Programmierung 11 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 … WS 2003/04 Hausarbeit KI Programmierung 12 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 … WS 2003/04 Hausarbeit KI Programmierung 13 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 WS 2003/04 Hausarbeit KI Programmierung 14 Wertetabelle (Ausschnitt) ZB -WB AS AO ST UV VA SB ZB1 ZB2 ZB3 ZB4 ZB5 ZB6 Folgerungen Fakten Ergebnis ZB1 ZB2 ZB3 ZB4 ZB5 ZB6 WB AS AO ST UV VA ZB GB SB GEV 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 … … … 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 … … … 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 WS 2003/04 Hausarbeit KI Programmierung 15 le fin
