PYTHON Free Section Starter Challenge 25 min

10. Propositional Logic & Truth Table Entailment

Overview: Model facts and deductive rules as Boolean propositions and evaluate entailment.

Concept & Syntax Guide

Knowledge-based agents store formal sentences in a Knowledge Base (KB). A sentence $lpha$ is entailed by $KB$ ($KB \models lpha$) if and only if $lpha$ is true in all models where $KB$ is true.

Hands-On Practice Exercise

Evaluate Knowledge Base Entailment

Check whether the knowledge base $\{A, A \implies B\}$ entails the query fact $B$.

Target Output: Knowledge base entails query: True

Need a hint? Click here to reveal

Hint: Check syntax carefully and make sure your code contains: Knowledge base entails query: True

PYTHON Code Editor

1
2
3
4
5
6
7
8
9
10

# Model checking for propositional entailment
# Fact: A is True
# Rule: A implies B (not A or B)
A = True
implies_A_B = (not A) or True  # B must be True for rule to hold

query_B = True
entails = A and implies_A_B and query_B

print(f"Knowledge base entails query: {entails}")