0 votes
in Artificial Intelligence by
The process of capturing the inference process as Single Inference Rule is known as:

a) Clauses

b) Ponens

c) Generalized Modus Ponens

d) Variables

1 Answer

0 votes
by

c. Generalized Modus Ponens

Explanation: For all inference process in FOL, the single inference rule can be used, which is called Generalized Modus Ponens. It is said to be the lifted version of Modus ponens.

Generalized Modus Ponens can be said as, " P implies Q and P is asserted to be true, therefore Q must be True."

Related questions

0 votes
asked Oct 21, 2021 in Artificial Intelligence by DavidAnderson
+1 vote
asked Oct 23, 2021 in Cyber Security by john ganales
...