daviddoji/pytudes
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #15 from Naereen/patch-1

Browse Source 
Typos on ipynb/PropositionalLogic.ipynb
This commit is contained in:
Peter Norvig
2017-12-02 01:44:51 -08:00
committed by GitHub
parent 10324c5a8a 5badb35f30
commit 5f1a061957
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ipynb/PropositionalLogic.ipynb
View File

@@ -129,7 +129,7 @@
"cell_type": "markdown",
"metadata": {},
"source": [
"Now the mechanism to process these rules. The key function is `match_rule`, which matches an English sentence against a rule. The function returns two values, a string representing the translation of the Eng;lish sentence into logic, and `defs`, a dictionary of `{Variable: \"value\"}` pairs. If `match_rule` finds that the rule matches, it recursively calls `match_rules` to match each of the subgroups of the regular expression (the `P` and `Q` in `if {P}, then {Q}`).\n",
"Now the mechanism to process these rules. The key function is `match_rule`, which matches an English sentence against a rule. The function returns two values, a string representing the translation of the English sentence into logic, and `defs`, a dictionary of `{Variable: \"value\"}` pairs. If `match_rule` finds that the rule matches, it recursively calls `match_rules` to match each of the subgroups of the regular expression (the `P` and `Q` in `if {P}, then {Q}`).\n",
"The function `match_literal` handles negations, and is where the `defs` dictionary actually gets updated."
]
},
@@ -435,7 +435,7 @@
"source": [
"That looks pretty good! But far from perfect. Here are some errors:\n",
"\n",
"* `Should I stay` *etc.*:<br>questions are not poropositional statements.\n",
"* `Should I stay` *etc.*:<br>questions are not propositional statements.\n",
"\n",
"* `If I were a carpenter`:<br>doesn't handle modal logic.\n",
"\n",