Prepositional Inference in Artificial Intelligence
Let’s start with quantifiers that are universal. Assume we have in our knowledge base the conventional folklore axiom that All Greedy Kings Are Bad:
Then it appears that inferring any of the following sentences is perfectly acceptable:
Universal Instantiation
The Universal Instantiation (UI) rule states that by replacing a ground word (a term without variables) for the variable, we can infer any sentence. We employ the notion of replacements to formalize the inference rule. Let denote the result of putting the substitution to work on the sentence . The rule is then expressed as \frac{\forall v \alpha}{\operatorname{SUBST}(\{v / g\}, \alpha)}.
For every variable and ground term . For example, the substitutions
get the three phrases shown above.
Existential Instantiation
The variable is substituted by a single new constant symbol in the Existential Instantiation rule. In the knowledge base , for any sentence, variable v, and constant symbol k that does not appear elsewhere
For example, if does not appear elsewhere in the knowledge base, we can infer the sentence from the sentence \text { Crown }\left(C_{1}\right) \wedge \text { OnHead }\left(C_{1}, J o h n\right). Essentially, an existential sentence states that some item satisfies a condition, and the existential instantiation rule simply names that object. Of course, that name can’t be used for another object. Consider the following scenario: assume we uncover a number that is slightly larger than 2.71828 and fulfils the equation for x. We can give this number a name, such as , but giving it the name of an existent object, such as, would be a mistake. The new name is known as a Skolem constant in logic. Existential Instantiation is a subset of the broader skolemization process. Existential instantiation is a special case of Skolemization process.
Unlike Universal Instantiation, which can be used multiple times to yield a variety of results, Existential Instantiation can only be used once and then the existentially quantified statement can be deleted. For example, once we’ve inserted the sentence , we don’t require . The new knowledge base is not strictly speaking logically equivalent to the old, but it can be proved to be inferentially identical in the sense that it is satisfiable exactly when the old knowledge base is satisfiable.
Contact Us