Ahhoz, hogy igazán használni lehessen a mesterséges intelligenciát, bizonyítanunk kell majd azt, hogy konzisztens (azaz minden állításhoz jár bizonyítás, hogy igaz vagy hamis, vagy ha nem, akkor eldönthetetlennek mondjuk). Szerintem elég nehéz lesz ezt megcsinálni a jelenlegi architektúrákkal, de rögtön megoldódik a probléma, ha egy konzisztens rendszer (mondjuk egy logikai programozási nyelv) használatára tanítjuk és azon keresztül kell majd kommunikáljon. Persze, generálhat mondatokat, de kell hozzá prolog bizonyítás is. Szerencsére általános tanuló, úgyhogy a prologot pont annyira meg tudja tanulni, mint az emberi nyelvet. Sőt, a prolog mellett a bizonyítás unifikációs lépéseinek heurisztikáját is meg tudja majd tanulni. Szerencsére a logikában, ami most hiányzik a rendszerekből, van 2500 éves tapasztalata az emberiségnek és bár csak egy kis hányada uralja, az éppen elég lesz szerintem.
Egyébként mit nehezebb megtanulni, a szinusz függvényt zajos adatokból, vagy azt, hogy hol érdemes használni a beépített szinusz függvényt? Mert szerintem az univerzum tele van szinusz függvényekkel.
Demó.
Zene. Zene. Zene (+AI vidió). Grieg.
AI.
Nincsenek megjegyzések:
Megjegyzés küldése