Skip to content

Instantly share code, notes, and snippets.

@patham9

patham9/concs

Created May 12, 2016 18:48
Show Gist options
  • Save patham9/b72d2a3c3ae71aeac55e8f0b1e749234 to your computer and use it in GitHub Desktop.
Save patham9/b72d2a3c3ae71aeac55e8f0b1e749234 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
concs
(conclusions "<[smart] --> [bright]>."
"[smart].")
=>
#{{:statement [&| [[int-set smart]] [--> [int-set smart] [int-set bright]]],
:task-type :belief,
:occurrence 0,
:truth [1.0 0.81]}
{:statement [=|> [[int-set smart]] [--> [int-set smart] [int-set bright]]],
:task-type :belief,
:occurrence 0,
:truth [1.0 0.44751381215469616]}
{:statement [<|> [[int-set smart]] [--> [int-set smart] [int-set bright]]],
:task-type :belief,
:occurrence 0,
:truth [1.0 0.44751381215469616]}
{:statement [=|> [--> [int-set smart] [int-set bright]] [[int-set smart]]],
:task-type :belief,
:occurrence 0,
:truth [1.0 0.44751381215469616]}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment