Question 20 Nonmonotonic reasoning is that adding information to a system can __

Question

Question 20

Nonmonotonic reasoning is that adding information to a system can ____.

decrease the complexity

alter the previous information

change the order of execution

reduce the number of things that can be proved

2 points

Question 21

____ Prolog was used as the basis for the Prolog ISO standard.

Resolution

Horn

Unification

Edinburgh

2 points

Question 22

The process of unification can be used to shorten clauses.

True

False

2 points

Question 23

Prolog completely satisfies the original goal of logic programming.

True

False

2 points

Question 24

The specific path that an automatic deduction system chooses to derive a statement is the ____ for a logic programming system.

axiom

theorem

control problem

deductive database

decrease the complexity

alter the previous information

change the order of execution

reduce the number of things that can be proved

Explanation / Answer

20.

Nonmonotonic reasoning is that adding information to a system can reduce the number of things that can be proved.

Option 4 correct

21.

Option 3 correct

Unification Prolog was used as the basis for the Prolog ISO standard.

22.

True

The process of unification can be used to shorten clauses.

23.

False

Prolog not completely satisfies the original goal of logic programming.

24.

Option 3 correct

The specific path that an automatic deduction system chooses to derive a statement is the control problem for a logic programming system.

Related Questions

Navigate

• Browse (All)
• Browse Q
• Subjects

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