SOAR - Versionsgeschichte

Schäfer am 25. September 2018 um 15:57 Uhr

2018-09-25T15:57:51Z

← Nächstältere Version		Version vom 25. September 2018, 17:57 Uhr
Zeile 10:		Zeile 10:
	Ein klassischer '''Verarbeitungs-Zyklus''' in Soar sieht folgendermaßen aus (für eine ausführliche Beschreibung siehe unten):		Ein klassischer '''Verarbeitungs-Zyklus''' in Soar sieht folgendermaßen aus (für eine ausführliche Beschreibung siehe unten):

	# 1. Input (optional)		# Input (optional)
	#* Daten über die Umwelt werden in den Arbeitsspeicher aufgenommen		#* Daten über die Umwelt werden in den Arbeitsspeicher aufgenommen
	# 2. Operator-Vorschläge		# Operator-Vorschläge
	#* Produktionsregeln überprüfen, ob der Arbeitsspeicher (im aktuellen Zustand) bestimmte Bedingungen erfüllt		#* Produktionsregeln überprüfen, ob der Arbeitsspeicher (im aktuellen Zustand) bestimmte Bedingungen erfüllt
	#* Wenn ja, schlagen die Regeln die Anwendung eines bestimmten Operators vor		#* Wenn ja, schlagen die Regeln die Anwendung eines bestimmten Operators vor
	# 3. Operator-Vergleich		# Operator-Vergleich
	#* Allen vorgeschlagenen Operatoren wird eine Präferenz zugeordnet		#* Allen vorgeschlagenen Operatoren wird eine Präferenz zugeordnet
	# 4. Operator-Selektion (A oder B)		# Operator-Selektion (A oder B)
	#* A: Ein Operator hat eine höhere Präferenz als alle anderen, weiter mit Schritt 5.)		#* A: Ein Operator hat eine höhere Präferenz als alle anderen, weiter mit Schritt 5.)
	#* B: Es kann eindeutig kein Operator ausgewählt werden  Konfliktresolution		#* B: Es kann eindeutig kein Operator ausgewählt werden  Konfliktresolution
Zeile 23:		Zeile 23:
	##* Ziel ist es nun, den Konflikt aufzulösen, z. B. durch Trial-and-Error (neuer Zyklus mit anderem Zielzustand) oder Frage an den Benutzer		##* Ziel ist es nun, den Konflikt aufzulösen, z. B. durch Trial-and-Error (neuer Zyklus mit anderem Zielzustand) oder Frage an den Benutzer
	##* Bei Konfliktlösung Generierung eines „Chunks“, der sich die Lösung „merkt“		##* Bei Konfliktlösung Generierung eines „Chunks“, der sich die Lösung „merkt“
	# 5. Operator-Anwendung		# Operator-Anwendung
	#* Alle passenden Produktionsregeln werden angewandt, was zu einem neuen Zustand führen oder den Zyklus beenden kann		#* Alle passenden Produktionsregeln werden angewandt, was zu einem neuen Zustand führen oder den Zyklus beenden kann
	# 6. Output (optional)		# Output (optional)
	#* Kommandos werden an die Umwelt weitergeleitet		#* Kommandos werden an die Umwelt weitergeleitet
	# 7. Setze fort mit Schritt 1.)		# Setze fort mit Schritt 1.)

Schäfer am 24. September 2018 um 12:10 Uhr

2018-09-24T12:10:38Z

← Nächstältere Version		Version vom 24. September 2018, 14:10 Uhr
Zeile 1:		Zeile 1:
	{{Nav\|Navigation\|Kognitive Architekturen\|Kognitive Modellierung\|Hauptseite}}		{{Nav\|Navigation\|Kognitive Architekturen\|Kognitive Modellierung\|Hauptseite}}
	Soar (für ~~State~~, ~~Operator~~, ~~Apply~~, ~~Result~~) ist eine [[Kognitive Architekturen\|kognitive Architektur]], die von John Laird, Allen Newell und Paul Rosenbloom in den 1980er Jahren entwickelt wurde.		Soar (für '''S'''tate, '''O'''perator, '''A'''pply, '''R'''esult) ist eine [[Kognitive Architekturen\|kognitive Architektur]], die von John Laird, Allen Newell und Paul Rosenbloom in den 1980er Jahren entwickelt wurde.
	Wie ACT-R versucht auch dieses Projekt die notwendigen Grundbausteine für ein allgemeines intelligentes System zu finden und zu integrieren, das nicht nur begrenzte Aufgabenbereiche sondern eine Vielzahl an Problemstellungen und Domänen meistert, alle möglichen Arten von Wissen lernt und speichert sowie die volle Bandbreite an menschlichen kognitiven Fähigkeiten von Entscheidungsfindung, Planung bis zum Sprachverständnis ausführen kann.		Wie ACT-R versucht auch dieses Projekt die notwendigen Grundbausteine für ein allgemeines intelligentes System zu finden und zu integrieren, das nicht nur begrenzte Aufgabenbereiche sondern eine Vielzahl an Problemstellungen und Domänen meistert, alle möglichen Arten von Wissen lernt und speichert sowie die volle Bandbreite an menschlichen kognitiven Fähigkeiten von Entscheidungsfindung, Planung bis zum Sprachverständnis ausführen kann.

