![\"\"](\"http:\/\/theory-of-science.com\/de\/wp-content\/uploads\/sites\/2\/2017\/11\/fig25.png\")
<\/p>\n<\/p>\n
Ein Modell wird in zwei Schritten genauer beschrieben:<\/p>\n
Einfa\u00adche Bestandteile eines Modells werden Fakten<\/strong> und komplexe Teile Hypothesen<\/strong> genannt. Diese Unterscheidung wird auch auf der Beschreibungsebene getroffen. Ein Modell ist eine Liste von Mengen. Eine solche Menge nennen wir auch eine Komponente<\/em> (des Modells, der Liste). Es werden drei Arten von Mengen in einem Modell unterschieden: Basismengen, Hilfsbasismengen und Relationen: Ein Modell x<\/em> hat also die Form x = <G1<\/sub>, …, Gk<\/sub>, A1<\/sub>, …, Am<\/sub>, R1<\/sub>, …, Rn<\/sub>><\/em><\/strong><\/p>\n wobei G1<\/sub>, …, Gk<\/sub><\/em> Mengen von Basismengen, Der Begriff des Modells wird in der Logik genauer definiert. Wir beschr\u00e4nken uns hier darauf, den Modellbegriff durch Beispiele zu erl\u00e4utern.<\/p>\n Modelle Einf\u00fchrung und Definition Von einem realen System zu einem Modell Bestandteile eines Modells Ein Modell wird in zwei Schritten genauer beschrieben: Im ersten Schritt werden die Bestand\u00adteile des Modells in ihre elementaren Teile zerlegt. In einem zweiten Schritt lassen sich aus den elementaren Bestandteilen einfache und komplexe Teile des Modells zusammensetzen. Einfa\u00adche Bestandteile eines […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"class_list":["post-4121","post","type-post","status-publish","format-standard","hentry","category-2019-sose-seminar-wissenschaftstheorie-und-simulation-von-wissenschaftstheoretischen-modulen"],"_links":{"self":[{"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/posts\/4121","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/comments?post=4121"}],"version-history":[{"count":10,"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/posts\/4121\/revisions"}],"predecessor-version":[{"id":4135,"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/posts\/4121\/revisions\/4135"}],"wp:attachment":[{"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/media?parent=4121"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/categories?post=4121"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/theory-of-science.com\/de\/wp-json\/wp\/v2\/tags?post=4121"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Alle Bestandteile eines Mo\u00addells werden durch Terme<\/strong> beschrieben: Fakten durch einfache Terme und Hypothe\u00adsen durch komplexe Terme. Fakten bilden in der Wirklichkeit vorhandene Ereignisse ab, die in der gerade untersuchten Situation Grundbestandteile des Modells sind und die nicht weiter analysiert wer\u00adden. Hypothesen repr\u00e4sentieren Gesamtheiten von Ereignissen, die in einem Modell eine Ein\u00adheit bilden.<\/p>\nDefinition eines Modells<\/h4>\n
Eine Basismenge<\/strong> enth\u00e4lt Objekte oder Dinge oder auch elementare Ereignisse. Ereignisse nennen wir elementar, wenn sie f\u00fcr die Theorie nicht weiter in kleinere Einzelteile zerlegt werden.
Eine Hilfsbasismenge<\/strong> besteht aus mathematischen Objekten (Zahlen oder abstrakteren Dingen).
Eine Relation R<\/strong> ist eine Menge von Listen, die durch eine \u201eBezeichnung\u201c (z.B. durch ein Pr\u00e4dikatsymbol) der Relation zusammengehalten wird. Ein Element einer Relation besteht aus einer Liste von Variablen<\/em>, die verschiedene Typen haben k\u00f6nnen. Eine solche Variable l\u00e4uft \u00fcber einen Bereich. Der Bereich enth\u00e4lt Fakten und auch \u201em\u00f6gliche Fakten\u201c.
Z.B. ist p<\/em> die Bezeichnung (das Pr\u00e4dikatssymbol) und fakt1<\/sub>, …, faktn<\/sub><\/em> sind m\u00f6gliche Fakten.
<p, fakt1<\/sub>, …, faktn<\/sub>><\/em> ist eine Liste und ein Element der Relation R<\/em> mit
R = { x |<\/em> es gibt fakt1<\/sub>, …, faktn<\/sub><\/em> so dass x = <p, fakt1<\/sub>, …, faktn<\/sub>> }<\/em>
Woher kommen diese Entit\u00e4ten?
p<\/em> kann z.B. das Verb mag<\/em> sein. Wenn die \u201evariablen Fakten\u201c fakt1<\/sub>, …, faktn<\/sub><\/em> durch Namen wie \u201ePeter\u201c, \u201eSusi\u201c, \u201eMonika\u201c, \u201eHans\u201c und n<\/em> durch 4<\/em> ersetzt werden, erhalten wir einen Satz. Inhaltlich gesprochen l\u00e4uft eine Variable \u00fcber Namen, oder anders gesagt \u00fcber eine offene Menge von Personen. Wir haben eine Vorstellung, wie diese er\u00f6rterte Personenmenge begrenzt ist.<\/p>\n
A1<\/sub>, …, Am<\/sub><\/em> Mengen von Hilfsbasismengen
und R1<\/sub>, …, Rn<\/sub><\/em> Relationen sind.<\/p>\nEin Modell besteht aus Mengen und Elementen<\/b><\/h4>\n
![\"\"](\"http:\/\/theory-of-science.com\/de\/wp-content\/uploads\/sites\/2\/2017\/11\/fig26-1024x739.png\")
<\/p>\nDie Balancetheorie von Heider<\/h3>\n
\n
Abbildung von Modellen in Prolog – Erste Schritte<\/h3>\n
mag(peter, susi). \/* Peter mag Susi *\/\nmag(X, susi). \/* Jeder mag Susi *\/\nmag(peter, Y). \/* Peter mag jeden *\/\nmag(peter, Y), mag(Y, peter). \/* Peter mag jeden und jeder mag Peter *\/\nmag(peter, susi); mag(peter, monika). \/* Peter mag Susi oder Peter mag Monika *\/\nnot(mag(peter, pizza)). \/* Peter mag keine Pizza *\/\nmag(peter, susi) :- mag(peter, monika). \/* Peter mag Susi wenn Peter Monika mag *\/\n\n\/* X und Y sind Freunde wenn sie sich gegenseitig m\u00f6gen *\/\nfreunde(X, Y) :- mag(X, Y), mag(Y, X).\n\n\/* X hasst Y wenn X Y nicht mag*\/\nhasst(X, Y) :- not(mag(X, Y)), !.\n\n\/* X und Y sind Feinde wenn sie sich gegenseitig nicht m\u00f6gen *\/\nfeinde(X, Y) :- not(mag(X, Y)), not(mag(Y, X)), !.\n<\/pre>\n
Verwendete Konstrukte und Pr\u00e4dikate<\/h4>\n
\n