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

25 2. Логические рассуждения Иначе говоря, интерпретация определяет семантику формул (предложений, высказываний) путем сопоставления переменных в формулах со свойствами объектов среды, а отношений между этими свойствами — с формулами. Это позволяет по значению формул после подстановки вместо переменных конкретных значений свойств судить о наличии или отсутствии у среды тех или иных совокупных свойств или отношений. Если дана какая-либо формула, то подстановка в формулу констант вместо ее переменных называется конкретизацией. Таким образом конкретизация является результатом интерпретации. Замечательным свойством логики высказываний является то, что семантика ее простейших формул, т.е. их истинностные значения (И или Л) близки к соответствующим высказываниям на естественном языке при любой интерпретации. Так, например, если формула включает только одну связку, то ее семантика очень близка к соответствующим высказываниям в русском языке. Так семантика формул х v у, х л у, -• х, в которых встречаются соответственно связки л, v, -1, практически совпадает с отношениями, определяемыми соответственно смыслом слов «и», «или», «не», употребляемых в русском языке для выражения отношений между свойствами объектов, обозначаемых переменными х, у, хотя некоторые различия имеются. Например, формула х v у имеет истинное значение, если хотя бы одна переменная истинна, но она истинна и при истинности обеих переменных. Говоря на русском языке «х или у», обычно предполагаем, что это предложение истинно, если истинна только одна переменная, т.е. это предложение русского языка по смыслу ближе к формуле логики высказываний xv-,y\/-,x\/y.