Logische Programmierung - Versionsgeschichte

Thomas Dresler: Reference-Tag eingefügt

2022-03-06T08:52:08Z

Reference-Tag eingefügt

← Nächstältere Version		Version vom 6. März 2022, 10:52 Uhr
Zeile 69:		Zeile 69:
	* [http://informatikdidaktik.de/HyFISCH/Spitzenforschung/Schaub.htm] – knapper Überblick von der Entwicklung der klassischen Logik hin zur logischen Programmierung (110 kB)		* [http://informatikdidaktik.de/HyFISCH/Spitzenforschung/Schaub.htm] – knapper Überblick von der Entwicklung der klassischen Logik hin zur logischen Programmierung (110 kB)
	* [http://xsb.sourceforge.net/ XSB] (englisch) Logik-System und Deduktive Datenbank (Open Source)		* [http://xsb.sourceforge.net/ XSB] (englisch) Logik-System und Deduktive Datenbank (Open Source)

			== Einzelnachweise ==
			<references />

	[[Kategorie:Programmierparadigma]]		[[Kategorie:Programmierparadigma]]

188.155.224.177: alternativname Logikprogrammierung - das adjektiv "logisch" ist sowieso nicht sehr aussagekräftig, das Nomen "Logik" ist viel klarer definiert...

2022-03-05T14:28:15Z

alternativname Logikprogrammierung - das adjektiv "logisch" ist sowieso nicht sehr aussagekräftig, das Nomen "Logik" ist viel klarer definiert...

← Nächstältere Version		Version vom 5. März 2022, 16:28 Uhr
Zeile 1:		Zeile 1:
	'''Logische Programmierung''' (''Prädikative Programmierung'') ist ein [[Programmierparadigma]], das auf der [[Mathematische Logik\|mathematischen Logik]] beruht. Anders als bei der [[Imperative Programmierung\|imperativen Programmierung]] besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von [[Axiom]]en, welche hier als eine Ansammlung von Fakten oder Annahmen zu verstehen ist. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der [[Interpreter]], die Lösungsaussage allein aus den Axiomen zu berechnen.		'''Logische Programmierung''' (''Prädikative Programmierung, Logikprogrammierung''<ref>{{Internetquelle \|url=https://www.informatik.uni-kiel.de/~mh/lehre/lp03.html \|titel=Logikprogrammierung \|abruf=2022-03-05}}</ref>) ist ein [[Programmierparadigma]], das auf der [[Mathematische Logik\|mathematischen Logik]] beruht. Anders als bei der [[Imperative Programmierung\|imperativen Programmierung]] besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von [[Axiom]]en, welche hier als eine Ansammlung von Fakten oder Annahmen zu verstehen ist. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der [[Interpreter]], die Lösungsaussage allein aus den Axiomen zu berechnen.

	Dazu werden eine Menge von so genannten ''Regeln'' und Anweisungen, die der Syntax gemäß aufgebaut sind zusammen mit der Information, welche Lösungsmethode vorgesehen ist, in den Programmcode eingefügt. Logische Programmiersprachen gehören zu den [[Deklarative Programmierung\|deklarativen Programmiersprachen]] und haben ihre Ursprünge im Forschungsgebiet [[Künstliche Intelligenz]].		Dazu werden eine Menge von so genannten ''Regeln'' und Anweisungen, die der Syntax gemäß aufgebaut sind zusammen mit der Information, welche Lösungsmethode vorgesehen ist, in den Programmcode eingefügt. Logische Programmiersprachen gehören zu den [[Deklarative Programmierung\|deklarativen Programmiersprachen]] und haben ihre Ursprünge im Forschungsgebiet [[Künstliche Intelligenz]].

8Paule: /* Einsatzgebiete */

2019-11-20T20:34:37Z

Einsatzgebiete

← Nächstältere Version		Version vom 20. November 2019, 22:34 Uhr
Zeile 38:		Zeile 38:

	== Einsatzgebiete ==		== Einsatzgebiete ==

			{{Belege fehlen\|Dieser Abschnitt hat keine Belege. --[[Benutzer:8Paule\|8Paule]] ([[Benutzer Diskussion:8Paule\|Diskussion]]) 21:34, 20. Nov. 2019 (CET)}}

	Typische Einsatzgebiete sind Simulatoren, Generatoren, sowie Systeme zur Diagnose und Prognose. Anwendungen der Logikprogrammierung finden sich in folgenden Bereichen:		Typische Einsatzgebiete sind Simulatoren, Generatoren, sowie Systeme zur Diagnose und Prognose. Anwendungen der Logikprogrammierung finden sich in folgenden Bereichen:

	* [[Künstliche Intelligenz]]		* [[Künstliche Intelligenz]]
	* [[Datenbank]]en		* [[Datenbank]]en

2A00:A200:0:E00:0:0:0:EF: update weblink

2019-03-28T15:01:47Z

update weblink

← Nächstältere Version		Version vom 28. März 2019, 17:01 Uhr
Zeile 64:		Zeile 64:

	== Weblinks ==		== Weblinks ==
	* [http://~~www.cs.uni-potsdam~~.de/wv/~~pdfformat~~/~~schaub02a~~.~~pdf Antwortmengenprogrammierung (PDF)~~] – knapper Überblick von der Entwicklung der klassischen Logik hin zur logischen Programmierung (110 kB)		* [http://informatikdidaktik.de/HyFISCH/Spitzenforschung/Schaub.htm] – knapper Überblick von der Entwicklung der klassischen Logik hin zur logischen Programmierung (110 kB)
	* [http://xsb.sourceforge.net/ XSB] (englisch) Logik-System und Deduktive Datenbank (Open Source)		* [http://xsb.sourceforge.net/ XSB] (englisch) Logik-System und Deduktive Datenbank (Open Source)

Claude J: begründer

2017-07-09T16:23:53Z

begründer

← Nächstältere Version		Version vom 9. Juli 2017, 18:23 Uhr
Zeile 5:		Zeile 5:
	In einem [[Imperative Programmiersprache\|imperativen Programm]] wird genau beschrieben, wie und in welcher Reihenfolge ein Problem zu lösen ist. Im Gegensatz dazu wird in einem logikbasierten Programm beschrieben, was gilt. Das Wie ist durch die Lösungsmethode vorgegeben. Die Lösung wird aus den Regeln [[Deduktion\|hergeleitet]].		In einem [[Imperative Programmiersprache\|imperativen Programm]] wird genau beschrieben, wie und in welcher Reihenfolge ein Problem zu lösen ist. Im Gegensatz dazu wird in einem logikbasierten Programm beschrieben, was gilt. Das Wie ist durch die Lösungsmethode vorgegeben. Die Lösung wird aus den Regeln [[Deduktion\|hergeleitet]].

	Die bekannteste logische Programmiersprache ist [[Prolog (Programmiersprache)\|Prolog]].		Die bekannteste logische Programmiersprache ist [[Prolog (Programmiersprache)\|Prolog]]. Zu den Begründern der logischen Programmierung zählten in den 1970er Jahren [[Alain Colmerauer]] und [[Robert Kowalski]].

	== Erläuterungen ==		== Erläuterungen ==

95.208.139.23: /* Einsatzgebiete */

2016-03-04T13:52:25Z

Einsatzgebiete

← Nächstältere Version		Version vom 4. März 2016, 15:52 Uhr
Zeile 40:		Zeile 40:

	Typische Einsatzgebiete sind Simulatoren, Generatoren, sowie Systeme zur Diagnose und Prognose. Anwendungen der Logikprogrammierung finden sich in folgenden Bereichen:		Typische Einsatzgebiete sind Simulatoren, Generatoren, sowie Systeme zur Diagnose und Prognose. Anwendungen der Logikprogrammierung finden sich in folgenden Bereichen:
	* Künstliche Intelligenz		* [[Künstliche Intelligenz]]
	* [[Datenbank]]en		* [[Datenbank]]en
	* [[Expertensystem]]e		* [[Expertensystem]]e

137.226.137.158: /* Beispiel */

2016-01-13T15:21:00Z

Beispiel

← Nächstältere Version		Version vom 13. Januar 2016, 17:21 Uhr
Zeile 16:		Zeile 16:
	== Beispiel ==		== Beispiel ==
	Dieses Beispiel ist in natürlicher Sprache formuliert, um das Prinzip aufzuzeigen.		Dieses Beispiel ist in natürlicher Sprache formuliert, um das Prinzip aufzuzeigen.

	Fakten:		Fakten:

Mussklprozz: Sprachlich gestrafft; einen Grammatikfehler verbessert, Füllwörter, Selbstverständlichkeiten und Anekdoten getilgt.

2015-01-31T10:43:19Z

Sprachlich gestrafft; einen Grammatikfehler verbessert, Füllwörter, Selbstverständlichkeiten und Anekdoten getilgt.

← Nächstältere Version		Version vom 31. Januar 2015, 12:43 Uhr
Zeile 1:		Zeile 1:
	'''Logische Programmierung''' (''Prädikative Programmierung'') ist ein [[Programmierparadigma]], das auf der [[Mathematische Logik\|mathematischen Logik]] beruht. Anders als bei der [[Imperative Programmierung\|imperativen Programmierung]] besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von [[Axiom]]en, welche hier als eine ~~reine~~ Ansammlung von Fakten oder Annahmen zu verstehen ~~sind~~. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der [[Interpreter]] die Lösungsaussage allein aus den Axiomen zu berechnen.		'''Logische Programmierung''' (''Prädikative Programmierung'') ist ein [[Programmierparadigma]], das auf der [[Mathematische Logik\|mathematischen Logik]] beruht. Anders als bei der [[Imperative Programmierung\|imperativen Programmierung]] besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von [[Axiom]]en, welche hier als eine Ansammlung von Fakten oder Annahmen zu verstehen ist. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der [[Interpreter]], die Lösungsaussage allein aus den Axiomen zu berechnen.

	Dazu werden eine Menge von so genannten ''Regeln'' und Anweisungen, die der Syntax gemäß aufgebaut sind, ''zusammen'' mit der Information, ''welche'' Lösungsmethode vorgesehen ist, in den Programmcode eingefügt. Logische Programmiersprachen gehören zu den [[Deklarative Programmierung\|deklarativen Programmiersprachen]] und haben ihre Ursprünge im Forschungsgebiet [[Künstliche Intelligenz]].		Dazu werden eine Menge von so genannten ''Regeln'' und Anweisungen, die der Syntax gemäß aufgebaut sind zusammen mit der Information, welche Lösungsmethode vorgesehen ist, in den Programmcode eingefügt. Logische Programmiersprachen gehören zu den [[Deklarative Programmierung\|deklarativen Programmiersprachen]] und haben ihre Ursprünge im Forschungsgebiet [[Künstliche Intelligenz]].

	In einem [[Imperative Programmiersprache\|imperativen Programm]] wird genau beschrieben, ''wie'' und ''in welcher Reihenfolge'' ein Problem zu lösen ist. Im Gegensatz dazu wird in einem logikbasierten Programm ~~idealerweise nur~~ beschrieben, ''was'' gilt. Das ''Wie'' ist ~~bereits~~ durch die Lösungsmethode vorgegeben. Die Lösung wird aus den ~~vorhandenen~~ Regeln [[Deduktion\|hergeleitet]]. Meistens wird schon nur eine Menge von Regeln als „Programm“ bezeichnet, wenn klar ist, welche Lösungsmethode dazugehört: Nämlich die (einzige) in der vom [[Regelbasiertes System\|regelbasierten System]] bereitgestellten [[Inferenzmaschine]] verwirklichte.		In einem [[Imperative Programmiersprache\|imperativen Programm]] wird genau beschrieben, wie und in welcher Reihenfolge ein Problem zu lösen ist. Im Gegensatz dazu wird in einem logikbasierten Programm beschrieben, was gilt. Das Wie ist durch die Lösungsmethode vorgegeben. Die Lösung wird aus den Regeln [[Deduktion\|hergeleitet]].

	Die bekannteste logische Programmiersprache ist [[Prolog (Programmiersprache)\|Prolog]].		Die bekannteste logische Programmiersprache ist [[Prolog (Programmiersprache)\|Prolog]].

	== Erläuterungen ==		== Erläuterungen ==
	Die '''Syntax''' gibt an, wie Regeln geschrieben werden müssen, damit der Computer sie verwenden kann. '''Regeln''' sind ~~„Falls~~-~~dann“~~-Aussagen und Fakten, die das Wissen zu einem Problemkreis beschreiben. Daneben gibt es ~~oft noch~~ spezielle Konstrukte, um die Lösungsmethode zu beeinflussen. Am bekanntesten ist die Rückwärtsabschneidung (engl. ''cut'') in Prolog, womit z. B. ~~„Falls-dann-außer“-Regeln~~ modelliert werden.		Die '''Syntax''' gibt an, wie Regeln geschrieben werden müssen, damit der Computer sie verwenden kann. '''Regeln''' sind Wenn-Dann-Aussagen und Fakten, die das Wissen zu einem Problemkreis beschreiben. Daneben gibt es spezielle Konstrukte, um die Lösungsmethode zu beeinflussen. Am bekanntesten ist die Rückwärtsabschneidung (engl. ''cut'') in Prolog, womit z. B. Ausnahmeregeln modelliert werden.

	Einem regelbasierten Programm kann man '''Fragen''' (engl. ''query'') stellen, indem man ein '''Ziel''' (engl. ''goal'') vorgibt. ~~Das entspricht grob gesehen dem Aufruf einer Funktion oder Prozedur in imperativen Programmiersprachen.~~		Einem regelbasierten Programm kann man '''Fragen''' (engl. ''query'') stellen, indem man ein '''Ziel''' (engl. ''goal'') vorgibt.

	Die '''Lösungsmethode''' gibt vor, wie die Inferenzmaschine die Regeln ~~(den Programmtext)~~ interpretiert, um die Frage zu beantworten. In Prolog wird eine [[Tiefensuche]] (engl. ''depth first'') mit [[Unifikation (Logik)\|Unifikation]] und [[Backtracking]] verwendet. ~~Jedoch sind auch~~ andere Methoden geeignet und werden je nach Anwendungsfall auch eingesetzt.		Die '''Lösungsmethode''' gibt vor, wie die Inferenzmaschine die Regeln interpretiert, um die Frage zu beantworten. In Prolog wird eine [[Tiefensuche]] (engl. ''depth first'') mit [[Unifikation (Logik)\|Unifikation]] und [[Backtracking]] verwendet. Auch andere Methoden sind geeignet und werden je nach Anwendungsfall auch eingesetzt.

	== Besonderheiten logischer Programmiersprachen ==
	{{überarbeiten}}
	Logikorientierte Programmiersprachen haben ungewöhnliche Eigenschaften (Backtracking, Unifikationsalgorithmen), die sie für gewisse Arten von Problemen prädestiniert, die mit anderen Programmiersprachen schwerer zu lösen sind.

	Da logische Programmiersprachen zu den deklarativen Programmiersprachen gehören, treffen deren Besonderheiten zu.

	<!-- Das folgende sind anekdotische Halbwahrheiten. Bitte belegen und begründen oder endgültig streichen:
	Durch den Austausch der Lösungsmethode wird ein und derselbe Programmtext auf verschiedene Weise abgearbeitet. Ist ein logisches Programm so aufgebaut, dass es Nebenwirkungen (engl. ''side effects'') erzeugt, werden diese je nach verwendeter Lösungsmethode unterschiedlich sein.

	Die Verbesserung und Spezialisierung der Lösungsmethode ist seit den 1980'er Jahren ein "Dauerbrenner" in der Forschung auf einigen Gebieten der Künstlichen Intelligenz.

	Regelbasierte Sprachen haben auch eine starke [[funktionale_Programmiersprache\|funktionale]] und eine [[prozedurale_Programmiersprache\|prozedurale]] Interpretation.
	Mit Abstrichen und geringem Zusatzaufwand ist auch [[objektorientierte_Programmiersprache\|objektorientiertes Programmieren]] in einer typischen regelbasierten Sprache möglich.

	Regelbasierte Programme sind sehr gut geeignet, auf [[Parallelrechner]]n mit entsprechender Geschwindigkeitssteigerung zu laufen. Diese Erkenntnis führte zur Entwicklung von [[Parlog_(Programmiersprache)\|Parlog]].

	Bis zu einem gewissen Grad der [[Komplexität]] lassen sich regelbasierte Programme sehr einfach durch Hinzufügen neuer Regeln erweitern und vergrößern dabei ihre [[Funktionalität]] oft [[überproportional]]. Diese Eigenschaft ist bei den "abstrakteren" regelbasierten und funktionalen Sprachen besser als bei anderen, "konkreteren" Programmiersprachen. Deshalb eignen sich regelbasierte Sprachen gut für die Entwicklung von Software-Prototypen und [[Prototyping (Softwareentwicklung)\|Prototyping]].

	Ist jedoch eine gewisse Komplexität erreicht, lassen sich regelbasierte Programme nur noch mit großem Aufwand erweitern: Es wird immer komplizierter, sinnvolle Regeln zu schreiben, die den schon vorhandenen Regeln nicht widersprechen. Dieser Punkt wird bei modernen objektorientierten Sprachen in der Regel später erreicht, da diese bessere Kapselungsmechanismen haben.

	Denn die Regeln eines regelbasierten Programms müssen bestimmten [[Markierungsalgorithmus\|mathematischen Anforderungen]] genügen, damit sie informationstechnisch verwertbar sind. Auch müssen sie frei von Widersprüchen sein. Wir unterscheiden aber in vielen Sachgebieten nicht zwischen solchen "mathematisch sauberen" und "unsauberen" Regeln. Viele der uns bekannten Zusammenhänge können wir nur in "unsauberen" Regeln in natürlicher Sprache fassen; entsprechende "mathematisch saubere" Regeln kennen wir oft gar nicht. Zwangsläufig finden sich also "unsaubere" Regeln in unseren Programmen, zumindest wenn die Domäne des Programms nicht die Mathematik ist.

	Die Bemühungen der Forschung haben u. a. zu Ziel, Inferenzmaschinen zu entwerfen, die mit "unsauberen" Regeln genauso gut umgehen wie der Mensch [vergl. [[Fuzzy-Logik]]].

	Seit den 1990er Jahren vermischen sich regelbasierte Sprachen mit Programmiersprachen anderer Paradigmen, um die Effizienz der Programme und Ausdruckskraft der Programmiersprache zu erhöhen.
	-->

	== Beispiel ==		== Beispiel ==
	Dieses Beispiel ist in natürlicher Sprache formuliert, um das Prinzip aufzuzeigen. ~~Die konkrete Anwendung kann man bei der Programmiersprache Prolog ersehen.~~		Dieses Beispiel ist in natürlicher Sprache formuliert, um das Prinzip aufzuzeigen.

	Fakten:		Fakten:

Zeile 63:		Zeile 35:

	:''Lucia''		:''Lucia''

	Dieses unspektakuläre Beispiel kann man gedanklich leicht um andere Verwandtschaftsbeziehungen erweitern.

	== Einsatzgebiete ==		== Einsatzgebiete ==

	Typische Einsatzgebiete sind Simulatoren, Generatoren, sowie Systeme zur Diagnose und Prognose. Anwendungen der Logikprogrammierung finden sich ~~beispielsweise~~ in folgenden Bereichen:		Typische Einsatzgebiete sind Simulatoren, Generatoren, sowie Systeme zur Diagnose und Prognose. Anwendungen der Logikprogrammierung finden sich in folgenden Bereichen:
	* Künstliche Intelligenz		* Künstliche Intelligenz
	* [[Datenbank]]en		* [[Datenbank]]en

Zero Thrust: /* Einsatzgebiete */ Präziser. Anwendungen sind auch in der eigtl. Linguistik denkbar, aber diese Beispiele eher nicht. KI einmal raus, weil doppelt u. dreifach.

2013-08-04T20:22:16Z

Einsatzgebiete: Präziser. Anwendungen sind auch in der eigtl. Linguistik denkbar, aber diese Beispiele eher nicht. KI einmal raus, weil doppelt u. dreifach.

← Nächstältere Version		Version vom 4. August 2013, 22:22 Uhr
Zeile 81:		Zeile 81:
	* [[Soziologie]]		* [[Soziologie]]
	* [[Psychologie]]		* [[Psychologie]]
	* [[~~Linguistik~~]]: Übersetzen natürlicher Sprache, Erkennen und Verstehen gesprochener Sprache		* [[Computerlinguistik]]: Maschinelles Übersetzen natürlicher Sprache, Erkennen und Verstehen gesprochener Sprache
	* und viele weitere		* und viele weitere

	Auf dem Gebiet der Informatik und Computertechnik:		Auf dem Gebiet der Informatik und Computertechnik:
	* [[Computertechnik]]: Design und Simulation von Prozessoren und Schaltkreisen		* [[Computertechnik]]: Design und Simulation von Prozessoren und Schaltkreisen
	* Künstliche Intelligenz: Forschung, Expertensysteme, Übersetzen natürlicher Sprache, Erkennen gesprochener Sprache, [[Semantisches Web]]
	* [[Compilerbau]]		* [[Compilerbau]]
	* [[Computerspiel]]e: „intelligentes“ Verhalten simulierter Mitspieler, Taktik, Strategie		* [[Computerspiel]]e: „intelligentes“ Verhalten simulierter Mitspieler, Taktik, Strategie
	* [[parallele Datenverarbeitung]]		* [[parallele Datenverarbeitung]]
	* [[Dokumentenmanagement]]: Strukturierte Dokumente verarbeiten, Semantisches Web, [[XSLT]]		* [[Dokumentenmanagement]]: Strukturierte Dokumente verarbeiten, [[Semantisches Web]], [[XSLT]]
	* Rapid Prototyping		* [[Prototyping (Softwareentwicklung)\|Rapid Prototyping]]

	== Weblinks ==		== Weblinks ==

Addbot: Bot: 29 Interwiki-Link(s) nach Wikidata (d:q275603) migriert

2013-04-03T17:43:21Z

Bot: 29 Interwiki-Link(s) nach Wikidata (d:q275603) migriert

← Nächstältere Version		Version vom 3. April 2013, 19:43 Uhr
Zeile 98:		Zeile 98:

	[[Kategorie:Programmierparadigma]]		[[Kategorie:Programmierparadigma]]

	[[ar:برمجة منطقية]]
	[[bn:যুক্তিভিত্তিক প্রোগ্রামিং]]
	[[bs:Logičko programiranje]]
	[[cs:Logické programování]]
	[[en:Logic programming]]
	[[es:Programación lógica]]
	[[et:Loogiline programmeerimine]]
	[[fa:برنامه‌نویسی منطقی]]
	[[fi:Logiikkapohjainen ohjelmointikieli]]
	[[fr:Programmation logique]]
	[[gl:Programación lóxica]]
	[[he:תכנות לוגי]]
	[[hr:Logičko programiranje]]
	[[io:Logika programeso]]
	[[it:Programmazione logica]]
	[[ja:論理プログラミング]]
	[[ko:논리형 프로그래밍]]
	[[ms:Pengaturcaraan logik]]
	[[nl:Logisch programmeren]]
	[[pl:Programowanie logiczne]]
	[[pt:Programação lógica]]
	[[ru:Логическое программирование]]
	[[rue:Лоґічне проґрамованя]]
	[[sq:Programimi logjik]]
	[[sv:Logikprogrammering]]
	[[th:การเขียนโปรแกรมเชิงตรรกะ]]
	[[tr:Mantık programlama]]
	[[uk:Логічне програмування]]
	[[zh:邏輯編程]]