Web anvari.org
Anvari.Org
» Anvari.Org

An interpretation I satisfies a sentence in the table language if and only if each entry in the table designates the value of the function designated by the function constant in the upper-left corner applied to the objects designated by the corresponding row and column labels.

An interpretation I satisfies a sentence in the table language if and only if
each entry in the table designates the value of the function designated by the
function constant in the upper-left corner applied to the objects designated
by the corresponding row and column labels.
-- Genesereth & Nilsson, "Logical foundations of Artificial
Intelligence"

Related:

From the same category:




Retrieved from http://www.anvari.org/fortune/Miscellaneous_Collections/376244_an-interpretation-i-satisfies-a-sentence-in-the-table-language-if-and-only-if-each-entry-in-the-table-designates-the-value-of-the-function-designated-by-the-function-constant-in-the-upper-left-corner-applied-to-the-objects-designated-by-the-corresponding-row-and-column-labels.html