Логика Аристотеля выводит ИИ на новый уровень

Австралийские ученые разработали терапевтические чат-боты для людей, которые испытывают трудности в общении.

В разработке участвовали исследователи из Австралийского исследовательского центра электронного здравоохранения и Университета Квинсленда. В чат-ботах задействован искусственный интеллект, который базируется на платформе OpenNars. В ее основе заложена система неаксиоматических рассуждений. Вместо вычисления на основе последовательности слов, ответы чат-бота выводятся из связок между миллиардами терминов. Фразы с низкой степенью уверенности могут быть отправлены обратно пользователю в виде вопросов (например, человеку, который спрашивает чат-бота о симптомах болезни).

Технология основана на формальной логике, которую отчасти описал Аристотель 2000 лет назад. В собрании сочинений «Органон» он задокументировал первый принцип информативного заключения из набора предпосылок. Сегодня этот процесс называют силлогизмом — рассуждение из трех атрибутивных суждений: двух посылок и одного заключения. По мнению исследователей, эта система — обязательная составляющая искусственного интеллекта. Кроме того, с ее помощью можно избежать логических парадоксов, которые часто возникают при включении естественного языка в работу машин.

Разработчики убеждены, что в будущем технология позволит добиться более естественного, глубокого и увлекательного взаимодействия между людьми и машинами. Убеждения и «личность» чат-бота будут лучше адаптированы к пользователю.

Источник: Aristotle and the chatbot: How ancient rules of logic could make artificial intelligence more human