Harry Potter Conundrum

In [ ]:

from logic import *

from logic import *

In [ ]:

rain = Symbol("rain") # it is raining
hagrid = Symbol("hagrid") #Harry visited Hagrid
dumbledore = Symbol("dumbledore") #Harry visited Dumbledore

rain = Symbol("rain") # it is raining hagrid = Symbol("hagrid") #Harry visited Hagrid dumbledore = Symbol("dumbledore") #Harry visited Dumbledore

save sentences into the KB

In [ ]:

#starting from the "And" logical connective, because each proposition represents
#knowledge that we know to be true
knowledge = And(
    Implication(Not(rain), hagrid),
    Or(hagrid, dumbledore),
    Not(And(hagrid, dumbledore)),
    dumbledore #we take as a fact that , in this KB, Harry visited Dumbledore
)

#starting from the "And" logical connective, because each proposition represents #knowledge that we know to be true knowledge = And( Implication(Not(rain), hagrid), Or(hagrid, dumbledore), Not(And(hagrid, dumbledore)), dumbledore #we take as a fact that , in this KB, Harry visited Dumbledore )

In [ ]:

# print('rain?',model_check(knowledge, rain))
print('hagrid visited Hagrid',model_check(knowledge, hagrid))

# print('rain?',model_check(knowledge, rain)) print('hagrid visited Hagrid',model_check(knowledge, hagrid))