LEADER 03944nam 22008415 450 001 996204581903316 005 20200701043529.0 010 $a3-319-21401-2 024 7 $a10.1007/978-3-319-21401-6 035 $a(CKB)3710000000454193 035 $a(SSID)ssj0001558445 035 $a(PQKBManifestationID)16183690 035 $a(PQKBTitleCode)TC0001558445 035 $a(PQKBWorkID)14819219 035 $a(PQKB)10836160 035 $a(DE-He213)978-3-319-21401-6 035 $a(MiAaPQ)EBC6298169 035 $a(MiAaPQ)EBC5586475 035 $a(Au-PeEL)EBL5586475 035 $a(OCoLC)915756359 035 $a(PPN)18768877X 035 $a(EXLCZ)993710000000454193 100 $a20150730d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction - CADE-25$b[electronic resource] $e25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /$fedited by Amy P. Felty, Aart Middeldorp 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXVIII, 640 p. 93 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v9195 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-21400-4 320 $aIncludes bibliographical references and index. 327 $aAutomated deduction.- Foundations -- Applications -- Implementations.- Practical experience. 330 $aThis book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. 410 0$aLecture Notes in Artificial Intelligence ;$v9195 606 $aOptical data processing 606 $aArtificial intelligence 606 $aAlgorithms 606 $aApplication software 606 $aComputers 606 $aPattern recognition 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 615 0$aOptical data processing. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 0$aApplication software. 615 0$aComputers. 615 0$aPattern recognition. 615 14$aImage Processing and Computer Vision. 615 24$aArtificial Intelligence. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputation by Abstract Devices. 615 24$aPattern Recognition. 676 $a511.36028563 702 $aFelty$b Amy P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMiddeldorp$b Aart$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996204581903316 996 $aAutomated Deduction - CADE-25$92595834 997 $aUNISA LEADER 02549nam0-2200325 --450 001 9910842994903321 005 20240409155743.0 010 $a978-88-503-3675-3 100 $a20240409d2023----kmuy0itay5050 ba 101 1 $aita$ceng 102 $aIT 105 $ay 001yy 200 1 $aIo, umano$eAI, automazione e il tentativo di recuperare quello che ci rende unici$fTomas Chamorro-Premuzic 210 $aMilano$cApogeo$d2023 215 $aXI, 146 p.$d22 cm 300 $aTrad. di Virginio B. Sala 300 $aDisponibile anche in ebook 320 $aContiene riferimenti bibl. (pp. 121-138) 330 $aL'intelligenza artificiale migliorerà i nostri comportamenti e abitudini o li renderà più alienanti? Non è un segreto, gli algoritmi di AI stanno cambiando il nostro modo di vivere, lavorare, amare, divertirci. Le app di incontri usano l'intelligenza artificiale per selezionare partner potenziali, le aziende per predire i desideri e i comportamenti di acquisto, ma anche per valutare i candidati per una nuova posizione e decidere se assumere o meno. Nelle reti sociali, quindi, operano bot basati su AI in grado di generare fake news con lo scopo di convincerci forzatamente di qualcosa. È solo l'inizio. Man mano che l'intelligenza artificiale evolve e acquisisce capacità sempre più umane, la nostra società, ma soprattutto la nostra umanità vanno verso cambiamenti di portata paragonabile a quelli che hanno vissuto i popoli preistorici durante il passaggio a una società agricola. Alcuni di questi cambiamenti possono migliorarci, altri invece possono deumanizzarci rendendoci più simili a una macchina nella nostra vita relazionale. Sta a noi decidere se e come questo succederà. Questo libro è una guida per reclamare la nostra umanità in un mondo in cui molte delle nostre decisioni sono prese per noi. Per farlo, dovremo fare perno su ciò che ci rende speciali - la curiosità, la capacità di adattamento, l'intelligenza emotiva - e tornare a mettere l'accento su virtù oggi trascurate come l'empatia, l'umiltà e l'autocontrollo. Affascinante e pragmatico, Io, umano è il libro di cui abbiamo bisogno oggi per affrontare il domani. 610 0 $aIntelligenza artificiale$aAspetti sociali 676 $a006.3$v23$zita 700 1$aChamorro-Premuzic,$bTomas$0938825 702 1$aSala,$bVirginio B. 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910842994903321 952 $aSOC 380$b1583/2024$fFSPBC 959 $aFSPBC 996 $aIo, umano$94150102 997 $aUNINA