{"title":"knstliche Intelligenz: Infobox I","body":"künstliche Intelligenz<\/STRONG>\n1:<\/STRONG> Logik - Aussagenlogik - Prädikatenlogik<\/I>
<\/BR>
<\/BR>Das Wort „Logik“ kommt von griech. „logos“, was „Wort“, „Geist“, „Sinn“, „ordnendes Prinzip“ bedeutet, wobei die ursprüngliche Bedeutung im „Organon“ des Aristoteles die „Lehre von der Folgerichtigkeit“ meint.
<\/BR>Ein Beispiel für logisches Schließen, d.h. für Folgerichtigkeit, lautet:
<\/BR>„Wenn alle Antilopen Säugetiere sind und alle Säugetiere Wirbeltiere sind, so sind alle Antilopen Wirbeltiere“
<\/BR>oder schematisch abstrahiert:<\/STRONG>
<\/BR>„<\/STRONG>Wenn alle X Y sind und alle Y Z sind, so sind alle X Z.“
<\/BR>In der Logik verwendet man eine formale Sprache (Kalkül) zur Darstellung von Wissen und Regeln, mit denen man von gegebenen Formeln zu anderen Formeln übergehen kann. Dadurch wird das logische Schließen präzisiert.
<\/BR>In der Aussagenlogik<\/I> werden Aussagen, die wahr bzw. falsch sind, und Zusammenhänge zwischen mehreren Aussagen behandelt, die mit und<\/I>, oder<\/I> und nicht<\/I> verknüpft sind.
<\/BR>In der Prädikatenlogik<\/I> werden in Aussagen Beziehungen zwischen einzelnen Satzteilen, wie Subjekt, Prädikat, Objekt hergestellt und Quantoren ∀<\/STRONG> (für alle) und ∃<\/STRONG> (es gibt) verwendet.
<\/BR>Beispiel:\n\n
\n\n\n\n
\n<\/TD>\n\nVerbale Formulierung\n<\/TD>\n\nPrädikatenlogische Formulierung\n<\/TD>\n<\/TR>\n
\nRegel\n<\/TD>\n\nAlle Menschen sind sterblich\n<\/TD>\n\n∀X (ist_ein_Mensch(X) → ist_sterblich(X))\n<\/TD>\n<\/TR>\n
\nAussage\n<\/TD>\n\nSokrates ist ein Mensch\n<\/TD>\n\nist_ein_Mensch (Sokrates)\n<\/TD>\n<\/TR>\n
\nFolgerung\n<\/TD>\n\nSokrates ist sterblich\n<\/TD>\n\nist_sterblich (Sokrates)\n<\/TD>\n<\/TR>\n\n<\/TABLE><\/TD><\/TR><\/TABLE>\nPrädikatenlogik 1. Stufe<\/I> bedeutet, daß nur über Individuenvariablen (im Beispiel X<\/I>), nicht aber über Prädikatensymbole (im Beispiel ist_ein_Mensch<\/I> bzw. ist_sterblich<\/I> ) quantifiziert werden darf."}