Propositional and First Order Logic Questions and Answers

Q: What is the overall place of logic in artificial intelligence today?

Logic underpins verification, planning, database query, description logic reasoning and every application requiring an auditable derivation, while learned methods dominate perception and language. It is neither universal nor obsolete. Judging a tradition by the niches where its properties are indispensable, rather than by its share of attention, gives a fairer and more useful picture of where it should be reached for.

Q: In the following knowledge representation using first order logic ∀ person Indian (person) ^ know (person, English) ⇒ [Mother tongue (person, lang) ^ hate (person, lang)], the number of predicates and variables are respectively :

There are 4 predicates and 2 variables.The predicates are the relation symbols applied to arguments:Indian(person)know(person, English)Mother tongue(person, lang)hate(person, lang)That makes 4. The variables are person and lang, so 2. English is a constant, not a variable, because it names one particular language.Counting English as a variable gives 3 (option B), and counting the quantifier or the implication as a predicate gives 5; neither is right.

101.

What is the overall place of logic in artificial intelligence today?

A.A foundation for verification, planning and explanation rather than a universal method
B.The dominant technique for every application in the field
C.A historical approach with no remaining practical uses
D.A method used only for reasoning about mathematics itself

Answer: A

Logic underpins verification, planning, database query, description logic reasoning and every application requiring an auditable derivation, while learned methods dominate perception and language. It is neither universal nor obsolete. Judging a tradition by the niches where its properties are indispensable, rather than by its share of attention, gives a fairer and more useful picture of where it should be reached for.

Discuss in Forum

102.

In the following knowledge representation using first order logic ∀ person Indian (person) ^ know (person, English) ⇒ [Mother tongue (person, lang) ^ hate (person, lang)], the number of predicates and variables are respectively :

A.4, 2
B.4, 3
C.3, 4
D.5, 2

Exam Year(s)

MH SET - 2023, SET Exam - 2023,

Answer: A

There are 4 predicates and 2 variables.

The predicates are the relation symbols applied to arguments:

Indian(person)
know(person, English)
Mother tongue(person, lang)
hate(person, lang)

That makes 4. The variables are person and lang, so 2. English is a constant, not a variable, because it names one particular language.

Counting English as a variable gives 3 (option B), and counting the quantifier or the implication as a predicate gives 5; neither is right.

Discuss in Forum

103.

Which of the following is true related to satisfiable property ?

A.A statement is satisfiable if there is some interpretation for which it is false
B.A statement is satisfiable if some interpretation for which it is true
C.A statement is satisfiable if there is no interpretation for which it is true
D.A statement is satisfiable if there is no interpretation for which it is false

Exam Year(s)

MH SET - 2025, SET Exam - 2025,

Answer: B

A statement is satisfiable if there is some interpretation for which it is true.

In logic, an interpretation assigns truth values (or meanings) to the symbols. A formula is satisfiable if at least one interpretation makes it true, valid if every interpretation makes it true, and unsatisfiable if none does.

Having some interpretation in which it is false makes a formula not valid. No interpretation making it true is unsatisfiability, and no interpretation making it false is validity.

Discuss in Forum

Loading…

Topics

Other Subjects

Tags: Propositional and First Order Logic Questions and Answers || Propositional and First Order Logic MCQ Questions and Answers || Propositional and First Order Logic GK Questions and Answers || Propositional and First Order Logic GK MCQ Questions || Propositional and First Order Logic Multiple Choice Questions and Answers || Propositional and First Order Logic GK || GK on Propositional and First Order Logic || Artificial Intelligence Questions and Answers || Artificial Intelligence MCQ Questions and Answers || Artificial Intelligence GK Questions and Answers || GK on Artificial Intelligence

Propositional and First Order Logic Questions and Answers

Topics

Other Subjects

About Us

Stay informed about all important Dates & Notifications