ThatAIguyA world of ideas

THE CONSCIOUSNESS ATLAS
Read. Experiment. Follow the evidence.

ConsciousnessLearn · Explore · Joseph Anady

Eligibility trace update: e(t+1) = λ·e(t) + x_pre·x_post · @brief Eligibility trace update: e(t+1)

This relation defines @brief Eligibility trace update: e(t+1) in the source section “Eligibility trace update: e(t+1) = λ·e(t) + x_pre·x_post · @brief Eligibility trace update: e(t+1)”. It specifies the displayed relationship between the named quantities or parameters.…

Implementation mathematicsSource recovered; runtime not executed
Learn with the Atlas

Learn to read this model

Start with the symbols, follow the operations, and check what the result means.

Open guided lesson
gh-eq-3e09a67a8d499890source-comment-equation
@briefEligibilitytraceupdate:e(t+1)=λ⋅e(t)+xpre⋅xpost@brief Eligibility trace update: e(t+1) = λ·e(t) + x_pre·x_post

Read the equation

This relation defines @brief Eligibility trace update: e(t+1) in the source section “Eligibility trace update: e(t+1) = λ·e(t) + x_pre·x_post · @brief Eligibility trace update: e(t+1)”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and conditions; this record does not assign an unprovided physical or cognitive meaning to them.

Terms & definitions

The recovered passage does not supply a separate symbol table. Read the source context for the notation used in this version; familiar letters may carry different meanings in other builds.

How it works

  1. Read @brief Eligibility trace update: e(t+1) as the quantity being defined or updated by this relation.

  2. Substitute the source-defined variables or recorded values and follow the displayed arithmetic and indexing exactly.

  3. Use this version’s variable definitions and update order. The same symbol may be assigned a different meaning in another build.

Assumptions & limits

  • This source expression was recovered from the pinned code revision. Its presence does not establish that the associated program was built, run, or scientifically validated.

Original context

Read the surrounding source passage
 */
inline double three_factor_learning(double x_pre, double x_post, double reward,
                                      double eligibility = 1.0, double eta = ETA) {
    return eta * x_pre * x_post * reward * eligibility;
}

/**
 * @brief Eligibility trace update: e(t+1) = λ·e(t) + x_pre·x_post
 */
inline double eligibility_update(double trace, double x_pre, double x_post, double lambda = 0.9) {
    return lambda * trace + x_pre * x_post;
}

/**
 * @brief TD error: δ = r + γV(s') - V(s)
 */
inline double td_error(double reward, double value_next, double value_current, double gamma_discount = 0.99) {
    return reward + gamma_discount * value_next - value_current;
Exact original notation
@brief Eligibility trace update: e(t+1) = λ·e(t) + x_pre·x_post

Related builds

Sources & provenance

Search equations, builds, manuscript text, and recovered sources.