Mock Quiz Hub

Mock Quiz Hub

Recent Updates
Added: OS Mid 1 Quiz
Added: OS Mid 2 Quiz
Added: OS Lab 1 Quiz
Time: 00:00

Quiz

Navigate through questions using the controls below

0%
Question 1 of 60 Quiz ID: q1
What is the primary ontological commitment of First-Order Logic (FOL) that distinguishes it from propositional logic?
Question 2 of 60 Quiz ID: q2
Which of the following is an example of a unary relation in FOL?
Question 3 of 60 Quiz ID: q3
In FOL, what does the epistemological commitment regarding a fact allow?
Question 4 of 60 Quiz ID: q4
According to the provided table, which language has an ontological commitment that includes 'facts with degree of truth'?
Question 5 of 60 Quiz ID: q5
In a model for FOL, what is a 'domain'?
Question 6 of 60 Quiz ID: q6
What is the role of an 'intended interpretation' in FOL?
Question 7 of 60 Quiz ID: q7
Which of the following is NOT a basic syntactic element of FOL?
Question 8 of 60 Quiz ID: q8
What is a 'Term' in FOL?
Question 9 of 60 Quiz ID: q9
Which of these is an example of an atomic sentence?
Question 10 of 60 Quiz ID: q10
What is the primary purpose of quantifiers in FOL?
Question 11 of 60 Quiz ID: q11
How is the universal quantification '∀x At(x, UoM) ⇒ Smart(x)' correctly interpreted?
Question 12 of 60 Quiz ID: q12
What is the common mistake when using the universal quantifier?
Question 13 of 60 Quiz ID: q13
How is the existential quantification '∃x At(x, UoM) ∧ Smart(x)' correctly interpreted?
Question 14 of 60 Quiz ID: q14
Why is '∃x At(x, UoM) ⇒ Smart(x)' a potentially problematic sentence?
Question 15 of 60 Quiz ID: q15
Which of the following statements about quantifier order is TRUE?
Question 16 of 60 Quiz ID: q16
What is the meaning of '∃x ∀y Loves(x,y)'?
Question 17 of 60 Quiz ID: q17
What is the meaning of '∀y ∃x Loves(x,y)'?
Question 18 of 60 Quiz ID: q18
According to De Morgan's rules for quantifiers, which is equivalent to ¬∀x P?
Question 19 of 60 Quiz ID: q19
Which of the following correctly expresses that everyone likes ice cream using an existential quantifier and negation?
Question 20 of 60 Quiz ID: q20
In FOL, when is the equality statement 'term1 = term2' true?
Question 21 of 60 Quiz ID: q21
How might FOL's equality be used to define that two people are siblings?
Question 22 of 60 Quiz ID: q22
In the context of a Knowledge Base (KB), what is the purpose of the TELL operation?
Question 23 of 60 Quiz ID: q23
What does ASK(KB, ∃x Person(x)) typically return?
Question 24 of 60 Quiz ID: q24
In the royal kinship domain, which predicate would most likely be a unary predicate?
Question 25 of 60 Quiz ID: q25
What is the purpose of an 'axiom' in a knowledge base?
Question 26 of 60 Quiz ID: q26
Which axiom correctly defines a mother?
Question 27 of 60 Quiz ID: q27
The axiom ∀p, c Parent(p, c) ⇔ Child(c, p) illustrates what kind of relationship?
Question 28 of 60 Quiz ID: q28
What is a 'theorem' in the context of a logical knowledge base?
Question 29 of 60 Quiz ID: q29
Which of the following is likely a theorem derived from other axioms about siblings?
Question 30 of 60 Quiz ID: q30
What is a key expressive advantage of FOL over propositional logic?
Question 31 of 60 Quiz ID: q31
Which symbol in FOL is used to represent a specific, named object?
Question 32 of 60 Quiz ID: q32
What does a function symbol in FOL refer to?
Question 33 of 60 Quiz ID: q33
In the sentence Married(Father(Richard), Mother(John)), what is 'Father(Richard)'?
Question 34 of 60 Quiz ID: q34
Which connective is most commonly the main connective in a universally quantified sentence?
Question 35 of 60 Quiz ID: q35
Which connective is most commonly the main connective in an existentially quantified sentence?
Question 36 of 60 Quiz ID: q36
The sentence ∀x (Cat(x) ⇒ (∃y (Mouse(y) ∧ Hates(x, y)))) translates to:
Question 37 of 60 Quiz ID: q37
What is the scope of a quantifier?
Question 38 of 60 Quiz ID: q38
A variable in a sentence is 'bound' if it:
Question 39 of 60 Quiz ID: q39
A 'sentence' in FOL is a well-formed formula that has:
Question 40 of 60 Quiz ID: q40
Which rule of inference is often associated with the universal quantifier?
Question 41 of 60 Quiz ID: q41
The process of replacing a universally quantified variable with a specific object is called:
Question 42 of 60 Quiz ID: q42
Which of these is NOT a standard binary connective in FOL?
Question 43 of 60 Quiz ID: q43
The knowledge base contains: ∀x (Student(x) ⇒ Study(x)). We TELL it Student(Alice). What can we infer?
Question 44 of 60 Quiz ID: q44
What is the primary role of the '=' (equality) symbol in FOL compared to a predicate?
Question 45 of 60 Quiz ID: q45
Which of these sentences uses a complex term as an argument to a predicate?
Question 46 of 60 Quiz ID: q46
In the context of FOL semantics, what is a 'model'?
Question 47 of 60 Quiz ID: q47
A sentence is 'valid' if it is:
Question 48 of 60 Quiz ID: q48
A sentence is 'satisfiable' if it is:
Question 49 of 60 Quiz ID: q49
A sentence is 'unsatisfiable' if it is:
Question 50 of 60 Quiz ID: q50
Logical 'entailment', KB ⊨ α, means that:
Question 51 of 60 Quiz ID: q51
Which of these is an example of a purely syntactic operation in FOL?
Question 52 of 60 Quiz ID: q52
Which of these is an example of a semantic concept in FOL?
Question 53 of 60 Quiz ID: q53
The property that 'one's grandmother is the mother of one's parent' is best captured by:
Question 54 of 60 Quiz ID: q54
In FOL, representing 'There are exactly two books on the table' would require:
Question 55 of 60 Quiz ID: q55
Which FOL component allows the representation of 'the left leg of John'?
Question 56 of 60 Quiz ID: q56
The statement 'No one is their own parent' is formally expressed as:
Question 57 of 60 Quiz ID: q57
Which query would find all children of Charles in the knowledge base?
Question 58 of 60 Quiz ID: q58
The axiom ∀x (Person(x) ⇒ (Male(x) ∨ Female(x))) represents:
Question 59 of 60 Quiz ID: q59
Which logical rule connects the universal quantifier and implication?
Question 60 of 60 Quiz ID: q60
What is the fundamental difference in how FOL and propositional logic handle the statement 'All humans are mortal'?

Quiz Summary

Review your answers before submitting

60
Total Questions
0
Answered
60
Remaining
00:00
Time Spent