Code

Logic notebook update#932

Code

Merged

norvig merged 16 commits intoaimacode:masteraimacode/aima-python:masterfrom

ad71:logicad71/aima-python:logicCopy head branch name to clipboard

Aug 30, 2018

Commits

Commits on Jun 28, 2018

• Added KB_AgentProgram and subst

  ad71

  committed
  0f74864

  Copy full SHA for 0f74864

• Added doctests

  ad71

  committed
  807106c

  Copy full SHA for 807106c

• Updated README.md

  ad71

  committed
  ea5e283

  Copy full SHA for ea5e283

• Fixed doctest

  ad71

  committed
  509241f

  Copy full SHA for 509241f

• Fixed doctest

  ad71

  committed
  5bd5bec

  Copy full SHA for 5bd5bec

• Fixed doctest

  ad71

  committed
  b2833f0

  Copy full SHA for b2833f0

• Added definite_clauses_KB to logic.py

  ad71

  committed
  87855b9

  Copy full SHA for 87855b9

• Fixed a doctest, again

  ad71

  committed
  aa651b1

  Copy full SHA for aa651b1

• Fixed another doctest

  ad71

  committed
  8503ea2

  Copy full SHA for 8503ea2

• Fixed another doctest

  ad71

  committed
  3d6265f

  Copy full SHA for 3d6265f

Commits on Aug 3, 2018

• Moved unnecessary doctests to unit tests

  ad71

  committed
  b549c20

  Copy full SHA for b549c20

Commits on Aug 5, 2018

• Added unit test for ModelBasedReflexAgent

  ad71

  committed
  236f57a

  Copy full SHA for 236f57a

• Added unit test for ModelBasedReflexAgent

  ad71

  committed
  ed70d85

  Copy full SHA for ed70d85

• Updated README.md

  ad71

  committed
  5315673

  Copy full SHA for 5315673

• Minor fix

  ad71

  committed
  da7c49e

  Copy full SHA for da7c49e

• Fixed a doctest

  ad71

  committed
  cf84e4b

  Copy full SHA for cf84e4b