Нормы можно рассматривать с разных точек зрения в искусственном интеллекте для создания компьютеров и компьютерного программного обеспечения, способных к разумному поведению.
В искусственном интеллекте и праве юридические нормы рассматриваются в вычислительных инструментах, чтобы автоматически их обосновывать. В многоагентных системах (MAS), ветвлении искусственного интеллекта (AI), норма - это руководство для общего поведения агентов, тем самым облегчая их принятие решений, координацию и организацию.
Поскольку большинство проблем, касающихся регулирования взаимодействия автономных агентов, связаны с проблемами, традиционно рассматриваемыми в юридических исследованиях, и поскольку право является наиболее распространенной и развитой нормативной системой, усилия по учету норм в искусственном интеллекте и праве, а также в нормативных многоагентных системах часто перекрываются.
Искусственный интеллект и право
С появлением компьютерных приложений в правовой сфере, и особенно применения к ней искусственного интеллекта, логика стала использоваться в качестве основного инструмента для формализации юридических рассуждений и получила развитие во многих направлениях, от деонтической логики до формальных систем аргументации.
База знаний систем правового обоснования обычно включает правовые нормы (такие как правительственные постановления и контракты), и, как следствие, правовые нормы являются центром представления знаний и подходов к обоснованию для автоматизации и решения сложных юридических задач. Правовые нормы обычно представлены в формализме, основанном на логике, например в деонтической логике.
Искусственный интеллект и юридические приложения, использующие явное представление норм, варьируются от проверки соответствия бизнес-процессов и автоматического исполнения смарт-контрактов до юридических экспертных систем, консультирующих людей по правовым вопросам.
Многоагентные системы
Нормы в многоагентных системах могут появляться с разной степенью ясности, начиная от полностью однозначных письменных предписаний до неявных неписаных норм или неявных возникающих шаблонов. Исследования компьютерных ученых отражают эту полярность. Явные нормы обычно исследуются в формальной логике (например, деонтической логике и аргументации), чтобы представить и обосновать их, что в конечном итоге приводит к архитектуре для когнитивных агентов, в то время как неявные нормы рассматриваются как шаблоны, возникающие в результате повторяющихся взаимодействий между агентами (обычно агенты усиленного обучения ).
Явные нормы обычно представлены как деонтическое утверждение, направленное на регулирование жизни программных агентов и взаимодействия между ними. Это может быть обязательство, разрешение или запрет, и часто оно представлено на каком-то диалекте или расширении деонтической логики . Напротив, имплицитные нормы - это социальные нормы, которые не записаны, и они обычно возникают в результате повторяющихся взаимодействий агентов.