Zeile 28:		Zeile 28:
	#* Kommandos werden an die Umwelt weitergeleitet		#* Kommandos werden an die Umwelt weitergeleitet
	# 7. Setze fort mit Schritt 1.)		# 7. Setze fort mit Schritt 1.)


	Wenn die Bedingungen der Produktionsregeln zu den Inhalten im Arbeitsspeicher (dem Zustand) passen bzw. erfüllt sind, werden sie parallel aktiviert („feuern“). Regeln können Faktenwissen im Arbeitsspeicher ablegen, einen Operator vorschlagen oder Operatoren bewerten (z.B. schlägt eine Regel die Auswahl von Operator A statt Operator B vor). Sollte in diesem Prozess kein bester Operator gefunden werden, wird die '''Konfliktresolution''' eingeschaltet. Dafür generiert Soar ein neues '''Unterziel''', um den besten aus mehreren zur Ausführung geeigneten Operatoren herauszusuchen. Wenn ein optimaler Operator gefunden wurde, dessen Bedingungen durch den aktuellen Zustand aber noch nicht erfüllt sind, werden von Soar Teil- oder Unterziele generiert, um diese Bedingungen zu erfüllen. Zum Beispiel möchte jemand einen Artikel über kognitive Architekturen schreiben, hat aber von diesem Thema keine Ahnung. Das System würde dann ein erstes Ziel generieren um z.B. Literatur zu recherchieren. Wenn die Person keine Literatur besitzt, wird ein Unterziel generiert um diese zu besorgen usw.		Wenn die Bedingungen der Produktionsregeln zu den Inhalten im Arbeitsspeicher (dem Zustand) passen bzw. erfüllt sind, werden sie parallel aktiviert („feuern“). Regeln können Faktenwissen im Arbeitsspeicher ablegen, einen Operator vorschlagen oder Operatoren bewerten (z.B. schlägt eine Regel die Auswahl von Operator A statt Operator B vor). Sollte in diesem Prozess kein bester Operator gefunden werden, wird die '''Konfliktresolution''' eingeschaltet. Dafür generiert Soar ein neues '''Unterziel''', um den besten aus mehreren zur Ausführung geeigneten Operatoren herauszusuchen. Wenn ein optimaler Operator gefunden wurde, dessen Bedingungen durch den aktuellen Zustand aber noch nicht erfüllt sind, werden von Soar Teil- oder Unterziele generiert, um diese Bedingungen zu erfüllen. Zum Beispiel möchte jemand einen Artikel über kognitive Architekturen schreiben, hat aber von diesem Thema keine Ahnung. Das System würde dann ein erstes Ziel generieren um z.B. Literatur zu recherchieren. Wenn die Person keine Literatur besitzt, wird ein Unterziel generiert um diese zu besorgen usw.

Wehner am 27. August 2018 um 09:49 Uhr

2018-08-27T09:49:06Z

