Introducing
Prezi AI.
Your new presentation assistant.
Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.
Trending searches
Loading…
Copy of Vorlage EinfachSchule
Transcript
Logische Programmierung
Programmierparadigma
Was ist das?
Logische Programmierung
- ein auf Logik basierende Programmierungsform, die eine gestellte Frage über bekannte Axiome berechnen kann
Merkmale:
- Ansammlung von Fakten bzw. Axiomen
- Syntax als Vorgabe zur Erstellung von Regeln (Wenn-Dann)
- Regeln zur Beantwortung von Fragen
Axiom: Grundsatz einer Theorie,gültige Wahrheit, die keines Beweises bedarf
Beispiel
Syntax gibt an, wie Regeln geschrieben werden müssen, damit der Computer sie verwenden kann.
Axiome: Frau Webs ist Herrn Tramm unterstellt.
Robin ist Frau Webs unterstellt.
Syntax: Wenn/Dann-Formulierung
Regel: Wenn X Y unterstellt ist und Z X unterstellt ist, dann ist Z Y unterstellt
Frage: Wem ist Robin noch unterstellt?
Antwort: Herrn Tramm
Anwendung
- künstliche Intelligenz
- Datenbanken
außerhalb der Informatik:
- Diagnose Medizin
- Philosophie
- Logik Rätsel
Choose a template
Presentations from around the world
Learn more about creating dynamic, engaging presentations with Prezi