Last updated Unknown

Status: Tags: Links: Logic Inference

Computerized Logic Inference

• Convert premises into CNF
• Convert negation of conclusion into CNF
• Consider collection of all clauses in CNFs
• Use Rule of Resolution to obtain empty clause. If possible, valid. Otherwise, no.

Example 6-14

Backlinks

1

list from Computerized Logic Inference AND !outgoing(Computerized Logic Inference)

References:

Created:: 2021-09-23 09:07