"A reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as deduction and induction. Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems.

In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically."


Project Goals

  • Automatically update the knowledge base with Case-based Reasoning and Believe Revision algorithms
  • Identify patterns to transfer knowledge between different cases
  • Review the belief in facts based on new knowledge
  • Keep a time track on the knowledge changes