← Nächstältere Version		Version vom 27. August 2018, 11:49 Uhr
Zeile 1:		Zeile 1:
	{{Nav\|Navigation\|Kognitive Modellierung\|Hauptseite}}		{{Nav\|Navigation\|Kognitive Architekturen\|Kognitive Modellierung\|Hauptseite}}
	Soar (für State, Operator, Apply, Result) ist eine [[Kognitive Architekturen\|kognitive Architektur]], die von John Laird, Allen Newell und Paul Rosenbloom in den 1980er Jahren entwickelt wurde.		Soar (für State, Operator, Apply, Result) ist eine [[Kognitive Architekturen\|kognitive Architektur]], die von John Laird, Allen Newell und Paul Rosenbloom in den 1980er Jahren entwickelt wurde.
	Wie ACT-R versucht auch dieses Projekt die notwendigen Grundbausteine für ein allgemeines intelligentes System zu finden und zu integrieren, das nicht nur begrenzte Aufgabenbereiche sondern eine Vielzahl an Problemstellungen und Domänen meistert, alle möglichen Arten von Wissen lernt und speichert sowie die volle Bandbreite an menschlichen kognitiven Fähigkeiten von Entscheidungsfindung, Planung bis zum Sprachverständnis ausführen kann.		Wie ACT-R versucht auch dieses Projekt die notwendigen Grundbausteine für ein allgemeines intelligentes System zu finden und zu integrieren, das nicht nur begrenzte Aufgabenbereiche sondern eine Vielzahl an Problemstellungen und Domänen meistert, alle möglichen Arten von Wissen lernt und speichert sowie die volle Bandbreite an menschlichen kognitiven Fähigkeiten von Entscheidungsfindung, Planung bis zum Sprachverständnis ausführen kann.

Schäfer am 30. Juli 2018 um 14:06 Uhr

2018-07-30T14:06:37Z

