Question

Choose the most appropriate basic types of
inferences from the options given.
Reduction to Propositional Logic and then
manipulate rules directly
• Reduction to Propositional Logic, then apply
modus ponen
First apply modus ponen, then manipulate
rules directly
Convert rules to Horn Clause, reduce to​

Answer 1

Answer: reduction to prepostional logic and then manipulates rules directly

Explanation:

Answer 2

Choose the most appropriate basic types of

inferences from the options given.

Reduction to Propositional Logic and then

manipulate rules directly

• Reduction to Propositional Logic, then apply

modus ponen

First apply modus ponen, then manipulate

rules directly

Convert rules to Horn Clause, reduce to​

Explanation:

First apply modus ponen, then manipulate  rules directly

In artificial intelligence, intelligent computers can create new logic from old logic or through evidence. Therefore generating the conclusions from the evidence and facts is referred to as Inference.

Inference rules:

Inference rules are the frameworks for generating valid arguments.

In artificial intelligence, inference rules are applied to derive proofs, and the proof is a sequence of the conclusion that results in the desired goal.