Skip to content

Catetheoretic approach: Grounding Validation for the Alg_Specification and Generalization #63

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
Tekleab15 wants to merge 41 commits into
base: catetheoretic_approach
Choose a base branch
from
Open

Catetheoretic approach: Grounding Validation for the Alg_Specification and Generalization #63

Tekleab15 wants to merge 41 commits into from

Conversation

@Tekleab15
Copy link
Collaborator

@Tekleab15 Tekleab15 commented Dec 8, 2025

This PR consists

  • Adding Second-Layer LLM Grounding Validator to verify the validity of the AlG_Specification and Generalization.
  • Crafts another validation prompt template to check the consistency of the generated outputs
  • This Grounding technique is far more feasible and flexible than the previous strict implementation

@Tekleab15 Tekleab15 requested a review from wendecoder December 8, 2025 07:44
@Tekleab15
Adding morphism for reverse mapping of the features from the generic …
139feb8 
…space back to the concepts
@Tekleab15
Including Morphism_prompt for map features back to concepts
a62b163
@Tekleab15
Adjusting return type specific to morphism_finder
be35f4e
@Tekleab15
Applying the actual blend
e764b8a
@Tekleab15
Adding Co-limit wrapper
3cb9111
@Tekleab15
Implemeting metta based blend consistency checker
ce66114
@Tekleab15
Assuming the Algebric specification and generalization regex that ch…
1b95b95 
…eckes parenthesis balancing.
@Tekleab15
Generating the blend sample simulating alg_spec and generalization
06e93a6
@Tekleab15
Validate and test the blend output
9a68799
@Tekleab15
Expporting the algebric specification output to atomspace
cb18322
@Tekleab15
Refined colimit calculator-customized to be called by the wrapper
99941b8
@Tekleab15
Adding parser to extract specification from the expressions
6edaf71
@Tekleab15
Refining the algebric specification output
7cdbe01
@Tekleab15
Minor refinement on morphism refinement logic
690777f
@Tekleab15
Loading and Validating the concept-atomspace common for algebric_spec…
1b51974 
…ifier and generalizer keeping reducing redundancy
@Tekleab15
Testing the robustness of the colmit(amalgam) calculator
8f3858a
@Tekleab15
commenting the file output
56041dd
@Tekleab15
Wrapping up the metta files in the extensions.py
a616d3a
@Tekleab15
Wrapper for the algebraic specification builder
5c53203
@Tekleab15
Wrapper for the generic space builder
c2b069a
@Tekleab15
Finalizing the blending process using the collecting the alg_spec and…
6f6f4dc 
… generalization
@Tekleab15
Preprocessing the algspec for colimit/amalgam calculation
b1562e0
@Tekleab15
Refining extesions for better readability
6df61a9
@Tekleab15
overriding generate_blend.metta
36f8a15
@Tekleab15
Algspec output here cleaned for blend
360b248
@Tekleab15
sample generic space and blend
a3ec892
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@wendecoder wendecoder Awaiting requested review from wendecoder

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@Tekleab15