Home > Artificial Intelligence > Quizzes > Artificial Intelligence Practice Test Questions: Logical Agents
Artificial Intelligence Practice Test Questions: Logical Agents
Fast practice, instant feedback. Timer auto-submits when time’s up.
Avg score: 83% Most missed: “Which will solve the conjuncts of the rule so that the total cost is minimized?”

A logical agent works by deducing what to do given a knowledge base of words about the world.

Topics include: First-Order Logic, Propositional Logic, Resolution, Forward Chaining, & Backward Chaining.

 

Artificial Intelligence Practice Test Questions: Logical Agents
Time left 00:00
25 Questions

1. The statement comprising the limitations of FOL is/are ____________
2. What is the condition of literals in variables?
3. Which problem can frequently occur in backward chaining algorithm?
4. How many possible sources of complexity are there in forward chaining?
5. What kind of clauses are available in Conjunctive Normal Form?
6. What will happen if two literals are identical?
7. What is meant by factoring?
8. When the resolution is called as refutation-complete?
9. There exist only two types of quantifiers, Universal Quantification and Existential Quantification.
10. From where did the new fact inferred on new iteration is derived?
11. Which is created by using single propositional symbol?
12. A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).
13. Which is also called single inference rule?
14. Which is mainly used for automated reasoning?
15. Which form is called as a conjunction of disjunction of literals?
16. Which rule is equal to the resolution rule of first-order clauses?
17. How many logical connectives are there in artificial intelligence?
18. What can be viewed as a single lateral of disjunction?
19. Which is a refutation complete inference procedure for propositional logic?
20. Which knowledge base is called as fixed point?
21. 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.
22. How to eliminate the redundant rule matching attempts in the forward chaining?
23. Which are needed to compute the logical inference algorithm?
24. Which algorithm are in more similar to backward chaining algorithm?
25. Many-sorted Logic: Ordinary first-order interpretations have a single domain of discourse over which all quantifiers range. Many-sorted first-order logic allows variables to have different sorts, which have different domains.
A common convention is:
- is evaluated first
• and are evaluated next
- Quantifiers are evaluated next
- is evaluated last.