km#knowledge_inference/reasoning/generation__knowledgeinference/reasoning/generation
  supertype:  KM_task  a K.M. (sub)task
  part:  knowledge_comparison
  part of:  knowledge_validation  knowledge_modelling/classification/extraction  knowledge_search_task
  subtype:  generalizing__generalization__generalising__generalisation
     subtype:  deduction
     subtype:  abduction
     subtype:  induction
  subtype:  specializing__specialization__specialising__specialisation
  subtype:  analogy_making__analogymaking
     subtype:  case_base_reasoning__CBR
  subtype:  monotonic_reasoning__monotonicreasoning
  subtype:  non_monotonic_reasoning__nonmonotonicreasoning
     subtype:  belief_revision__beliefrevision
        subtype:  permissive_belief_revision
  subtype:  consistent_inference
     subtype:  consistent_knowledge_search
  subtype:  inconsistent_inference
     subtype:  inconsistent_knowledge_search
  subtype:  complete_inference
     subtype:  complete_knowledge_search
  subtype:  incomplete_inference
     subtype:  incomplete_knowledge_search
  subtype:  structure-only_based_inference
     subtype:  structure_only_based_search
        subtype:  specialization_structural_search
        subtype:  generalization_structural_search
           subtype:  generalization_structural_search_of_FOL_statements
  subtype:  rule_based_inference

1 statement is about an indirect instance of knowledge_inference/reasoning/generation (permissive_belief_revision): graph6_on_article
  click here to display them or click here for a search form or here to add a statement