Следующий этап состоит в том, чтобы определить правила логического вывода для логических агентов. Например, может потребоваться сформулировать утверждение, что любой логический агент способен использовать правило отделения: если он уверен в истинности высказываний, то он будет также уверен в истинности g Первая попытка записать эту аксиому может состоять в следующем:

Но эта попытка неудачна, поскольку строка содержит буквы ' р' и 'q', но не имеет ничего общего со строками, являющимися значениями переменных ρ и д. Правильная формулировка состоит в следующем:

где Concat— функция на строках, которая соединяет (конкатенирует) свои параметры. Мы будем сокращенно записывать операцию с помощью подчеркивания, как. Это означает, что вхождениев строке должно быть взятым без кавычек, или раскавыченным, т.е. мы должны подставить строковое значение переменной х. В языке Lisp такая операция выполняется с помощью оператора "запятая/обратная кавычка", а в языке Perl для этого используется интерполяция $-переменной.

После введения других правил логического вывода, кроме правила отделения, мы получим возможность отвечать на вопросы в такой форме: "Если дано, что логический агент знает такие-то предпосылки, может ли он прийти к такому-то заключению?" Кроме этих обычных правил логического вывода, требуются определенные правила, характерные для рассуждений об убеждениях. Например, следующее правило утверждает, что если логический агент в чем-то уверен, то он уверен, что он в этом уверен:

Теперь, согласно нашим аксиомам, любой агент может безошибочно вывести любое следствие из своих убеждений. Такое свойство агента называется логическим всеведением (logical omniscience). Было сделано много попыток определить спецификации ограниченных рациональных агентов, которые способны выполнять ограниченное количество логических выводов за ограниченное время. Ни одна из этих попыток не оказалась полностью успешной, но описанные выше формулировки позволяют получить в высшей степени обоснованный ряд предсказаний о возможностях ограниченных агентов.