Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Logic notebook update #932

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 16 commits into from
Aug 30, 2018
Merged

Logic notebook update #932

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
0f74864
Added KB_AgentProgram and subst
ad71 Jun 28, 2018
807106c
Added doctests
ad71 Jun 28, 2018
ea5e283
Updated README.md
ad71 Jun 28, 2018
509241f
Fixed doctest
ad71 Jun 28, 2018
5bd5bec
Fixed doctest
ad71 Jun 28, 2018
b2833f0
Fixed doctest
ad71 Jun 28, 2018
87855b9
Added definite_clauses_KB to logic.py
ad71 Jun 28, 2018
aa651b1
Fixed a doctest, again
ad71 Jun 28, 2018
8503ea2
Fixed another doctest
ad71 Jun 28, 2018
3d6265f
Fixed another doctest
ad71 Jun 28, 2018
b549c20
Moved unnecessary doctests to unit tests
ad71 Aug 3, 2018
236f57a
Added unit test for ModelBasedReflexAgent
ad71 Aug 5, 2018
ed70d85
Added unit test for ModelBasedReflexAgent
ad71 Aug 5, 2018
5315673
Updated README.md
ad71 Aug 5, 2018
da7c49e
Minor fix
ad71 Aug 5, 2018
cf84e4b
Fixed a doctest
ad71 Aug 5, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Added definite_clauses_KB to logic.py
  • Loading branch information
@ad71
ad71 committed Jun 28, 2018
commit 87855b97f8127139a34614df5c9c6c61c4f264af
7 changes: 7 additions & 0 deletions logic.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -592,6 +592,13 @@ def pl_fc_entails(KB, q):
for s in "P==>Q; (L&M)==>P; (B&L)==>M; (A&P)==>L; (A&B)==>L; A;B".split(';'):
horn_clauses_KB.tell(expr(s))

"""
Definite clauses KB example
"""
definite_clauses_KB = PropDefiniteKB()
for clause in ['(B & F)==>E', '(A & E & F)==>G', '(B & C)==>F', '(A & B)==>D', '(E & F)==>H', '(H & I)==>J', 'A', 'B', 'C']:
definite_clauses_KB.tell(expr(clause))

# ______________________________________________________________________________
# DPLL-Satisfiable [Figure 7.17]

Expand Down