Искусственный интеллект

3.1.7. Кванторы Когда мы имеем дело с объектами, то возникает естественная потребность выразить какие-либо общие свойства целого множества объектов. Кванторы как раз служат этим целям. Таких кванторов в логике предикатов всего два. Квантор общности V. Вспомним, что при решении задачи поиска золота в среде чудовища для того, чтобы выразить правило "В какой бы ячейке агент не находился, если он видит блеск золота, то он должен его взять", было использовано 16 однотипных формул (2.8), число которых совпадает с числом ячеек. Эти формулы имели вид *„(', j) лхс(/, у)=> г,, (3.1) хн(4, 4) л хв(4, 4) г> г,. 55 3. Логика предикатов Здесьхн(/, у), х6(/,у) — отдельные переменные. Каждая из них принимает истинное значение, если соответствующий ей объект (в данном случае агент и золото, точнее блеск золота) находится в ячейке (/, у). Обратим еще раз внимание на то, что хн(/, у) и хД/, у) — это индексированные логические переменные с индексами н, б, /, у, каждая из которых считается единым неделимым символом. Большое количество формул пришлось вводить из-за того, что в логике высказываний нет возможности представить указанное выше правило в виде одной формулы. В логике предикатов такая возможность имеется и, вместо 16 формул в логике высказываний, в логике предикатов можно написать одну: