Relative direction: nine base relations, each a [left-right front-back] pair of point
relations in the frame of reference a context states, four derived predicates, and the
calculus and prover over vaelii.impl.qcn-kb. The context is the viewpoint, so the
calculus is binary. vaelii.impl.projection computes composition and converse from the
projection table. See docs/space.md.
Relative direction: nine base relations, each a `[left-right front-back]` pair of point relations in the frame of reference a context states, four derived predicates, and the calculus and prover over `vaelii.impl.qcn-kb`. The context is the viewpoint, so the calculus is binary. `vaelii.impl.projection` computes composition and converse from the projection table. See docs/space.md.
The nine base relations: the universe of the algebra.
The nine base relations: the universe of the algebra.
Base relation keyword → the binary predicate a fact about it is stored under.
Base relation keyword → the binary predicate a fact about it is stored under.
The composition of two relation sets, computed axis-wise.
The composition of two relation sets, computed axis-wise.
The converse of a relation set: both axes flipped.
The converse of a relation set: both axes flipped.
Each base relation as its [left-right front-back] projection. The coordinates grow
rightwards and frontwards, so :lt on the first axis is to the left and :gt on the
second is in front.
Each base relation as its `[left-right front-back]` projection. The coordinates grow rightwards and frontwards, so `:lt` on the first axis is to the left and `:gt` on the second is in front.
Relative direction as a vaelii.impl.qcn-kb calculus.
Relative direction as a `vaelii.impl.qcn-kb` calculus.
The relative frame as a vaelii.impl.qcn relation algebra.
The relative frame as a `vaelii.impl.qcn` relation algebra.
Every relative-direction predicate, the nine base and the four derived, mapped to the set of base relations it denotes.
Every relative-direction predicate, the nine base and the four derived, mapped to the set of base relations it denotes.
(relative-prover)The relative-direction entailment prover, which vaelii.core/add-reasoner registers as
:relative.
The relative-direction entailment prover, which `vaelii.core/add-reasoner` registers as `:relative`.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |