{
  "id": "lib-process:scientific-discovery--modal-reasoning",
  "_kind": "LibraryProcess",
  "_file": "generated-library/processes.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "modal-reasoning",
    "description": "Modal Reasoning - Reason systematically with necessity, possibility, epistemic operators,\nand dynamic modalities to explore what must be, what could be, what is known, and what changes across\npossible worlds in scientific discovery, hypothesis evaluation, and theoretical analysis.",
    "libraryPath": "library/specializations/domains/science/scientific-discovery/modal-reasoning.js",
    "specialization": "scientific-discovery",
    "references": [
      "- Modal Logic: https://plato.stanford.edu/entries/logic-modal/\n- Possible Worlds: https://plato.stanford.edu/entries/possible-worlds/\n- Epistemic Logic: https://plato.stanford.edu/entries/logic-epistemic/\n- Counterfactual Conditionals: https://plato.stanford.edu/entries/counterfactuals/"
    ],
    "example": "const result = await orchestrate('specializations/domains/science/scientific-discovery/modal-reasoning', {\n  proposition: 'Dark matter exists as weakly interacting massive particles',\n  domain: 'Cosmology',\n  modalContext: { type: 'epistemic', knownConstraints: ['Galaxy rotation curves', 'Gravitational lensing'] }\n});",
    "usesAgents": [
      "formal-logic-reasoner"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "skill-area:data-analysis",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "skill-area:statistical-analysis",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "skill-area:deep-web-research",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "domain:scientific-discovery",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "role:research-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "role:computational-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "workflow:experiment-design",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "workflow:peer-review-cycle",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "specialization:scientific-research-methods",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:scientific-discovery--modal-reasoning",
      "to": "specialization:scientific-discovery",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 0.9
      }
    }
  ],
  "incomingEdges": []
}