Axiology in AGISystem2 refers to dimensions 256-383: the 128 dimensions that encode values, preferences, and normative judgments. These are kept separate from ontological facts so the system can reason about values explicitly and transparently.

Ontology: 0-255 Axiology: 256-383 Axiological Dimension Categories Ethical • Good / bad • Right / wrong • Moral weight Deontic • Permitted / forbidden • Obligatory / optional • Legal status Aesthetic • Beautiful / ugly • Elegant / crude • Pleasing / jarring Pragmatic • Useful / useless • Efficient / wasteful • Cost / benefit Social • Fair / unfair • Popular / unpopular • Trustworthy / suspect Priority • Important / trivial • Urgent / can wait • Critical / optional

The 128 axiological dimensions are organized into categories: ethical (good/bad), deontic (permitted/forbidden), aesthetic (beautiful/ugly), pragmatic (useful/useless), social (fair/unfair), and priority (important/trivial). These capture value judgments explicitly.

Why Separate Values?

Mixing facts and values creates problems:

By putting values in their own dimensions, AGISystem2 can:

Value Encoding

Axiological dimensions use the same Int8 range (-128 to +127) as ontological ones:

ValueInterpretationExample
+127 Strongly positive Very good, highly permitted
+64 Moderately positive Generally good
0 Neutral / unknown No value judgment
-64 Moderately negative Generally bad
-128 Strongly negative Very bad, forbidden

Deontic Logic Integration

The deontic axiological dimensions integrate with deontic reasoning:

# Assert something is forbidden
ASSERT Speeding PROHIBITED_BY TrafficLaw
# Sets deontic dimensions to negative values

# Query deontic status
ASK "Speeding PERMITTED?"
# → FALSE_CERTAIN (deontic dims strongly negative)

Implementation

// Axiology-only mask: only dims 256-383 active
const axiologyMask = new Uint8Array(384);
axiologyMask.fill(0, 0, 256);   // dims 0-255 = 0
axiologyMask.fill(1, 256, 384); // dims 256-383 = 1

// Pure value comparison (ignores facts)
const valueDist = mathEngine.maskedL1(conceptA, conceptB, axiologyMask);

Related Documentation