(add-inconsistencies fdn & nodesets)
Indicate nodes that cannot all be simultaneously believed.
Usage example: (add-inconsistencies fdn [:node1 :node2 :node3] [:node2 :node3] ...)
Indicate nodes that cannot all be simultaneously believed. Usage example: (add-inconsistencies fdn [:node1 :node2 :node3] [:node2 :node3] ...)
(believed-predicate-assignments fdn)
Returns list of predicates and their believed assignments (for those predicates that have believed assignments.
Example output: ([:parent :jim :sam] [:father :jim :sam] [:male :jim])
Returns list of predicates and their believed assignments (for those predicates that have believed assignments. Example output: ([:parent :jim :sam] [:father :jim :sam] [:male :jim])
(can-explain fdn explanantia explananda)
The explananda, as a conjunction, justify each of the explanantia.
The explananda, as a conjunction, justify each of the explanantia.
(candidates fdn predicate var-maps)
Builds a predicate node (with variables, e.g., "parent(x,y)") and establishes candidate instantiations of the variables. Also builds nodes for the variables and ensures various assignments for the same variable are incompatible. In this way, variable names are global (so any node referring to "x" is referring to the same "x" assignment).
Usage example: (candidates fdn [:parent :x :y] [{:x :joe :y :jane} {:x :jim :y :same}])
Builds a predicate node (with variables, e.g., "parent(x,y)") and establishes candidate instantiations of the variables. Also builds nodes for the variables and ensures various assignments for the same variable are incompatible. In this way, variable names are global (so any node referring to "x" is referring to the same "x" assignment). Usage example: (candidates fdn [:parent :x :y] [{:x :joe :y :jane} {:x :jim :y :same}])
(predicate? n)
Returns true if input has the form of a predicate node.
Returns true if input has the form of a predicate node.
(predicates fdn)
Returns nodes with variables.
Returns nodes with variables.
(variable? n)
Returns true if input has the form of a variable node.
Returns true if input has the form of a variable node.
(variables fdn)
Returns nodes representing variables.
Returns nodes representing variables.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close