Product Design, Manufacturing & Innovation Resources
Casa » Modelli cognitivi simbolici

Modelli cognitivi simbolici

1950
  • Allen Newell
  • Herbert A. Simon
Laboratorio di ricerca in psicologia cognitiva specializzato nell'analisi di modelli cognitivi simbolici.

(Immagine generata a solo scopo illustrativo)

I modelli cognitivi simbolici si basano sul principio che la cognizione è un processo computazionale che implica la manipolazione di simboli. Questi modelli utilizzano rappresentazioni esplicite di alto livello, come proposizioni, schemi e regole (ad esempio, istruzioni IF-THEN), per simulare processi di pensiero strutturati come il ragionamento logico, l'uso del linguaggio e la risoluzione dei problemi. Essi costituiscono la base dell'intelligenza artificiale classica, spesso definita "IA tradizionale" (GOFAI).

Il concetto fondamentale per la modellazione simbolica è l'ipotesi del sistema simbolico fisico, formulata da Newell e Simon. Essa postula che un sistema fisico (come un computer o un cervello) mostri intelligenza se e solo se è un sistema simbolico fisico. Tale sistema contiene simboli (schemi) e processi in grado di creare, modificare e combinare questi simboli in strutture complesse. Il pensiero è quindi visto come una forma di manipolazione di simboli secondo un insieme di regole.

In pratica, questi modelli spesso rappresentano un problema come uno "spazio dei problemi" contenente un insieme di stati possibili. Il modello utilizza quindi algoritmi di ricerca (come l'analisi mezzi-fini) guidati da euristiche per trovare un percorso da uno stato iniziale a uno stato obiettivo. La conoscenza è codificata e interpretabile in modo esplicito. Ad esempio, un sistema esperto per la diagnosi medica conterrebbe un ampio database di regole del tipo "SE sintomo ALLORA malattia". Questo approccio è efficace per domini logici ben definiti, ma ha difficoltà con l'ambiguità, il rumore e il riconoscimento di pattern, ambiti in cui i modelli connessionisti eccellono.

UNESCO Nomenclature: 6105
Psicologia sperimentale

Tipo

Sistema astratto

Interruzione

Fondamento

Utilizzo

Nicchia/Specializzato

Precursori

  • logica formale sviluppata da Frege, Russell e Whitehead
  • Il lavoro di Alan Turing sul calcolo e sulla macchina di Turing
  • teoria dell'informazione di Claude Shannon
  • primi sviluppi nei linguaggi di programmazione informatica

Applicazioni

  • sistemi esperti in medicina e finanza
  • il programma di risoluzione dei problemi generali (GPS)
  • sistemi di produzione come ACT-R e SOAR
  • dimostrazione automatizzata di teoremi
  • sistemi precoci di comprensione del linguaggio naturale

Brevetti:

NA

Idee e potenziali innovazioni

A causa dell'eliminazione del traffico generato dai bot, che attualmente supera i 40.000 al giorno, questo contenuto è riservato ai membri della community.
> Accedi O > Registrati L'accesso a questo contenuto, così come a tutti gli altri contenuti e strumenti riservati, è (100% gratuito).

Argomenti correlati: modellazione simbolica, ipotesi del sistema di simboli fisici, Allen Newell, Herbert A. Simon, regole di produzione, sistemi esperti, GOFAI, scienze cognitive, logica, risoluzione dei problemi.

Contesto storico

1950
1990
1990
1941
1986
1990
2000

(se la data è sconosciuta o non rilevante, ad esempio "meccanica dei fluidi", viene fornita una stima approssimativa della sua notevole comparsa)

Invenzioni, innovazioni e principi tecnici correlati

Le immagini a grandezza naturale e i download sono disponibili, 100% gratuitamente, solo per i membri registrati.

> Login <