Блоґ одного кібера

Історія хвороби контуженого інформаційним вибухом

Комп’ютери і здоровий глузд

with 4 comments

Відео, на яке за бажання можете витратити півтори годинки свого часу.

30 травня 2006 Дуглас Ленат розповідає про свій Cyc хлопцям з Google. З 1984 він з командою конструює та експериментує з базою знань та системою виведення “Cyc”. Доктор Ленат – професор комп’ютерних наук університету Карнегі-Меллон, та Стенфордського. Також консультує білий дім з питань національної безпеки (збирання даних що стосуються тероризму).

Для мене це такий собі вступ в логічний підхід до проблеми штучного інтелекту, і семантичний веб. І нагода пожаліти про те, що не зрозумів матлогіку.

Словничок

Виписав ті слова які не знав. Звісно я не знав більше, але не всі виписав:

common sense (буквально спільна, загальна рація, смисл) – здоровий глузд. Це те, з чим більшість людей погодяться, те, що більшістю людей прийнято за істину в повсякденному житті. Той, хто вживає цей термін, припускає, що йдеться про речі, які всі знають.
brittle – крихкий
savant – вчений
veneer – показний наліт. (а ще фанера, шпон, але це вже інші значення).
to reason – міркувати, думати.
relevanceРелевантність — міра відповідності отримуваного результату бажаному. В термінах пошуку — це міра відповідності результатів пошуку завданню поставленому в пошуковому запиті.
stem – стебло
stemmed – відгалужується, випливає, походить
conceive – задумати
consistency – узгодженість, логічність.
gamut – гамма, діапазон
knowledge corpus – масив знань (в лінгвістиці корпус – масив текстів, над якими проводять експерименти, наприклад на якому вчать автоматичних перекладачів)
KB – knowledge baseбаза знань
implies – випливає, тягне. A implies B перекладається в матлогіці як A -> B.
can a can can-can – чи може бляшанка танцювати канкан.
anthraxсибірка.
qua – як, в якості.
GAF – ground atomic formula – в матлогіці формула яка не містить змінних, чи підформул. Тобто про її істиннісь ми дізнаємось без звертання до додаткової інформації.
flatulenceметеоризм.
apparent – видимий
poinsettiaмолочай прекрасний. Має дрібнюсінькі маленькі квіточки, але навколо них – червоні листки, які здаються квіткою, хоча такою не є.
calculi – множина від calculus – числення.
harnessing – використання, “впрягання”.
vetting – перевірка.

Відео

Коментар

Найцікавіше те, що цю роботу почав ще Арістотель. Див. Категорії.

Хах. І справді, більшість людей вже знають, що (вода тече згори вниз), а (капелюх носять на голові). Тому це важко знайти в інтернеті. Тепер, коли я записав, можна буде. :)

to: Danbst

Ти це рано чи пізно прочитаєш, я ж тебе знаю. :) Так от, при згадці Дугласа Лената, я зустрів коментар про те, що якась людина вичитала про Cyc (як же ж воно читається? Циц?) в одній дитячій книжці 80-тих про штучний інтелект видавництва “Мир”. А я пам’ятаю, що позичав в тебе цілих три таких, і вони великою мірою вплинули на те, чим я цікавлюсь тепер. Хотілось би освіжити враження. Бо пам’ятаю тільки про фільм Трон.

P.S. Здається та книжечка й на тебе трохи вплинула.

Advertisements

Written by bunyk

Лютий 21, 2011 at 00:00

Відповідей: 4

Subscribe to comments with RSS.

  1. А мені, окрім скріншоту трона, запам’ятались ще динозаврики-алгоритмики і реалізація суматора. Так шо і на мене вплинули ті книжечки. Щоправда про Сус я там не читав, мабуть замалий був щоб помітити.

    А по темі – хз, Гугл впринципі близький до створення всесвітнього розуму, проте тільки Суса тут буде замало. Треба трішки нейронечітких логік впихнути аби зробити подобу ШІ.

    danbst

    Лютий 21, 2011 at 01:13

    • Як хоч вони називались? Може в інтернеті десь є дежавюшка?

      bunyk

      Лютий 21, 2011 at 08:35

      • Книжка та називалася, здається, “Компьютер обретает разум”, там принаймні і про Трон було, і про штучний інтелект.

        SLE

        Лютий 21, 2011 at 10:19

      • Дякую, я навіть оригінал знайшов:

        The Editors of Time-Life Books Understanding Computers: Artificial Intelligence, 1986, Time-Life Books. ISBN 0-7054-0915-5

        Питання дежавюшки залишається відкритим. 🙂

        bunyk

        Лютий 21, 2011 at 18:25


Залишити відповідь

Заповніть поля нижче або авторизуйтесь клікнувши по іконці

Лого WordPress.com

Ви коментуєте, використовуючи свій обліковий запис WordPress.com. Log Out / Змінити )

Twitter picture

Ви коментуєте, використовуючи свій обліковий запис Twitter. Log Out / Змінити )

Facebook photo

Ви коментуєте, використовуючи свій обліковий запис Facebook. Log Out / Змінити )

Google+ photo

Ви коментуєте, використовуючи свій обліковий запис Google+. Log Out / Змінити )

З’єднання з %s

%d блогерам подобається це: