Artificial Intelligence – Logic of the predicates

Artificial Intelligence – Logic of the predicates

The logic of the predicates is used to determine the validity of propositions, given some premises.

UNDECIDABLE

The logic of the predicates is undecidable because there is no algorithm that always allows to determine whether a proposition follows logically from a set of given propositions.

METHODS

There are two methods that work properly if the proposition follows logically:

  • natural deduction
    It starts from the beginning and does substitutions to see whether its possibile to arrive at the goals, or not.
  • resolution method
    It starts from the end (the goal) and sees if it’s possible to proceed backward.

Leave a Reply

Your email address will not be published. Required fields are marked *