Struct KnowledgeGrammar 

pub struct KnowledgeGrammar<'a>(/* private fields */);

KnowledgeGrammar provides Layer 6 (Information) composition operations.

Implementations

impl<'a> KnowledgeGrammar<'a>

pub fn new(store: &'a mut InMemoryStore) -> Self

pub fn claim( &mut self, source: ActorId, claim: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn categorize( &mut self, source: ActorId, target: EventId, taxonomy: &str, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn abstract_merge( &mut self, source: ActorId, generalization: &str, instances: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn encode( &mut self, source: ActorId, encoding: &str, original: EventId, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn infer( &mut self, source: ActorId, conclusion: &str, premise: EventId, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn remember( &mut self, source: ActorId, knowledge: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn challenge( &mut self, source: ActorId, counter_evidence: &str, claim_id: EventId, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn detect_bias( &mut self, source: ActorId, target: EventId, bias: &str, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn correct( &mut self, source: ActorId, correction: &str, original: EventId, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn trace( &mut self, source: ActorId, target: EventId, provenance: &str, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn recall( &mut self, source: ActorId, query: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn learn( &mut self, source: ActorId, learning: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn retract( &mut self, source: ActorId, claim_id: EventId, reason: &str, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<Event>

pub fn fact_check( &mut self, checker: ActorId, claim_id: EventId, provenance: &str, bias_analysis: &str, verdict: &str, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<FactCheckResult>

pub fn verify( &mut self, source: ActorId, claim_str: &str, provenance: &str, corroboration: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<VerifyResult>

pub fn survey( &mut self, source: ActorId, queries: &[&str], generalization: &str, synthesis: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<SurveyResult>

pub fn knowledge_base( &mut self, source: ActorId, claims: &[&str], taxonomies: &[&str], memory_label: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<KnowledgeBaseResult>

pub fn transfer( &mut self, source: ActorId, query: &str, encoding: &str, learning: &str, causes: Vec<EventId>, conv_id: ConversationId, signer: &dyn Signer, ) -> Result<TransferResult>