datalog_lrp.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <unordered_map>
#include <vector>
 
#include "pulsatrix/datalog_atom.hpp"
#include "pulsatrix/datalog_rule.hpp"
#include "pulsatrix/datalog_weighted_fact_database.hpp"
 
namespace pulsatrix::datalog {
 
using RelevanceMap = std::unordered_map<Atom, double, AtomHash>;
 
struct RelevanceResult {
    RelevanceMap all_atoms;
    RelevanceMap base_facts;
};
 
[[nodiscard]] RelevanceResult propagate_relevance_weighted(const std::vector<Rule>& rules,
                                                             const WeightedFactDatabase<double>& fixpoint,
                                                             const Atom& query, double relevance_seed,
                                                             double epsilon = 1e-6);
 
}  // namespace pulsatrix::datalog