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 1. Prüfer: Dipl.-Math. Peter Mertens 2. Prüfer: Prof. Dr. phil. habil. Brigitte Endres-Niggemeyer WS 2003/04 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. WS 2003/04 Hausarbeit KI Programmierung

Verbalisierung von Aussagen und Folgerungen Vereinsanmeldung (VA) Mindestens sieben Personen (SP) UND 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) 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) 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) 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) 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) WS 2003/04 Hausarbeit KI Programmierung

Verbalisierung von Aussagen und Folgerungen Steuerbegünstigung wegen Gemeinnützigkeit und Mildtätigkeit (SB) 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) 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) 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)  … WS 2003/04 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) WS 2003/04 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 WS 2003/04 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 WS 2003/04 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  … WS 2003/04 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  … WS 2003/04 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 WS 2003/04 Hausarbeit KI Programmierung

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 WS 2003/04 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  … WS 2003/04 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  … WS 2003/04 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 WS 2003/04 Hausarbeit KI Programmierung

Wertetabelle (Ausschnitt) ZB  -WB AS  AO  ST  UV VA  SB ZB1  ZB2  ZB3  ZB4  ZB5  ZB6 Fakten Ergebnis ZB1 ZB2 ZB3 ZB4 ZB5 ZB6 WB AS AO ST UV VA ZB GB SB GEV 1 … Folgerungen WS 2003/04 Hausarbeit KI Programmierung

le fin