← Nächstältere Version		Version vom 30. Juli 2018, 16:06 Uhr
Zeile 1:		Zeile 1:
	{{Nav\|Navigation\|Kognitive Modellierung\|Hauptseite}}		{{Nav\|Navigation\|Kognitive Modellierung\|Hauptseite}}
	~~Artikelinhalt~~		Soar (für State, Operator, Apply, Result) ist eine [[Kognitive Architekturen\|kognitive Architektur]], die von John Laird, Allen Newell und Paul Rosenbloom in den 1980er Jahren entwickelt wurde.
			Wie ACT-R versucht auch dieses Projekt die notwendigen Grundbausteine für ein allgemeines intelligentes System zu finden und zu integrieren, das nicht nur begrenzte Aufgabenbereiche sondern eine Vielzahl an Problemstellungen und Domänen meistert, alle möglichen Arten von Wissen lernt und speichert sowie die volle Bandbreite an menschlichen kognitiven Fähigkeiten von Entscheidungsfindung, Planung bis zum Sprachverständnis ausführen kann.

			Die Theorie Soar sieht den Menschen als symbolverarbeitendes System, welches basierend auf einer Menge von interpretierbaren und kombinierbaren Symbolen eine Menge von Aktionen ausführen kann. Dies seien den Entwicklern zufolge bereits die notwendigen und hinreichenden Bedingungen für intelligentes Handeln.

			Problemlösen ist in Soar nicht die Anwendung einer einzelnen richtigen Regel, sondern besteht im Absuchen eines Problemraums, welcher durch einen Anfangszustand, einen oder mehrere Endzustände und eine Menge von Operatoren, die den aktuellen Zustand verändern können, definiert ist. Entscheidungsfindung ist daher die Selektion und Anwendung einer Reihe von Operatoren, die von sog. '''Produktionsregeln''' vorgeschlagen, evaluiert und eingesetzt werden. In Soar ist das gesamte Wissen des Systems in diesen Produktionsregeln innerhalb eines '''Regelspeichers''' kodiert. Um auf diesen Regelspeicher und das dort kodierte prozedurale und Faktenwissen zugreifen zu können, benötigt man einen '''Arbeitsspeicher''' (''working memory''), der auch die Ziele des Systems verwaltet. Zum Vergleich: In ACT-R wird dagegen das Faktenwissen im deklarativen Gedächtnis in Form von unabhängigen Wissenseinheiten, sog. Chunks, gespeichert und es gibt kein separates Arbeitsgedächtnis, sondern Chunks werden nach Überschreiten einer Mindestaktivierung abgerufen. Prozedurales Wissen wird allerdings in beiden Architekturen in einem Regelspeicher abgelegt.


			Ein klassischer '''Verarbeitungs-Zyklus''' in Soar sieht folgendermaßen aus (für eine ausführliche Beschreibung siehe unten):

			# 1. Input (optional)
			#* Daten über die Umwelt werden in den Arbeitsspeicher aufgenommen
			# 2. Operator-Vorschläge
			#* Produktionsregeln überprüfen, ob der Arbeitsspeicher (im aktuellen Zustand) bestimmte Bedingungen erfüllt
			#* Wenn ja, schlagen die Regeln die Anwendung eines bestimmten Operators vor
			# 3. Operator-Vergleich
			#* Allen vorgeschlagenen Operatoren wird eine Präferenz zugeordnet
			# 4. Operator-Selektion (A oder B)
			#* A: Ein Operator hat eine höhere Präferenz als alle anderen, weiter mit Schritt 5.)
			#* B: Es kann eindeutig kein Operator ausgewählt werden  Konfliktresolution
			##* Es wird ein Zwischenzustand mit Unterziel erstellt
			##* Ziel ist es nun, den Konflikt aufzulösen, z. B. durch Trial-and-Error (neuer Zyklus mit anderem Zielzustand) oder Frage an den Benutzer
			##* Bei Konfliktlösung Generierung eines „Chunks“, der sich die Lösung „merkt“
			# 5. Operator-Anwendung
			#* Alle passenden Produktionsregeln werden angewandt, was zu einem neuen Zustand führen oder den Zyklus beenden kann
			# 6. Output (optional)
			#* Kommandos werden an die Umwelt weitergeleitet
			# 7. Setze fort mit Schritt 1.)

			Wenn die Bedingungen der Produktionsregeln zu den Inhalten im Arbeitsspeicher (dem Zustand) passen bzw. erfüllt sind, werden sie parallel aktiviert („feuern“). Regeln können Faktenwissen im Arbeitsspeicher ablegen, einen Operator vorschlagen oder Operatoren bewerten (z.B. schlägt eine Regel die Auswahl von Operator A statt Operator B vor). Sollte in diesem Prozess kein bester Operator gefunden werden, wird die '''Konfliktresolution''' eingeschaltet. Dafür generiert Soar ein neues '''Unterziel''', um den besten aus mehreren zur Ausführung geeigneten Operatoren herauszusuchen. Wenn ein optimaler Operator gefunden wurde, dessen Bedingungen durch den aktuellen Zustand aber noch nicht erfüllt sind, werden von Soar Teil- oder Unterziele generiert, um diese Bedingungen zu erfüllen. Zum Beispiel möchte jemand einen Artikel über kognitive Architekturen schreiben, hat aber von diesem Thema keine Ahnung. Das System würde dann ein erstes Ziel generieren um z.B. Literatur zu recherchieren. Wenn die Person keine Literatur besitzt, wird ein Unterziel generiert um diese zu besorgen usw.

			Der selbstständige Wissenserwerb bzw. das '''Lernen''' neuer Produktionsregeln und neuen Faktenwissens hängt ebenso mit den generierten Unterzielen zusammen, denn bei jeder Bewältigung eines Unterziels erstellt Soar eine neue Regel. Diese neue Regel hat als Bedingungskomponente den Systemzustand vor der Generierung des Unterziels und als Aktionskomponente das Ergebnis nach Bearbeitung des Unterziels. Dieser als „''chunking''“ bezeichnete Mechanismus ist die einzige Möglichkeit, in Soar neues Wissen zu erwerben. In ACT-R wird über mehrere Mechanismen gelernt z.B. über die Generierung neuer Chunks aus alten Zielen oder die Parameterveränderung von Chunks oder Produktionsregeln (z.B. die Erhöhung der Chunk-Aktivierung bei mehrfachem Abruf).

			Neuere Versionen von Soar unterstützen auch [[Reinforcement Learning]], welches die Präferenzen für die Evaluierung von Operatoren basierend auf erhaltenen Belohnungen (die im Arbeitsspeicher repräsentiert sind) moduliert.


			== Software ==

			Aktuell unterliegt die Instandhaltung und Aktualisierung von Soar der Gruppe um John Laird an der University of Michigan. Die Software ist auf Basis von C und C++ programmiert und als [https://soar.eecs.umich.edu/Downloads Standalone-Version] frei verfügbar.


			== Anwendungen ==

			Soar wird u.a. als Künstliche Intelligenz in einer Vielzahl von Computerspielen (z.B. Quake II, StarCraft) eingesetzt, aber auch um Roboter zu steuern, Pilotverhalten im Flugzeug oder Menschen in virtuellen Realitäten zu simulieren.

Wehner: Die Seite wurde neu angelegt: „{{Nav|Navigation|Kognitive Modellierung|Hauptseite}} Artikelinhalt“

2018-07-28T19:30:41Z

Die Seite wurde neu angelegt: „{{Nav|Navigation|Kognitive Modellierung|Hauptseite}} Artikelinhalt“

Neue Seite

{{Nav|Navigation|Kognitive Modellierung|Hauptseite}}
Artikelinhalt