Sai Kiran Lakkaraju

Learn More
This paper introduces a procedural approach to perform rule based abduction in a knowledge base. In this context a knowledge base is realised as a normal abductive logic program, and an observation can be either a literal or a rule. A SLDNF resolution based proof procedure is employed to achieve this rule based abduction. It is shown that using this(More)
Logic programming is one of the most popular and widely used knowledge representation tools. In very large scale dynamic domains where there is a constant change in knowledge, sourcing the existing knowledge which is being effected and updating the knowledge base is a crucial point to keep the knowledge base in stable condition. This paper investigates the(More)
  • 1