added examples to notebooks LOGIC & PLANNING by sofmonk · Pull Request #427 · aimacode/aima-python · GitHub
Skip to content

added examples to notebooks LOGIC & PLANNING#427

Closed
sofmonk wants to merge 7 commits into
aimacode:masterfrom
sofmonk:sofmonk-patch-1
Closed

added examples to notebooks LOGIC & PLANNING#427
sofmonk wants to merge 7 commits into
aimacode:masterfrom
sofmonk:sofmonk-patch-1

Conversation

@sofmonk

@sofmonk sofmonk commented Mar 27, 2017

Copy link
Copy Markdown
Contributor
  1. added examples to logic.ipynb:
  • PropKB
  • tt_entail
  • tt_check_all
  • dpll_satisfiable
  • WalkSAT
  • SATplan
  • unify
  1. added examples to planning.ipynb:
  • factored state representation
  • PDLL
  • Actions
  • Air_cargo_problem
  • DWR (dock worker robot) problem
  • spare_tire_problem
  • blocks_world

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 2 commits March 27, 2017 11:42
    added examples to planning.ipynb:

    PDLL
    Actions
    Air_cargo_problem
    spare_tire_problem
    blocks_world
added examples to logic.ipynb:

    PropKB
    tt_entail
    tt_check_all
    dpll_satisfiable
    WalkSAT
    SATplan
    unify
@sofmonk sofmonk changed the title added exmples to notebooks LOGIC & PLANNING added examples to notebooks LOGIC & PLANNING Mar 27, 2017
@antmarakis

Copy link
Copy Markdown
Collaborator

sofmonk added 2 commits March 28, 2017 23:20
added factored state representation, assumptions, dock worker robot domain.
@antmarakis

Copy link
Copy Markdown
Collaborator

I like these additions. Very nice work.

Did you make the images yourself?

@sofmonk

sofmonk commented Mar 29, 2017

Copy link
Copy Markdown
Contributor Author

@MrDupin Thank you, your feedback helped out.
I got those images from other websites. I am still doubtful if we can use other web-site's content?

@antmarakis

Copy link
Copy Markdown
Collaborator

That depends, but maybe not. If you share where you found them I can look into this more.

@Chipe1

Chipe1 commented Mar 29, 2017

Copy link
Copy Markdown
Contributor

@sofmonk That depends. In most cases you are not allowed to reuse the images without permission. It would be better if we used images in the textbook or make them on our own.
I would recommend opening an issue and posting what images are needed. Me and other contributors can create the required images and upload them.

@sofmonk sofmonk mentioned this pull request Mar 31, 2017
Comment thread logic.ipynb
"| Implication | P &rarr; Q | `P` <tt>&#124;</tt>`'==>'`<tt>&#124;</tt> `Q` | `P ==> Q` | `Expr('==>', P, Q)`\n",
"| Reverse Implication | Q &larr; P | `Q` <tt>&#124;</tt>`'<=='`<tt>&#124;</tt> `P` |`Q <== P` | `Expr('<==', Q, P)`\n",
"| Equivalence | P &harr; Q | `P` <tt>&#124;</tt>`'<=>'`<tt>&#124;</tt> `Q` |`P <=> Q` | `Expr('<=>', P, Q)`\n",
"| Equivalence | P &harr; Q | `P` <tt>&#124;</tt>`'<=>'`<tt>&#124;</tt> `Q` |`P ==> Q` | `Expr('==>', P, Q)`\n",

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Similar to #421, there are some changes that revert #361. Make sure you update your local repo to the latest version.

@sofmonk sofmonk closed this Apr 13, 2017
@sofmonk sofmonk reopened this Apr 13, 2017
@sofmonk sofmonk mentioned this pull request Apr 18, 2017
@norvig

norvig commented May 28, 2017

Copy link
Copy Markdown
Collaborator

@norvig norvig closed this Mar 14, 2018
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.

4 participants