Проблема здорового глузду (штучний інтелект)
У дослідженні штучного інтелекту здоровий глузд складається з фактів про повсякденний світ, таких як «Лимони кислі», «Вода мокра», «Лід холодний», що всі люди повинні знати. Першою програмою штучного інтелекту, яка займалася знанням про здоровий глузд, була Advice taker[en] створена 1959 року Джоном Маккарті[1].
На даний момент, це невирішена проблема, що безпосередньо стосується сильного штучного інтелекту. Створення сильного штучного інтелекту є основою діяльності Інституту Аллена з питань штучного інтелекту[en][2]. Здоровий глузд може підкріпити міркування здорового глузду — можливість робити висновки, такі як «Ви можете спекти торт, тому що ви хочете, щоб люди їли торт». Процес обробки природної мови може бути приєднаний до бази знань здорового глузду, щоб дати базі знань можливість відповісти на загальні запитання про світ[3]. Здоровий глузд також допомагає вирішувати проблеми неповноти інформації. Спираючись на поширені переконання щодо предметів повсякденного життя, або здоровий глузд, системи штучного інтелекту створюють припущення про здоровий глузд або припущення за замовчуванням про невідоме, подібно до того, як це роблять люди. Простими словами це виражається як «Зазвичай P вірно», «Зазвичай P» або «Типово P отже вважатимемо P». Наприклад, якщо ми знаємо, що «Аркадій — птах» і загальновідомий факт — «зазвичай птахи літають», не знаючи нічого іншого про Аркадія, ми з певним ступенем впевненості можемо стверджувати, що «Аркадій може літати». Зважаючи на те, що знання про навколишній світ постійно оновлюються, а старі можуть ставати неактуальними, система штучного інтелекту може переглядати свої попередні припущення про навколишні об'єкти. Це досягається шляхом аналізу попередніх припущень (або reason maintenance[en]). Наприклад, через деякий час система вивчає, що існують птахи, які не вміють літати, як то наприклад птахи Ківі, а також те, що «Аркадій — птах Ківі». Зважаючи на це, шляхом аналізу попередніх припущень, отримаємо «Аркадій не може літати».
Розсуд імітує здатність людини робити припущення про тип і сутність буденних ситуацій, з якими вони стикаються щодня, включаючи час або періодичність явища, відсутність інформації про нього або її неповноту, причини і наслідки цього явища. Здатність пояснювати причини і наслідки є важливим аспектом штучного інтелекту, здатного аргументувати (підкріплювати) свої рішення логічними доводами (пояснювальний штучний інтелект або англ. XAI).
Порівняно з людьми, усі існуючі комп'ютерні програми, що мають на меті наближення до штучного інтелекту людського рівня (сильного штучного інтелекту), досі демонструють доволі слабкі результати. Наприклад, тест Winograd Schema Challenge[en][4]. Досягнення програмами штучного інтелекту рівня наближеного до людського у питаннях здорового глузду вважається еквівалентним проблемі створення сильного штучного інтелекту[5][6]. Проте, деякі виступають проти цього поняття і вважають, що співчутливий інтелект також необхідний для створення штучного інтелекту людського рівня.[1] Міркування здорового глузду успішно застосовуються в більш обмежених областях, таких як автоматизований діагноз[7] або аналіз[8].
Близько 2013 року дослідники MIT розробили BullySpace, розширення розумної бази знань ConceptNet[en] для пошуку коментарів з негативним емоційним забарвленням у соціальних медіа. BullySpace містив понад 200 семантичних тверджень, заснованих на стереотипах, щоб допомогти системі зробити висновок, що коментарі, такі як «Покладіть перуку і помаду і будьте тим, ким Ви є насправді», скоріше, будуть образою, якщо вони спрямовані на хлопчика, ніж на дівчину.[9][10][11]
ConceptNet також використовується у чат-ботах[12] та комп'ютерами, що створюють вигадані історії.[13] У Ліверморській національній лабораторії, здоровий глузд був використаний у програмному агенті для виявлення порушень договору про всеосяжну заборону ядерних випробувань.[14]
Як приклад, з 2012 року ConceptNet включає в себе ці 21 мовно-незалежні відносини:[15]
- IsA (укр. Є)
- UsedFor (укр. Використовується для)
- HasA (укр. Має)
- CapableOf (укр. Здатний на)
- Desires (укр. Бажає)
- CreatedBy (укр. Створений кимось/чимось)
- PartOf (укр. Частина чогось)
- Causes (укр. Спричиняє)
- LocatedNear (укр. Знаходиться біля)
- AtLocation (укр. На позиції)
- DefinedAs (укр. Визначається як)
- SymbolOf (укр. Є символом)
- ReceivesAction (укр. Відчуває на собі дію)
- HasPrerequisite (укр. Має передумову)
- MotivatedByGoal (укр. Вмотивований метою)
- CausesDesire (укр. Спричиняє бажання)
- MadeOf (укр. Зроблений(складається) з)
- HasFirstSubevent (укр. Має першу ознаку)
- HasSubevent (укр. Має ознаку (підподію))
- HasLastSubevent (укр. Має останню ознаку)
- Cyc
- Open Mind Common Sense[en] (джерело даних) і ConceptNet[en] (сховище даних і рушій обробки природної мови)
- Mindpixel[en]
- True Knowledge[en]
- DBpedia
- Graphiq[en]
- Здоровий глузд
- Міркування здорового глузду
- Пов'язані дані[en] та семантичний веб
- Логіка за замовчанням[en]
- Аналіз попередніх припущень[en]
- Онтологія
- Сильний штучний інтелект
- ↑ PROGRAMS WITH COMMON SENSE. www-formal.stanford.edu. Процитовано 11 квітня 2018.
- ↑ Allen Institute for Artificial Intelligence to Pursue Common Sense for AI | Paul Allen. Paul Allen (амер.). Архів оригіналу за 12 квітня 2018. Процитовано 11 квітня 2018.
- ↑ Liu, Hugo, and Push Singh. «ConceptNet—a practical commonsense reasoning tool-kit.» BT technology journal 22.4 (2004): 211—226.
- ↑ The Winograd Schema Challenge. cs.nyu.edu. Процитовано 9 січня 2018.
- ↑ Yampolskiy, Roman V. «AI-Complete, AI-Hard, or AI-Easy-Classification of Problems in AI.» MAICS. 2012.
- ↑ Andrich, C, Novosel, L, and Hrnkas, B. (2009). Common Sense Knowledge [Архівовано 9 січня 2018 у Wayback Machine.]. Information Search and Retrieval, 2009.
- ↑ Reiter, Raymond (1 квітня 1987). A theory of diagnosis from first principles. Artificial Intelligence (англ.). 32 (1): 57—95. doi:10.1016/0004-3702(87)90062-2. ISSN 0004-3702.
- ↑ Gallimore, R.J.; Jennings, N.R.; Lamba, H.S.; Mason, C.L.; Orenstein, B.J. (1999). Cooperating agents for 3-D scientific data interpretation - IEEE Journals & Magazine. IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews) (амер.). 29: 110—126. doi:10.1109/5326.740674.
- ↑ Bazelon, Emily (March 2013). How to Stop the Bullies. The Atlantic. Процитовано 9 січня 2018.
- ↑ Dinakar, Karthik; Jones, Birago; Havasi, Catherine; Lieberman, Henry; Picard, Rosalind (1 вересня 2012). Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying. ACM Transactions on Interactive Intelligent Systems. 2 (3): 1—30. doi:10.1145/2362394.2362400.
- ↑ AI systems could fight cyberbullying. New Scientist. 27 червня 2012. Процитовано 9 січня 2018.
- ↑ 'I Believe That It Will Become Perfectly Normal for People to Have Sex With Robots'. Newsweek (англ.). 23 жовтня 2014. Процитовано 9 січня 2018.
- ↑ Told by a robot: Fiction by storytelling computers. New Scientist. 24 жовтня 2014. Процитовано 9 січня 2018.
- ↑ Mason, C.L. (1995). An intelligent assistant for nuclear test ban treaty verification - IEEE Journals & Magazine. IEEE Expert (амер.). 10 (6): 42—49. doi:10.1109/64.483116.
- ↑ Speer, Robert, and Catherine Havasi. «Representing General Relational Knowledge in ConceptNet 5.» LREC. 2012.