Следуя моему предыдущему сообщению в блоге Высокоуровневый обзор вероятностной программной логики , мы рассмотрим суть PSL. Примеры правил (атомов), которые мы обсуждали в предыдущем блоге, состоят из переменных и имеют обобщенный формат. E.g. 2.0: Имя (A, имя_A) и имя (B, имя_B) и подобное (имя_A, имя_B) → samePerson (A, B) Следовательно, мы называем эти правила «снятыми правилами». Если вы помните, что означает заземление, мы можем повторить и упомянуть, что эти правила еще не..