Question 11 The set of logical statements that are taken to be axioms can be vie

Question

Question 11

The set of logical statements that are taken to be axioms can be viewed as the ____.

baseline

logic program

theorem

control statement

2 points

Question 12

Logic programming uses second-order predicate calculus.

True

False

2 points

Question 13

Horn clauses of the form ®b are sometimes referred to as ____.

queries

axioms

connectives

facts

2 points

Question 14

Automated deduction systems have difficulty handling all of first-order predicate calculus.

True

False

baseline

logic program

theorem

control statement

Explanation / Answer

ANSWER:-

Question (1) option (c) theorem

Question (2) FALSE

Question (3) option (d) facs

Question (4) TRUE

Related Questions

Navigate

• Browse (All)
• Browse Q
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.