Introduction to Artificial Intelligence Quiz

What is another name for propositional logic?

• Modal logic

• Boolean logic

• Predicate logic

• Fuzzy logic

Which of the following is NOT a property of logical reasoning?

• Soundness

• Consistency

• Completeness

• Validity

What is the syntax of propositional logic used for?

• Defining the meaning of sentences

• Defining the entailment between sentences

• Defining the truth of each sentence

• Defining the allowable sentences

In propositional logic, what is a tautology?

• A sentence that has both true and false values

• A sentence that is always false

• A sentence that is a question or command

• A sentence that is always true

What does the semantics of a logic define?

• The truth of each sentence

• The allowable sentences

• The meaning of sentences

• The entailment between sentences

Which rule of inference states that if P implies Q and P is true, then Q must be true?

• Disjunctive Syllogism

• Hypothetical Syllogism

• Modus Tollens

• Modus Ponens

What is the purpose of model checking in AI?

• To enumerate all possible models to check the truth of a sentence

• To generate new logic from old logic

• To create valid arguments

• To check if a sentence follows logically from another sentence

What is the main goal of inference in artificial intelligence?

• To create new logic from old logic

• To generate conclusions from evidence and facts

• To define the syntax of propositional logic

• To check the truth of each sentence with respect to each possible world

Which rule of inference states that if P or Q is true, and ¬P is true, then Q must be true?

• Modus Ponens

• Modus Tollens

• Hypothetical Syllogism

• Disjunctive Syllogism

What is the purpose of the syntax of propositional logic?

• To define the truth of each sentence

• To define the allowable sentences

• To define the meaning of sentences

• To define the entailment between sentences