Logical Agents: The Idea is that an Agent can Represent Knowledge of its World, its Goals and the Current Situation

This is a computer science engineering quiz on Artificial Intelligence, which includes questions on Logical agents, the idea behind the logical agent, its goals, etc.

Start Quiz

There exist only two types of quantifiers, Universal Quantification and Existential Quantification.

True False

A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

Deductive Systems Inductive Systems Reasoning with Knowledge Based Systems Search Based Systems

The statement comprising the limitations of FOL is/are ____________

Expressiveness Formalizing Natural Languages Many-sorted Logic All of the mentioned

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 Verification Representational Adequacy Higher Order Logic Inferential Efficiency

First Order Logic is also known as ___________

First Order Predicate Calculus Quantification Theory Lower Order Calculus All of the mentioned

Which condition is used to cease the growth of forward chaining?

Atomic sentences Complex sentences No further inference All of the mentioned

Which closely resembles propositional definite clause?

Resolution Inference Conjunction First-order definite clauses

What is the condition of variables in first-order literals?

Existentially quantified Universally quantified Both Existentially & Universally quantified None of the mentioned

Which are more suitable normal form to be used with definite clause?

Positive literal Negative literal Generalized modus ponens Neutral literal

Which will be the instance of the class datalog knowledge bases?

Variables No function symbols First-order definite clauses None of the mentioned

Which knowledge base is called as fixed point?

First-order definite clause are similar to propositional forward chaining First-order definite clause are mismatch to propositional forward chaining All of the mentioned None of the mentioned

How to eliminate the redundant rule matching attempts in the forward chaining?

Decremental forward chaining Incremental forward chaining Data complexity None of the mentioned

From where did the new fact inferred on new iteration is derived?

Old fact Narrow fact New fact All of the mentioned

Which will solve the conjuncts of the rule so that the total cost is minimized?

Constraint variable Conjunct ordering Data complexity All of the mentioned

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

1 2 3 4

Quiz/Test Summary

Title: Logical Agents: The Idea is that an Agent can Represent Knowledge of its World, its Goals and the Current Situation

Questions: 15

Contributed by: