Dominik Tilman
Project OwnerProject Lead and Technical Lead
With this proposal, we want to contribute to improving PLN's capabilities through our research of causal reasoning. We want to address both objectives of the RFP by combining our research with the development of a theoretical framework and its validation in two complementary areas: bioinformatics and reputation systems. With this proposal we aim to deliver: 1. Theoretical frameworks for integrating causal reasoning into PLN's inference control 2. Validated methods for distinguishing causation from correlation using PLN rules 3. Proof-of-concept implementations demonstrating our findings in AtomSpace 4. Guidelines for future PLN improvements based on our research results
Implementing causal, versus strictly correlative, inference can lead to a deeper understanding of many complex problems. Probabilistic Logic Networks (PLN), with their robust mathematical foundations for handling uncertain and incomplete knowledge—such as induction, abduction, analogy, and reasoning about time—offer a strong framework for this task. This project has two main goals:
Proposals can address either of these goals separately or explore both together and the feedback between them. Submissions should include testable examples to validate the approach and demonstrate how causal reasoning improves PLN’s overall performance.
In order to protect this proposal from being copied, all details are hidden until the end of the submission period. Please come back later to see all details.
Project Kick-Off meeting of the team and coordination with the SNET team on the project design and make any final milestone changes as necessary.
- Signed contract - Detailed research plan - Initial literature review outline
$1,500 USD
Signed Contract
Core research phase investigating causal networks and PLN inference.
1. Research Reports: - Causal network theory analysis - PLN inference control study - Causation vs correlation differentiation methods 2. Initial theoretical frameworks 3. Proposed algorithmic approaches 4. Analysis of integration points with PRIMUS architecture 5. Review of potential MeTTa implementation approaches
$9,500 USD
- Comprehensive theoretical foundation established - Clear approach for causal network integration identified - Methods for causation/correlation distinction defined
Development of formal frameworks and algorithms.
1. Formal Frameworks: - Causal inference guidance models - Pattern recognition algorithms - Validation methodologies 2. Algorithm specifications 3. Validation criteria 4. Framework compatibility assessment with Hyperon's knowledge representation 5. Integration considerations for PLN within Hyperon
$9,500 USD
- Complete formal framework documentation - Algorithm specifications ready for implementation - Validation approach defined
Design of validation implementations.
1. Technical Design: - PLN rule prototypes - Causal pattern specifications - Test case designs 2. Implementation plan 3. Validation metrics 4. Design patterns suitable for MeTTa implementation 5. Consideration of Hyperon's metagraph capabilities
$9,500 USD
- Design documents approved - Test cases defined - Implementation approach validated
Implementation and testing of biomedical validation cases
1. Proof-of-Concept Implementation: - Basic causal pattern recognition - Pathway analysis examples - Test suite 2. Validation results 3. Analysis documentation
$6,500 USD
- Working proof-of-concept for biological pathways - Validation results documented - Key findings analyzed
Implementation and testing of reputation system validation cases
1. Proof-of-Concept Implementation: - User behavior analysis - Trust computation examples - Test scenarios 2. Validation results 3. Analysis documentation
$6,500 USD
- Working proof-of-concept for reputation systems - Validation results documented - Comparative analysis completed
Comprehensive analysis of research results.
1. Research Analysis: - Cross-domain findings - Method effectiveness analysis - Limitations and challenges 2. Future research recommendations 3. Integration guidelines 4. Specific recommendations for Hyperon/PRIMUS integration 5. Future development paths within the cognitive architecture
$3,000 USD
- Complete analysis of findings - Clear recommendations documented - Integration paths identified
Development of PLN integration guidelines.
1. Integration Documentation: - Technical implementation guidelines - Best practices - Example patterns
$2,500 USD
- Clear integration guidelines provided - Implementation examples documented
Final research documentation and presentation.
1. Final Documentation: - Complete research findings - Validation results - Implementation guidelines 2. Research presentation 3. Code examples and prototypes
$1,500 USD
- Complete research documentation delivered - All findings and guidelines approved - Presentation completed successfully
Reviews & Ratings
Please create account or login to write a review and rate.
Check back later by refreshing the page.
© 2025 Deep Funding
Join the Discussion (0)
Please create account or login to post comments.