1 / 16

Expertensystem Vereinsanmeldung

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.

haroun
Télécharger la présentation

Expertensystem Vereinsanmeldung

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. Wertetabelle (Ausschnitt) ZB  -WB AS  AO  ST  UV VA  SB ZB1  ZB2  ZB3  ZB4  ZB5  ZB6 Folgerungen Hausarbeit KI Programmierung

  16. le fin

More Related