1Which data structure is typically used by Breadth First Search (BFS)?
Uninformed search: Breadth First Search and Depth First Search
Easy
A.Hash table
B.Queue
C.Priority queue
D.Stack
Correct Answer: Queue
Explanation:
BFS uses a queue to explore nodes level by level in first-in, first-out order.
Incorrect! Try again.
2Which data structure is typically used by Depth First Search (DFS)?
Uninformed search: Breadth First Search and Depth First Search
Easy
A.Queue
B.Priority queue
C.Stack
D.Lookup table
Correct Answer: Stack
Explanation:
DFS uses a stack, either explicitly or through recursion, to explore one path deeply before backtracking.
Incorrect! Try again.
3In an unweighted graph, which algorithm finds a shortest path measured by number of edges?
Uninformed search: Breadth First Search and Depth First Search
Easy
A.Depth First Search
B.Greedy Best First Search
C.Breadth First Search
D.Hill Climbing
Correct Answer: Breadth First Search
Explanation:
BFS explores nodes by depth, so the first discovered goal has the fewest edges from the start.
Incorrect! Try again.
4What information does Greedy Best First Search mainly use to select the next node?
Informed search: Best First Search
Easy
A.Cost of the previous edge
B.Number of generated nodes
C.Estimated distance to the goal
D.Depth of the current node
Correct Answer: Estimated distance to the goal
Explanation:
Greedy Best First Search selects the node with the most promising heuristic estimate to the goal.
Incorrect! Try again.
5Which data structure is commonly used to store the frontier in Best First Search?
Informed search: Best First Search
Easy
A.Priority queue
B.Adjacency matrix
C.LIFO stack
D.FIFO queue
Correct Answer: Priority queue
Explanation:
A priority queue orders frontier nodes according to their evaluation or heuristic values.
Incorrect! Try again.
6Which equation is used as the evaluation function in A* Search?
Hill Climbing and A* Search
Easy
A.
B.
C.
D.
Correct Answer:
Explanation:
A* combines the known path cost with the estimated remaining cost .
Incorrect! Try again.
7What does a basic hill-climbing algorithm do at each step?
Hill Climbing and A* Search
Easy
A.Moves to a better neighboring state
B.Chooses the oldest generated state
C.Returns directly to the initial state
D.Explores every state at one depth
Correct Answer: Moves to a better neighboring state
Explanation:
Hill climbing repeatedly moves to a neighboring state that improves the evaluation value.
Incorrect! Try again.
8Which problem can cause hill climbing to stop before finding the global optimum?
Hill Climbing and A* Search
Easy
A.Uniform edge cost
B.Local optimum
C.FIFO ordering
D.Breadth expansion
Correct Answer: Local optimum
Explanation:
A local optimum is better than nearby states but may not be the best state overall.
Incorrect! Try again.
9What is the main purpose of a heuristic function in search?
Heuristic functions
Easy
A.Estimate the remaining cost
B.Generate random goal states
C.Count every graph edge
D.Store all visited states
Correct Answer: Estimate the remaining cost
Explanation:
A heuristic function estimates the cost or distance from a state to a goal.
Incorrect! Try again.
10What does an admissible heuristic guarantee?
Heuristic functions
Easy
A.It ignores the goal completely
B.It always equals the true cost
C.It produces only negative costs
D.It never overestimates the true cost
Correct Answer: It never overestimates the true cost
Explanation:
An admissible heuristic is optimistic because its estimated goal cost does not exceed the actual minimum cost.
Incorrect! Try again.
11Which search method usually requires less memory than BFS when exploring a deep search tree?
Comparison and applications of search algorithms
Easy
A.Breadth First Search
B.Bidirectional Search
C.Uniform Cost Search
D.Depth First Search
Correct Answer: Depth First Search
Explanation:
DFS mainly stores the current path and nearby alternatives, while BFS stores an entire frontier level.
Incorrect! Try again.
12Which algorithm is well suited to finding minimum-move solutions in an unweighted puzzle?
Comparison and applications of search algorithms
Easy
A.Breadth First Search
B.Depth First Search
C.Greedy Best First Search
D.Simple Hill Climbing
Correct Answer: Breadth First Search
Explanation:
BFS finds a solution with the fewest moves when every move has the same cost.
Incorrect! Try again.
13What is the main goal of knowledge representation in artificial intelligence?
Knowledge representation
Easy
A.Store knowledge in a usable form
B.Replace all search algorithms
C.Increase the computer clock speed
D.Compress every program file
Correct Answer: Store knowledge in a usable form
Explanation:
Knowledge representation organizes facts and relationships so an AI system can use them for reasoning.
Incorrect! Try again.
14In a semantic network, what do nodes usually represent?
Semantic networks and frames
Easy
A.Search queue positions
B.Probability calculations
C.Program execution times
D.Objects or concepts
Correct Answer: Objects or concepts
Explanation:
Semantic-network nodes represent objects or concepts, while links represent relationships between them.
Incorrect! Try again.
15In frame-based knowledge representation, where are an object's attributes commonly stored?
Semantic networks and frames
Easy
A.Queues
B.Branches
C.Predicates
D.Slots
Correct Answer: Slots
Explanation:
A frame describes an object or situation using slots that contain attributes and their values.
Incorrect! Try again.
16What is the usual form of a production rule?
Production systems and expert systems
Easy
A.START node END node
B.QUESTION option ANSWER option
C.IF condition THEN action
D.OBJECT slot VALUE slot
Correct Answer: IF condition THEN action
Explanation:
A production rule specifies an action or conclusion that follows when a condition is satisfied.
Incorrect! Try again.
17Which component of an expert system applies rules to known facts?
Production systems and expert systems
Easy
A.User interface
B.Search frontier
C.Inference engine
D.Data compiler
Correct Answer: Inference engine
Explanation:
The inference engine applies rules from the knowledge base to facts to derive conclusions.
Incorrect! Try again.
18Which connective represents logical AND in propositional logic?
Propositional logic and first-order predicate logic
Easy
A.
B.
C.
D.
Correct Answer:
Explanation:
The symbol represents conjunction, which is true only when both propositions are true.
Incorrect! Try again.
19Which feature is available in first-order predicate logic but not in basic propositional logic?
Propositional logic and first-order predicate logic
Easy
A.Logical NOT operations
B.Logical AND operations
C.Quantifiers over objects
D.Truth values for statements
Correct Answer: Quantifiers over objects
Explanation:
First-order logic uses quantifiers such as and to express statements about objects.
Incorrect! Try again.
20Which expression correctly states Bayes' theorem?
Reasoning under uncertainty using Bayes' theorem
Easy
A.
B.
C.
D.
Correct Answer:
Explanation:
Bayes' theorem updates the probability of after observing evidence .
Incorrect! Try again.
21A search tree has root . Its children from left to right are and . Node has children and , while node has child . If Breadth First Search tests for the goal when a node is removed from the frontier and is the goal, what is the expansion order?
Uninformed search: Breadth First Search and Depth First Search
Medium
A.
B.
C.
D.
Correct Answer:
Explanation:
BFS explores nodes level by level. It expands , then and , followed by the depth-two nodes in insertion order.
Incorrect! Try again.
22Depth First Search is applied to a finite graph containing cycles. Which modification is most important for preventing the search from repeatedly following the same cycle?
Uninformed search: Breadth First Search and Depth First Search
Medium
A.Store visited states in an explored set
B.Expand all nodes at the same depth
C.Estimate each node's distance to the goal
D.Sort successors by increasing path cost
Correct Answer: Store visited states in an explored set
Explanation:
An explored set prevents DFS from revisiting states already encountered, allowing it to terminate on finite cyclic graphs.
Incorrect! Try again.
23A robot moves through an unweighted maze where every move has cost . Why is Breadth First Search preferred over standard Depth First Search when the goal is to minimize the number of moves?
Uninformed search: Breadth First Search and Depth First Search
Medium
A.BFS always stores fewer nodes than DFS
B.BFS finds a shallowest goal before deeper goals
C.BFS uses heuristic estimates for each location
D.BFS avoids expanding every non-goal location
Correct Answer: BFS finds a shallowest goal before deeper goals
Explanation:
With equal step costs, the shallowest goal corresponds to the path with the fewest moves, which BFS is guaranteed to find.
Incorrect! Try again.
24Greedy Best First Search has frontier nodes with heuristic values , , , and . Which node will it select next?
Informed search: Best First Search, Hill Climbing and A* Search
Medium
A.Node
B.Node
C.Node
D.Node
Correct Answer: Node
Explanation:
Greedy Best First Search selects the node with the smallest estimated distance to the goal. Here, is the minimum.
Incorrect! Try again.
25A hill-climbing algorithm reaches a state whose neighboring states all have equal or worse evaluation values, although a better state exists elsewhere. What has most likely occurred?
Informed search: Best First Search, Hill Climbing and A* Search
Medium
A.The frontier exceeded its predefined memory limit
B.The search reached a local optimum or plateau
C.The heuristic became mathematically inadmissible
D.The search violated breadth-first expansion order
Correct Answer: The search reached a local optimum or plateau
Explanation:
Hill climbing uses only local improvements, so it can stop at a local optimum or become unable to progress across a plateau.
Incorrect! Try again.
26Which strategy most directly improves hill climbing when the search repeatedly becomes trapped in different local maxima?
Informed search: Best First Search, Hill Climbing and A* Search
Medium
A.Replace the evaluation function with path depth
B.Expand every state at the current search level
C.Remove all previously generated neighboring states
D.Restart from several randomly selected states
Correct Answer: Restart from several randomly selected states
Explanation:
Random-restart hill climbing explores multiple regions of the state space, increasing the chance of reaching the global optimum.
Incorrect! Try again.
27A* Search evaluates nodes using . The frontier contains with , with , with , and with . Which node is selected next?
Informed search: Best First Search, Hill Climbing and A* Search
Medium
A.Node
B.Node
C.Node
D.Node
Correct Answer: Node
Explanation:
The values are , , , and . A* selects , which has the smallest value.
Incorrect! Try again.
28In A* tree search, what property of a heuristic guarantees that the algorithm can return an optimal solution?
Informed search: Best First Search, Hill Climbing and A* Search
Medium
A.It never overestimates the remaining optimal cost
B.It decreases by one after every search action
C.It assigns different values to different states
D.It always returns a positive integer estimate
Correct Answer: It never overestimates the remaining optimal cost
Explanation:
A heuristic that never overestimates the true remaining cost is admissible. Admissibility guarantees optimality for A* tree search.
Incorrect! Try again.
29For an edge from state to state with cost , which condition defines a consistent heuristic?
Heuristic functions
Medium
A.
B.
C.
D.
Correct Answer:
Explanation:
Consistency requires the heuristic estimate at to be no greater than the edge cost plus the estimate at . This is a triangle-inequality condition.
Incorrect! Try again.
30Two admissible heuristics satisfy for every state , while neither overestimates the true remaining cost. What can generally be concluded for A* Search?
Heuristic functions
Medium
A. is inadmissible whenever its estimate exceeds
B. is more informed because its estimates are smaller
C. is more informed and usually expands no more nodes
D. and must expand exactly the same nodes
Correct Answer: is more informed and usually expands no more nodes
Explanation:
Because dominates while remaining admissible, it gives A* stronger guidance and generally reduces unnecessary expansions.
Incorrect! Try again.
31A navigation system must find the least-cost route on a weighted road network and has reliable straight-line distance estimates. Which search algorithm is the most appropriate?
Comparison and applications of search algorithms
Medium
A.Hill climbing using the nearest city
B.A* Search using distance as a heuristic
C.Depth First Search using a visited set
D.Breadth First Search using road count
Correct Answer: A* Search using distance as a heuristic
Explanation:
A* combines accumulated road cost with an estimate of remaining cost, making it suitable for optimal route finding on weighted networks.
Incorrect! Try again.
32A state space has a very large branching factor, solutions may be deep, and memory is severely limited. Finding any solution is more important than finding the shortest one. Which algorithm is the best basic choice?
Comparison and applications of search algorithms
Medium
A.Breadth First Search
B.Uniform-cost Search
C.Bidirectional BFS
D.Depth First Search
Correct Answer: Depth First Search
Explanation:
DFS stores mainly the current path and a limited set of alternatives, so it uses much less memory than breadth-based methods, though it may not find the shortest solution.
Incorrect! Try again.
33An AI system must represent that a particular patient has symptoms, that diseases belong to broader disease categories, and that categories share inherited properties. Which representation feature is most useful?
Knowledge representation
Medium
A.Entities linked by relations and class hierarchies
B.Observations represented only as isolated Boolean values
C.Actions stored only as unordered text fragments
D.States arranged only by their numerical path costs
Correct Answer: Entities linked by relations and class hierarchies
Explanation:
Relations and class hierarchies capture connections between entities and support inheritance of shared properties.
Incorrect! Try again.
34In a semantic network, Canary is linked to Bird by an IS-A relation, and Bird has the property has-wings. What can normally be inferred about a canary?
Semantic networks and frames
Medium
A.Every winged object must be a canary
B.A canary inherits the property has-wings
C.A canary becomes identical to every bird
D.The IS-A relation removes bird properties
Correct Answer: A canary inherits the property has-wings
Explanation:
Semantic networks commonly support inheritance along IS-A links, so properties of Bird can apply to Canary unless overridden.
Incorrect! Try again.
35A Bird frame has a default slot can-fly = true, while a Penguin frame inherits from Bird and sets can-fly = false. What value should an instance of Penguin use?
Semantic networks and frames
Medium
A.unknown, because the two slot values must be discarded
B.false, because the specialized frame overrides the default
C.true, because inherited values cannot be replaced
D.both, because frame slots retain every inherited value
Correct Answer: false, because the specialized frame overrides the default
Explanation:
Frames allow a subclass or instance to override an inherited default. The more specific Penguin value therefore takes precedence.
Incorrect! Try again.
36A production system has two enabled rules: R1: IF fever THEN investigate infection and R2: IF fever AND rash THEN investigate measles. The facts include both fever and rash. If conflict resolution prefers the most specific rule, which rule fires?
Production systems and expert systems
Medium
A.R2, because it contains more conditions
B.Both rules, because specificity is ignored
C.Neither rule, because their conclusions differ
D.R1, because it contains fewer conditions
Correct Answer: R2, because it contains more conditions
Explanation:
A specificity strategy prefers the rule with more matching conditions. Therefore, R2 is selected over the more general R1.
Incorrect! Try again.
37In an expert system, which component applies rules from the knowledge base to known facts in order to derive conclusions?
Production systems and expert systems
Medium
A.User interface
B.Explanation display
C.Inference engine
D.Knowledge editor
Correct Answer: Inference engine
Explanation:
The inference engine performs reasoning by matching facts to rules and executing applicable rules to produce conclusions.
Incorrect! Try again.
38Given the propositions and , which conclusion follows by modus tollens?
Propositional logic and first-order predicate logic
Medium
A.
B.
C.
D.
Correct Answer:
Explanation:
Modus tollens states that from and , it follows that .
Incorrect! Try again.
39Which first-order logic formula correctly represents the statement "Every student studies at least one subject"?
Propositional logic and first-order predicate logic
Medium
A.
B.
C.
D.
Correct Answer:
Explanation:
The universal quantifier covers every student, while the existential quantifier states that each such student studies at least one entity that is a subject.
Incorrect! Try again.
40A disease affects of a population. A test has sensitivity and a false-positive rate of . Approximately what is the probability that a person has the disease given a positive result?
Reasoning under uncertainty using Bayes' theorem
Medium
A.
B.
C.
D.
Correct Answer:
Explanation:
Bayes' theorem gives . The low prior probability keeps the posterior well below the sensitivity.
Incorrect! Try again.
41Breadth-first graph search starts at . Successors are generated left to right: , , , and have no successors. States are marked visited when enqueued, and the goal test is applied when a state is dequeued. Which result is correct?
Uninformed search: Breadth First Search and Depth First Search
Hard
A.The expansion order is , and the returned path is .
B.The expansion order is , and the returned path is .
C.The expansion order is , and the returned path is .
D.The expansion order is , and the returned path is .
Correct Answer: The expansion order is , and the returned path is .
Explanation:
BFS explores nodes by depth. Marking when it is first enqueued prevents its later duplicate from , while parent links recover the shortest path .
Incorrect! Try again.
42A search tree has a goal at depth , but the first child of the root begins an infinite branch containing no goal. What is the strongest correct statement about standard depth-first tree search and depth-first graph search?
Uninformed search: Breadth First Search and Depth First Search
Hard
A.Tree search must reach the goal; graph search may fail only when repeated-state detection is disabled.
B.Tree search may never reach the goal; graph search is complete whenever repeated states are removed.
C.Tree search may never reach the goal; graph search also may fail if the infinite branch has infinitely many distinct states.
D.Both searches are complete because the goal is located at a finite depth.
Correct Answer: Tree search may never reach the goal; graph search also may fail if the infinite branch has infinitely many distinct states.
Explanation:
Cycle detection only removes repeated states. If the selected branch contains infinitely many distinct states, both DFS variants can remain on it forever and miss a shallow goal.
Incorrect! Try again.
43Greedy best-first search uses only . From , edge costs with , and edge costs with . Edges and cost and , respectively, with . Even though all listed heuristic values are admissible, which path is returned?
Informed search: Best First Search
Hard
A. with cost , because is selected before .
B. with cost , because admissibility guarantees optimality.
C. with cost , because accumulated cost breaks the initial tie.
D. with cost , because the frontier combines both branches.
Correct Answer: with cost , because is selected before .
Explanation:
Greedy best-first search ignores . It selects due to its smaller heuristic and then selects the generated goal, so admissibility alone does not make greedy search optimal.
Incorrect! Try again.
44A hill-climbing algorithm maximizes an evaluation function. At state , every neighbor has the same value as , but a higher-valued state is reachable after three sideways moves. The algorithm permits at most two consecutive sideways moves. Which conclusion follows?
Hill Climbing and A* Search
Hard
A.It can terminate on the plateau before reaching the higher-valued state.
B.It becomes optimal if previously visited plateau states are never revisited.
C.It must reach the higher-valued state because sideways moves preserve value.
D.It becomes complete because the plateau contains a finite improving path.
Correct Answer: It can terminate on the plateau before reaching the higher-valued state.
Explanation:
The improvement requires three consecutive non-improving moves, but the algorithm permits only two. Avoiding revisits does not remove this local-search limitation.
Incorrect! Try again.
45Consider A* graph search that never reopens a closed state. Edges are , , , and . Let , , and . What can happen?
Hill Climbing and A* Search
Hard
A.A* returns with cost because the admissible heuristic is inconsistent.
B.A* returns with cost because admissibility alone prevents closure errors.
C.A* returns with cost because consistency is irrelevant in graph search.
D.A* returns with cost because overestimates the remaining cost.
Correct Answer: A* returns with cost because the admissible heuristic is inconsistent.
Explanation:
is admissible but violates consistency on since . State may close with cost , causing the better route to with cost to be ignored.
Incorrect! Try again.
46A* uses with a consistent heuristic and nonnegative edge costs. Which goal-termination rule preserves optimality in standard graph search?
Hill Climbing and A* Search
Hard
A.Terminate when every immediate predecessor of a goal has been expanded.
B.Terminate when a goal has the smallest heuristic value on OPEN.
C.Terminate when a goal is removed from OPEN as the minimum- state.
D.Terminate when a goal is first generated as a successor of any state.
Correct Answer: Terminate when a goal is removed from OPEN as the minimum- state.
Explanation:
With consistency, values do not decrease along paths and closed states need not be reopened. A goal selected as minimum therefore has optimal path cost.
Incorrect! Try again.
47A heuristic is defined as the optimal remaining cost in a relaxed problem obtained by removing constraints while retaining corresponding actions at the same or lower costs. Which property necessarily follows?
Heuristic functions
Hard
A. is admissible because every original solution is feasible in the relaxation.
B. dominates every admissible heuristic constructed from another relaxation.
C. is inadmissible because relaxed paths can be cheaper than original paths.
D. is exact because removed constraints cannot alter an optimal solution.
Correct Answer: is admissible because every original solution is feasible in the relaxation.
Explanation:
Relaxation can only preserve or reduce the optimal remaining cost. Thus , which is precisely the admissibility condition.
Incorrect! Try again.
48A uniform unweighted problem has branching factor , a unique known goal, and an optimal solution depth . Under which conditions can bidirectional BFS reduce the dominant time from to approximately ?
Comparison and applications of search algorithms
Hard
A.Actions are irreversible, both frontiers use queues, and intersection is checked only at depth .
B.Predecessors can be generated, both frontiers use visited sets, and intersection is detected correctly.
C.Successors have unit cost, DFS controls both frontiers, and duplicate states are retained.
D.The heuristic is consistent, the goal depth is unknown, and only one frontier stores visited states.
Correct Answer: Predecessors can be generated, both frontiers use visited sets, and intersection is detected correctly.
Explanation:
Bidirectional BFS requires a backward search from a specified goal and reliable frontier intersection. Each direction then searches roughly half the solution depth.
Incorrect! Try again.
49Which first-order formula correctly represents: "Every researcher reviews at least one paper," allowing different researchers to review different papers?
Knowledge representation
Hard
A.
B.
C.
D.
Correct Answer:
Explanation:
The existential quantifier lies inside the scope of the universal quantifier, so each researcher may have a different reviewed paper.
Incorrect! Try again.
50A knowledge base contains no statement about whether patient has allergy . How do open-world and closed-world reasoning differ?
Knowledge representation
Hard
A.Open-world reasoning treats the allergy as unknown; closed-world reasoning normally infers its negation.
B.Both forms treat it as unknown unless an explicit negation is stored in the knowledge base.
C.Open-world reasoning infers the allergy; closed-world reasoning normally treats it as unknown.
D.Both forms infer the negation because the allergy cannot be proved from stored facts.
Correct Answer: Open-world reasoning treats the allergy as unknown; closed-world reasoning normally infers its negation.
Explanation:
Under the open-world assumption, absence of evidence is not evidence of falsity. The closed-world assumption treats facts not derivable from the database as false.
Incorrect! Try again.
51In a semantic network, AmphibiousVehicle inherits maximumSpeed = 120 from Vehicle and maximumSpeed = 15 from Watercraft. Neither superclass is more specific than the other. What is the soundest treatment?
Semantic networks and frames
Hard
A.Select because the numerically smaller inherited value is the safer default.
B.Mark the inherited values as conflicting until an explicit priority or local value resolves them.
C.Select because inheritance from the first asserted superclass has logical priority.
D.Average the inherited values because multiple inheritance combines quantitative slots.
Correct Answer: Mark the inherited values as conflicting until an explicit priority or local value resolves them.
Explanation:
Specificity cannot resolve defaults inherited from incomparable parents. Choosing by assertion order, magnitude, or averaging introduces semantics not present in the network.
Incorrect! Try again.
52A Bird frame provides the default slot canFly = true, while a Penguin frame is a subclass with canFly = false. An instance Pingo belongs to Penguin. Which value should normal default inheritance produce?
Semantic networks and frames
Hard
A.false, because the more specific frame overrides the inherited default.
B.Both values, because frame systems cannot override inherited slot values.
C.Unknown, because defaults may never be applied to individual frame instances.
D.true, because superclass slots are inherited before subclass slots are examined.
Correct Answer: false, because the more specific frame overrides the inherited default.
Explanation:
Frame inheritance normally applies the most specific applicable value. The subclass exception therefore overrides the general Bird default.
Incorrect! Try again.
53A forward-chaining production system repeatedly fires R1: IF A THEN B even though is already present and no working-memory facts have changed. Which mechanism most directly prevents this redundant refiring?
Production systems and expert systems
Hard
A.Specificity, which always prefers rules containing the greatest number of conditions.
B.Recency, which always prefers rules matching the newest working-memory elements.
C.Backward chaining, which removes conclusions that are not currently requested as goals.
D.Refraction, which blocks the same rule instantiation until relevant facts change.
Correct Answer: Refraction, which blocks the same rule instantiation until relevant facts change.
Explanation:
Refraction prevents a rule from firing repeatedly with the same matching facts. Specificity and recency only rank competing activations.
Incorrect! Try again.
54An expert system reaches a diagnosis through rules , , and . A user asks why a particular symptom question is being asked before answering it. Which subsystem should provide the response?
Production systems and expert systems
Hard
A.The working-memory manager, by deleting facts unrelated to the requested diagnosis.
B.The explanation facility, using the current inference goal and supporting rule chain.
C.The knowledge-acquisition facility, by requesting a new rule from the domain expert.
D.The conflict-resolution module, by listing every rule currently stored in the system.
Correct Answer: The explanation facility, using the current inference goal and supporting rule chain.
Explanation:
An explanation facility answers both why a question is relevant and how a conclusion was derived by exposing the inference trace in user-facing form.
Incorrect! Try again.
55Using standard first-order unification with the occurs check, what is the result of attempting to unify with ?
Propositional logic and first-order predicate logic
Hard
A.Unification fails because function symbols and may never coexist.
B.The most general unifier is .
C.Unification fails because it would require the cyclic substitution .
D.The most general unifier is .
Correct Answer: Unification fails because it would require the cyclic substitution .
Explanation:
Matching arguments gives and , hence . The occurs check rejects a variable being replaced by a term containing itself.
Incorrect! Try again.
56Consider the clauses , , , and . Which resolution strategy derives the empty clause?
Propositional logic and first-order predicate logic
Hard
A.Derive from the first and third clauses, derive from the second and fourth, then resolve them.
B.Derive from the last two clauses, then resolve it with the first clause.
C.Derive from the first and third clauses, derive from the second and fourth, then resolve them.
D.Derive from the first two clauses, then resolve it directly with .
Correct Answer: Derive from the first and third clauses, derive from the second and fourth, then resolve them.
Explanation:
Resolving with yields . Resolving with yields , and resolving these unit clauses yields contradiction.
Incorrect! Try again.
57A propositional knowledge base contains , , and . Which statement is entailed?
Propositional logic and first-order predicate logic
Hard
A., because both implications can be applied in the reverse direction.
B., because assuming forces , contradicting .
C., because every implication entails at least one of its consequents.
D., because is false while the first implication remains true.
Correct Answer: , because assuming forces , contradicting .
Explanation:
The implications yield . Since is known, modus tollens entails ; in fact, is also entailed.
Incorrect! Try again.
58Which formula is logically equivalent to ?
Propositional logic and first-order predicate logic
Hard
A.
B.
C.
D.
Correct Answer:
Explanation:
Moving negation across quantifiers swaps with . The formula states that some individual loves no individual.
Incorrect! Try again.
59A disease has prevalence . A test has sensitivity and specificity . What is ?
Reasoning under uncertainty using Bayes' theorem
Hard
A.
B.
C.
D.
Correct Answer:
Explanation:
The true-positive probability is , while the false-positive probability is . Normalize these two cases.
Incorrect! Try again.
60Let . Evidence variables and are conditionally independent given both and . Suppose , , , and . What is ?
Reasoning under uncertainty using Bayes' theorem
Hard
A., because conditional independence makes both observations certainly reliable.
B., because the two likelihood ratios are added to the prior probability.
C., because the prior odds are multiplied by likelihood ratios and .
D., because the prior odds cancel the product of the likelihood ratios.
Correct Answer: , because the prior odds are multiplied by likelihood ratios and .
Explanation:
Posterior odds are . Converting odds to probability gives .
Incorrect! Try again.
Did this save you a night before the exam?
LPU Notes is free, and it stays free. Ads cover part of the server bill.
The rest comes out of a student's own pocket: the domain, the storage,
and keeping the site up through the weeks everyone needs it at once.
The payment button didn't load. An ad blocker or a filtered network is the usual reason.
to try again.
Nothing here is ever locked, and nothing unlocks. Chip in only if it was worth it.
What it pays for →