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
norvig merged 16 commits into from
Aug 30, 2018
Merged

Logic notebook update #932

Show file tree
Hide file tree
Changes from all commits
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
10 changes: 5 additions & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,14 +64,14 @@ Here is a table of algorithms, the figure, name of the algorithm in the book and
| 2.7 | Table-Driven-Agent | `TableDrivenAgent` | [`agents.py`][agents] | Done | Included |
| 2.8 | Reflex-Vacuum-Agent | `ReflexVacuumAgent` | [`agents.py`][agents] | Done | Included |
| 2.10 | Simple-Reflex-Agent | `SimpleReflexAgent` | [`agents.py`][agents] | Done | Included |
| 2.12 | Model-Based-Reflex-Agent | `ReflexAgentWithState` | [`agents.py`][agents] | | Included |
| 2.12 | Model-Based-Reflex-Agent | `ReflexAgentWithState` | [`agents.py`][agents] | Done | Included |
| 3 | Problem | `Problem` | [`search.py`][search] | Done | Included |
| 3 | Node | `Node` | [`search.py`][search] | Done | Included |
| 3 | Queue | `Queue` | [`utils.py`][utils] | Done | No Need |
| 3.1 | Simple-Problem-Solving-Agent | `SimpleProblemSolvingAgent` | [`search.py`][search] | Done | Included |
| 3.2 | Romania | `romania` | [`search.py`][search] | Done | Included |
| 3.7 | Tree-Search | `tree_search` | [`search.py`][search] | Done | |
| 3.7 | Graph-Search | `graph_search` | [`search.py`][search] | Done | |
| 3.7 | Tree-Search | `depth/breadth_first_tree_search` | [`search.py`][search] | Done | Included |
| 3.7 | Graph-Search | `depth/breadth_first_graph_search` | [`search.py`][search] | Done | Included |
| 3.11 | Breadth-First-Search | `breadth_first_graph_search` | [`search.py`][search] | Done | Included |
| 3.14 | Uniform-Cost-Search | `uniform_cost_search` | [`search.py`][search] | Done | Included |
| 3.17 | Depth-Limited-Search | `depth_limited_search` | [`search.py`][search] | Done | Included |
Expand All @@ -93,7 +93,7 @@ Here is a table of algorithms, the figure, name of the algorithm in the book and
| 6.8 | Min-Conflicts | `min_conflicts` | [`csp.py`][csp] | Done | Included |
| 6.11 | Tree-CSP-Solver | `tree_csp_solver` | [`csp.py`][csp] | Done | Included |
| 7 | KB | `KB` | [`logic.py`][logic] | Done | Included |
| 7.1 | KB-Agent | `KB_AgentProgram` | [`logic.py`][logic] | Done | |
| 7.1 | KB-Agent | `KB_AgentProgram` | [`logic.py`][logic] | Done | Included |
| 7.7 | Propositional Logic Sentence | `Expr` | [`utils.py`][utils] | Done | Included |
| 7.10 | TT-Entails | `tt_entails` | [`logic.py`][logic] | Done | Included |
| 7.12 | PL-Resolution | `pl_resolution` | [`logic.py`][logic] | Done | Included |
Expand All @@ -103,7 +103,7 @@ Here is a table of algorithms, the figure, name of the algorithm in the book and
| 7.18 | WalkSAT | `WalkSAT` | [`logic.py`][logic] | Done | Included |
| 7.20 | Hybrid-Wumpus-Agent | `HybridWumpusAgent` | | | |
| 7.22 | SATPlan | `SAT_plan` | [`logic.py`][logic] | Done | Included |
| 9 | Subst | `subst` | [`logic.py`][logic] | Done | |
| 9 | Subst | `subst` | [`logic.py`][logic] | Done | Included |
| 9.1 | Unify | `unify` | [`logic.py`][logic] | Done | Included |
| 9.3 | FOL-FC-Ask | `fol_fc_ask` | [`logic.py`][logic] | Done | Included |
| 9.6 | FOL-BC-Ask | `fol_bc_ask` | [`logic.py`][logic] | Done | Included |
Expand Down
2 changes: 1 addition & 1 deletion agents.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1252,7 +1252,7 @@
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3.6.4"
"version": "3.6.1"
}
},
"nbformat": 4,
Expand Down
Loading