Artificial Intelligence Mock Test 5

10%

Question 1 of 10

1. What are the two basic types of inferences?

Apply modus ponen, Manipulate rules directly

Convert every rule to Horn Clause, Reduction to propositional logic

Reduction to propositional logic, Manipulate rules directly

Reduction to propositional logic, Apply modus ponen

Question 1 of 10

Question 2 of 10

2. An expert system is a computer program that contains some of the subject-specific knowledge of one or more human experts.

True

False

Question 2 of 10

Question 3 of 10

3. Which closely resembles propositional definite clause?

Inference

First-order definite clauses

Resolution

Conjunction

Question 3 of 10

Question 4 of 10

4. At which state does the propositional literals are complementary?

All of the mentioned

None of the mentioned

If one variable is less

If one is the negation of the other

Question 4 of 10

Question 5 of 10

5. The adjective "first-order" distinguishes first-order logic from ___________ in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.

Representational Adequacy

Inferential Efficiency

Higher Order Logic

Representational Verification

Question 5 of 10

Question 6 of 10

6. How many possible sources of complexity are there in forward chaining?

Question 6 of 10

Question 7 of 10

7. Lifted inference rules require finding substitutions that make different logical expressions looks identical.

Existential Instantiation

Universal Instantiation

Unification

Modus Ponen

Question 7 of 10

Question 8 of 10

8. How the logic programming can be constructed?

Expressing knowledge in a formal language

Graph

Variables

All of the mentioned

Question 8 of 10

Question 9 of 10

9. Which is not Familiar Connectives in First Order Logic?

not

iff

and

Question 9 of 10

Question 10 of 10

10. Which is not a property of representation of knowledge?

Inferential Efficiency

Inferential Adequacy

Representational Verification

Representational Adequacy

Question 10 of 10