Syntax Overview

What This Section Covers

This section describes the interaction language of AGISystem2 – how we express facts, questions and Sys2DSL programmes in a simple, deterministic textual form, including the scripts that later serve as input for validation and abstract interpretation runs.

The goal of this page is to act as a map of the syntax sub‑pages and when to use them, not to repeat technical details.

Core Syntax Sub-pages

• Sys2DSL – the base language of @var ACTION … lines, variables, actions and topological evaluation; all other syntax pages are specialisations or applications of this language.
• Facts & Questions – how to write basic facts and simple questions as Sys2DSL instructions (ASSERT, ASK, CF) and how truth objects are handled.
• Theory Files – how Sys2DSL looks inside theory files, how lines with @var ACTION … are structured and how to separate reusable theories from temporary sessions.
• Grammar and Forms – a summary of grammar rules: what is allowed on a line, how variables are delimited (@name, $name), which token forms are accepted (concepts, individuals, variables) and how they combine into a script.

Reference Sub-pages

• Dimensions – the conceptual space partitioning into ontology (facts about the world) and axiology (values and norms), how they're configured, and why the separation matters for bias control and auditability.
• Relations – complete reference for all built-in relations (verbs): taxonomic (IS_A), mereological (PART_OF), causal (CAUSES), spatial (LOCATED_IN), and deontic (PERMITS, PROHIBITS).
• Custom Verbs – how to define domain-specific relations with DEFINE_RELATION, including properties like symmetry, transitivity, and inverses; also covers the critical geometric principle of values as separate concepts.
• Metacognition – how the system reasons about its own knowledge: introspection commands, theory layering, memory management, and the internal architecture that connects Sys2DSL to the vector space.

When to start here

Use this page as a "map":

• if you want to understand the general shape of scripts – start with Sys2DSL;
• if you just want to say "Dog IS_A Animal?" – start with Facts & Questions;
• if you want to save reusable rules into files – see Theory Files;
• if you are implementing a parser or editor – see Grammar and Forms for exact rules;
• if you want to understand ontology vs. axiology – see Dimensions;
• if you need to use or define relations – see Relations and Custom Verbs;
• if you want to understand how the system works internally – see Metacognition.

References

For strict technical details (interfaces, pseudocode, constraints), consult the design specifications in the specs area, for example:

• Parser – DS[/ingest/parser.js]
• TranslatorBridge – DS[/interface/translator_bridge.js]
• Sys2DSL Engine – DS[/theory/dsl_engine.js]