Skip to content

dev Goal System

PtrMan edited this page Jul 1, 2020 · 2 revisions

A Goal-System here refers to a conceptual component of an implementation that manages and derives goals.
It has to have some way to store and retrieve goals for derivation and decision making.

Goals from the Goal-System have to be selected for derivation of new goals by an attention mechanism. This is done in each work cycle which is spent for the processing of goals.

The implementation of a goal system is just constrained by AIKR. A system can only store a fixed amount of goals.
Derivation of goals can take only a relatively short amount of time up to a maximal amount of time.

rules

A goal System must implement the following rules:

operation deduction (forward)

(&/,a,op())!
event a.
|- ded
event op()!

is used for deriving ops for goal driven behaviour

goal deduction (backward)

a!
(&/, x, y) =/> a.
|- ded
(&/, x, y)!

Note: ded must be {f1f2, f1c1c2}, because neg goals and impl with freq=0 shouldn't lead to strong goal

structural deducation (forward/backward)

(&/, a, b)!
|- structural ded, desire ded
a!

is used to derive goals

revision

visit #nars (more active) and ##nars on FreeNode

Clone this wiki locally