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

Skip to content

added examples to logic.ipynb #421

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.

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

Closed
wants to merge 63 commits into from
Closed

Conversation

sofmonk
Copy link
Contributor

@sofmonk sofmonk commented Mar 26, 2017

added examples to logic.ipynb:

  1. PropKB
  2. tt_entail
  3. tt_check_all
  4. dpll_satisfiable
  5. WalkSAT
  6. SATplan
  7. unify

Sir, I found some examples/diagrams from the other websites good, but I didn't include them as I was skeptical if we can add content from other websites. Please let me know so that I can add them?

sofmonk added 30 commits March 17, 2017 17:17
in pseudo code the sequence of arguments is   " WEIGHTED-SAMPLE-WITH-REPLACEMENT(N, S, W)"  
in pseudo code the sequence of arguments is " WEIGHTED-SAMPLE-WITH-REPLACEMENT(N, S, W)"  same must follow in function "particle_filtering" in the file probability.py
weight_sample_with_replacement sequence of args
 weighted_sample_with_replacement sequence of args
added double_tennis_problem from chapter 11 , figure 11.10
added missing space after comma
added missing space after comma
added missing space after comma
added missing space after comma
pep8 changes, showed flake8 errors
added missing whitespace after comma
added space after comma
added space after comma
added space after comma
added space after comma
added double_tennis_problem
In the pseudocode figure 21.8, the first 'if' starts with argument 's', which is the previous state, not s1(i.e, the current state).
@sofmonk sofmonk closed this Mar 26, 2017
@sofmonk sofmonk deleted the sofmonk-new branch March 27, 2017 05:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants