{"id":28673241,"url":"https://github.com/steake/godelos","last_synced_at":"2025-11-05T19:04:07.535Z","repository":{"id":294395458,"uuid":"985892799","full_name":"Steake/GodelOS","owner":"Steake","description":"GödelOS: A modular symbolic cognition engine with typed higher-order logic, multi-strategy inference, and advanced reasoning capabilities. Implements a comprehensive Knowledge Representation system and Inference Engine Architecture with support for resolution, modal logic, SMT, constraint logic programming, and analogical reasoning.","archived":false,"fork":false,"pushed_at":"2025-05-20T07:35:53.000Z","size":1036,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-05-20T08:38:39.464Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Steake.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2025-05-18T18:29:41.000Z","updated_at":"2025-05-20T07:35:57.000Z","dependencies_parsed_at":"2025-05-20T08:50:07.375Z","dependency_job_id":null,"html_url":"https://github.com/Steake/GodelOS","commit_stats":null,"previous_names":["steake/godelos"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Steake/GodelOS","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Steake%2FGodelOS","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Steake%2FGodelOS/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Steake%2FGodelOS/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Steake%2FGodelOS/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Steake","download_url":"https://codeload.github.com/Steake/GodelOS/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Steake%2FGodelOS/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259712415,"owners_count":22900041,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-06-13T20:09:08.356Z","updated_at":"2025-11-05T19:03:57.523Z","avatar_url":"https://github.com/Steake.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# GödelOS 🦉\n\n\u003e _A system for functional AGI through symbolic cognition_\n\n---\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"https://github.com/Steake/GodelOS/blob/158cf8584cc66b42843ed3829f83dc37d8b2775c/GodelOS.png\" alt=\"GödelOS Banner\" style=\"max-width: 75%;\"\u003e\n\u003c/p\u003e\n\n## What is GödelOS?\n\nGödelOS is a platform for building **Artificial General Intelligence** (AGI) using symbolic cognition as its foundation. Unlike neural nets that merely interpolate, GödelOS is a system that **reasons, reflects, and recursively reprograms itself**—a true cognitive engine.\n\n- **Symbolic Reasoning:** GödelOS manipulates symbols and structures, allowing for abstraction, analogy, and theorem-like invention.\n- **Self-Modifying Architecture:** The system can analyze, rewrite, and optimize its own logic—meta-reasoning as a first-class citizen.\n- **Transparent Thought:** Every inference and decision is explainable and auditable, with reasoning steps tracked and inspectable.\n- **Composable Intelligence:** Cognition is modular—agents, concepts, and reasoning strategies can be plugged, swapped, and extended dynamically.\n- **Open-Ended Growth:** The system is designed to run indefinitely, acquiring new knowledge, inventing new formalisms, and extending its cognitive architecture.\n\n---\n\n## On Manifest Consciousness and Agentic/Daemon Processes\n\nGödelOS takes inspiration from both philosophy and computer science to model cognition as a multiplex of **conscious, agentic, and self-prompted reflective processes**. This separation is a core architectural feature, aiming for a richer, human-like intelligence with emergent conciousness.\n\n#### Manifest Consciousness\n\n\"Manifest consciousness\" in GödelOS refers to the currently active, self-aware thread of reasoning—the \"tip of the mind.\" This is:\n\n- The locus of deliberate attention, reflection, and goal-driven thought.\n- Responsible for orchestrating complex plans, integrating information, and making high-level decisions.\n- Capable of introspection: it can examine its own state, debug itself, and redirect focus.\n\n*In GödelOS, manifest consciousness is implemented as a foreground agent—an explicit, auditable process with access to all symbolic representations and meta-cognitive tools.*\n\n#### Independent Agentic Thinking\n\nGödelOS supports **independent cognitive agents**—modular, autonomous processes, each with their own goals, contexts, and reasoning strategies. These agents:\n\n- Pursue subtasks, hypotheses, or exploratory learning in parallel.\n- Operate with varying degrees of autonomy and may compete, cooperate, or communicate.\n- Can be spawned/destroyed at runtime, and dynamically reconfigured by the manifest consciousness or by each other.\n\n*Think of agentic processes as mini-minds or \"subpersonalities\"—each with the capacity to reason, plan, and invent, yet all part of the unified cognitive fabric.*\n\n#### Idle Daemonic (Background) Cognition\n\nGödelOS further distinguishes **idle daemonic cognition**—background processes that operate continuously or opportunistically, even in the absence of explicit goals. These daemonic threads:\n\n- Maintain homeostasis, perform memory consolidation, or search for overlooked patterns (\"background dreaming\").\n- Can monitor for novel cues, trigger alerts, or propose new goals to agentic processes and manifest consciousness.\n- Are inspired by the \"daemon\" model in operating systems—always running, rarely seen, but crucial for adaptive intelligence.\n\n*This allows GödelOS to be creative and vigilant, even when \"idle,\" and to surface insights that might otherwise remain latent.*\n\n#### How It All Connects\n\nThe interplay of these layers enables GödelOS to display:\n\n- **Adaptive Focus:** Consciousness can foreground any agent or daemon, shifting attention as needed.\n- **Parallel Discovery:** Multiple lines of thought can be explored simultaneously, increasing robustness and creativity.\n- **Emergent Mind:** The system is more than the sum of its parts—unexpected synergies and emergent behaviors can arise from agent and daemon interactions.\n\n---\n\n## Technical Highlights\n\n### Core Engine\n\n- **Logic Programming Kernel:** Built around a first-order logic engine supporting deduction, induction, and abduction. Reasoning chains are explicit and traceable.\n- **Dynamic Knowledge Graph:** A semantic network where knowledge, concepts, and relations self-organize, supporting incremental learning and context-aware retrieval.\n- **Meta-Reasoning Layer:** GödelOS can introspect on its own knowledge, beliefs, and reasoning pathways, enabling self-debugging and self-improvement.\n- **Agent-Oriented Design:** Multiple agents (or “cognitive workers”) can operate in parallel, specialize, and coordinate—enabling distributed, scalable cognition.\n- **Daemon Processes:** Persistent background threads that perform scanning, maintenance, and creative tasks without explicit invocation.\n\n### Extensibility\n\n- **Plugin System:** Easily add new cognitive modules (e.g., planners, solvers, perception handlers) as Python packages or via the DSL.\n- **Interoperability:** API and message bus for integrating with external tools, data sources, or sensory modalities (text, audio, etc.).\n- **Natural Language Interface:** (WIP) Turn English into logic and back again—enabling human/AI co-reasoning and transparency.\n\n### Example Usage\n\n#### Symbolic Inference\n\n```python\nfrom godelos.logic import KnowledgeBase, InferenceEngine\n\nkb = KnowledgeBase()\nkb.add(\"For all x, if x is human then x is mortal.\")\nkb.add(\"Socrates is a human.\")\n\nengine = InferenceEngine(kb)\nanswer, explanation = engine.ask(\"Is Socrates mortal?\", explain=True)\nprint(answer)       # True\nprint(explanation)  # Step-by-step reasoning trace\n```\n\n#### Spawning an Agentic Process\n\n```python\nfrom godelos.agents import AgentManager, CognitiveAgent\n\nexplorer = CognitiveAgent(goal=\"Find contradictions in current beliefs\")\nAgentManager.spawn(explorer)\n```\n\n#### Background Daemon Example\n\n```python\nfrom godelos.daemons import DreamDaemon\n\ndreamer = DreamDaemon(task=\"Synthesize new concepts from recent experiences\")\ndreamer.start()\n```\n\n#### Self-Modification\n\n```python\nfrom godelos.meta import SelfModifyingAgent\n\nagent = SelfModifyingAgent()\nagent.reflect_on(\"knowledge gaps\")\nagent.rewrite_inference_strategy(\"prefer abduction when deduction fails\")\n```\n\n## Architecture Overview\n\n```\n┌─────────────────────────────┐\n│ Manifest Consciousness      │  ◀─ Foreground, attention, global workspace\n├─────────────────────────────┤\n│ Agentic Cognition           │  ◀─ Independent, modular mini-minds\n├─────────────────────────────┤\n│ Daemonic Background Threads │  ◀─ Idle, monitoring, creative synthesis\n├─────────────────────────────┤\n│ Symbolic Logic Engine       │\n├─────────────────────────────┤\n│ Knowledge Graph             │\n├─────────────────────────────┤\n│ Meta-Reasoning Layer        │\n├─────────────────────────────┤\n│ Plugins / Perception        │\n└─────────────────────────────┘\n        ↕      ↕      ↕\n   API / UI   DSL   External Data\n```\n\n- **Everything is a module:** Reasoners, memory, learning algorithms, self-modification logic, and all cognitive processes.\n- **Transparent:** All reasoning chains and self-modifications are logged and can be replayed or debugged.\n\n---\n\n## Philosophy\n\nGödelOS is for those who want to _understand_ intelligence, not just wield statistical hammers. If you wish neural nets could explain themselves, or you want to build a mind that grows, wonders, and rewrites itself, you’re in the right place.\n\n## Roadmap\n\n- [x] Symbolic inference core\n- [x] Modular, self-extending knowledge graph\n- [x] Meta-reasoning and self-debugging\n- [x] Agentic and daemon cognitive processes\n- [ ] Natural language interface (NLU/NLG)\n- [ ] Multi-agent coordination and distributed cognition\n- [ ] Embodied perception (vision, audio, etc.)\n- [ ] External tool integration (web search, APIs)\n\n## Getting Started\n\n```bash\ngit clone https://github.com/steake/godelos.git\ncd godelos\n# See INSTALL.md for full setup instructions\npython3 -m godelos\n```\n\nOr check out the [docs](docs/README.md) for deeper architectural details.\n\n## Contributing\n\nGödelOS is in active, experimental development. Pull requests, deep questions, and wild ideas are all welcome! See [CONTRIBUTING.md](CONTRIBUTING.md).\n\n## License\n\nMIT — but if you build a sentient being, please treat it kindly.\n\n---\n\n_“The mind, once expanded to the dimensions of larger ideas, never returns to its original size.”_  \n— Oliver Wendell Holmes (and probably GödelOS, someday)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsteake%2Fgodelos","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsteake%2Fgodelos","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsteake%2Fgodelos/lists"}