Ciao a tutti,
mi sono appena iscrito al forum. Sapevo della sua esistenza, e penso sia il posto giusto dove fare la mia piccola ricerca.
Sto lavorando alla mia tesina per la maturità, e riguarda l'intelligenza artificiale. In particolare mi interessa mettere a confronto il metodo euristico del Logic Theorist (http://shelf1.library.cmu.edu/IMLS/Mind ... achine.pdf) e i processi mentali consci degli esseri umani durante la risoluzione di teoremi.
Ho chiesto aiuto ai docenti di fisica e di matematica della mia scuola, ma ho pensato che ampliare il campione sarebbe interessante. Anche perché non è da escludere che saltino fuori percorsi anche abbastanza diversi per ogni persona.
Se volete darmi una mano, vi sarei molto grato.
Quello che sto chiedendo è di provare a risolvere qualche piccolo teorema e, durante la risoluzione, prendere nota dei pensieri/delle sensazioni/dei metodi di scelta dei percorsi risolutivi che fate. Qualunque tipo di teorema va bene, anche se il Logic Theorist era pensato principalmente per la logica. In caso sarebbe utile anche che scriveste quale teorema (o quale proposizione) avete dimostrato.
PS: ho scelto questa sezione in quanto le altre sembravano molto più specifiche. Spero sia quella giusta!
Piccola inchiesta
Re: Piccola inchiesta
C'è questo esistente da tempo
http://olimpiadi.dm.unibo.it/downloads/cammi.pdf
http://olimpiadi.dm.unibo.it/downloads/cammi.pdf
Presidente della commissione EATO per le IGO
Re: Piccola inchiesta
Una cosa più blanda a volte la faccio anche io in alcuni post quando ho tempo... risolvo la soluzione piazzando anche un poco di pensieri su quali sono i tentativi possibili da fare. Non è al livello di quella del documento sulla risoluzione di Cesenatico allegato qui sopra (che trovo tra i più belli mai scritti per le olimpiadi, l'ho letto un annetto fa ed è stato davvero illuminante ) ma boh... è qualcosa.
Poi mi dicono dalla regia che faccio parecchio "flusso di coscienza" quando faccio le brutte alle gare... ma in effetti anche se ti scannerizzassi le brutte ci capiresti poco o nulla
p.s. in queste vacanze di Pasqua mi scelgo un problema o un teorema o qualcosa che non conosco e provando a risolverlo mi segno le idee, poi se ce la fo scrivo qui Ganza l'idea comunque
Poi mi dicono dalla regia che faccio parecchio "flusso di coscienza" quando faccio le brutte alle gare... ma in effetti anche se ti scannerizzassi le brutte ci capiresti poco o nulla
p.s. in queste vacanze di Pasqua mi scelgo un problema o un teorema o qualcosa che non conosco e provando a risolverlo mi segno le idee, poi se ce la fo scrivo qui Ganza l'idea comunque
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai
Re: Piccola inchiesta
Vi ringrazio per l'aiuto!
Il link segnalato da Il_Russo è molto interessante, in queste vacanze vedrò di trovare le linee guida del pensiero.
Intanto ho coinvolto altri professori e ho finito di studiare il LT. Spero venga qualcosa di fruibile.
Ringrazio anche te dario2994 per l'interesse
Appena inizio a tirare le somme aggiornerò il topic
Il link segnalato da Il_Russo è molto interessante, in queste vacanze vedrò di trovare le linee guida del pensiero.
Intanto ho coinvolto altri professori e ho finito di studiare il LT. Spero venga qualcosa di fruibile.
Ringrazio anche te dario2994 per l'interesse
Appena inizio a tirare le somme aggiornerò il topic
Re: Piccola inchiesta
facci sapere
impara il [tex]~\LaTeX[/tex] e mettilo da par[tex]\TeX~[/tex]
Software is like sex: it's better when it's free (Linus T.)
membro: Club Nostalgici
Non essere egoista, dona anche tu! http://fpv.hacknight.org/a8.php
Software is like sex: it's better when it's free (Linus T.)
membro: Club Nostalgici
Non essere egoista, dona anche tu! http://fpv.hacknight.org/a8.php