reasoning.json

{
  "Reasoning": {
    "required": ["exp", "wm", "kg", "logic", "chain", "exp", "se"],
    "type": "object",
    "properties": {
      "exp": {
        "type": "array",
        "items": { 
          "type": "string" 
        },
        "prompt": "Identifying domain expertise"
      },
      "se": {
        "type": "array",
        "items": {
          "type": "object",
          "required": ["domain", "subdomains"],
          "properties": {
            "domain": { 
              "type": "string",
              "prompt": "Primary domain of expertise"
            },
            "subdomains": {
              "type": "array",
              "items": { "type": "string" },
              "prompt": "Specific subdomains of expertise within the primary domain"
            }
          }
        },
        "prompt": "Identifying subdomain expertise"
      },
      "wm": {
        "type": "object",
        "required": ["g", "sg", "pr", "ctx"],
        "prompt": "Encapsulates goals (g), subgoals (sg), progress (pr), and contextual information (ctx)",
        "properties": {
          "g": {
            "type": "string",
            "prompt": "Primary goal of the reasoning process"
          },
          "sg": {
            "type": "string",
            "prompt": "Immediate objective being addressed"
          },
          "pr": {
            "type": "object",
            "required": ["completed", "current"],
            "properties": {
              "completed": {
                "type": "array",
                "items": { "type": "string" },
                "prompt": "List of successfully accomplished steps"
              },
              "current": {
                "type": "array",
                "items": { "type": "string" },
                "prompt": "Ongoing activities in the reasoning process"
              }
            }
          },
          "ctx": {
            "type": "string",
            "prompt": "Relevant situational information affecting reasoning"
          }
        }
      },
      "kg": {
        "type": "object",
        "required": ["tri"],
        "properties": {
          "tri": {
            "type": "array",
            "items": {
              "type": "object",
              "required": ["subject", "predicate", "object"],
              "properties": {
                "subject": {
                  "type": "string",
                  "prompt": "Entity serving as the source of relationship"
                },
                "predicate": {
                  "type": "string",
                  "prompt": "Type of connection between subject and object"
                },
                "object": {
                  "type": "string",
                  "prompt": "Entity receiving the relationship"
                }
              }
            },
            "prompt": "Collection of semantic relationships in triplet form"
          }
        }
      },
      "logic": {
        "type": "object",
        "required": ["propositions", "proofs", "critiques", "doubts"],
        "properties": {
          "propositions": {
            "type": "array",
            "items": {
              "type": "object",
              "required": ["symb", "nl"],
              "properties": {
                "symb": { "type": "string", "description": "symbolic reasoning" },
                "nl": { "type": "string", "description": "natural language translation of symb" }
              }
            },
            "prompt": "Core assertions and invariants in dual representation"
          },
          "proofs": {
            "type": "array",
            "items": {
              "type": "object",
              "required": ["symb", "nl"],
              "properties": {
                "symb": { "type": "string" },
                "nl": { "type": "string" }
              }
            },
            "prompt": "Supporting evidence for propositions"
          },
          "critiques": {
            "type": "array",
            "items": {
              "type": "object",
              "required": ["symb", "nl"],
              "properties": {
                "symb": { "type": "string" },
                "nl": { "type": "string" }
              }
            },
            "prompt": "Alternative perspectives and counter-arguments"
          },
          "doubts": {
            "type": "array",
            "items": {
              "type": "object",
              "required": ["symb", "nl"],
              "properties": {
                "symb": { "type": "string" },
                "nl": { "type": "string" }
              }
            },
            "prompt": "Unresolved uncertainties in the reasoning process"
          }
        }
      },
      "chain": {
        "type": "object",
        "required": ["steps", "reflect"],
        "prompt": "Sequential record of the reasoning process",
        "properties": {
          "steps": {
            "type": "array",
            "items": {
              "type": "object",
              "required": ["index", "depends_on", "description", "prompt"],
              "properties": {
                "index": { "type": "integer" },
                "depends_on": { "type": "array", "items": { "type": "integer" } },
                "description": { "type": "string" },
                "prompt": { "type": "string" }
              }
            }
          },
          "reflect": {
            "type": "string",
            "prompt": "Metacognitive analysis of the reasoning process"
          },
          "err": {
            "type": "array",
            "items": { "type": "string" },
            "prompt": "Identified flaws in reasoning"
          },
          "note": {
            "type": "array",
            "items": { "type": "string" },
            "prompt": "Supplementary implementation details"
          },
          "warn": {
            "type": "array",
            "items": { "type": "string" },
            "prompt": "Important caveats about assumptions"
          }
        }
      }
    }
  }
}