Return to search

A SLDNF based formalization for updates and abduction

Knowledge representation and inference are the backbone of artificial intelligence, and logic programming is one of the most widely used knowledge representation tools. Logic programming with deduction/induction/abduction as the reasoning technique is serving numerous fields of artificial intelligence. In dynamic domains where there are constant changes in knowledge, updating the knowledge base is crucial to keep it stable. This thesis investigates the issues in updating the knowledge base. Two types of logic program based updates are considered, simple fact based updates where the knowledge base is updated by a simple fact, and rule based updates where the knowledge base is updated by a rule. A SLDNF based procedural approach is proposed to implement such updates. This thesis also investigates the issues involved in simple fact based and rule based abduction, and it is observed that updates are closely related to abduction. A SLDNF based procedural approach to perform simple fact/rule based updates and abduction is proposed as a result of this study / Master of Science (Hons)

Identiferoai:union.ndltd.org:ADTP/182007
Date January 2001
CreatorsLakkaraju, Sai Kiran, University of Western Sydney, College of Science, Technology and Environment, School of Computing and Information Technology
Source SetsAustraliasian Digital Theses Program
LanguageEnglish
Detected LanguageEnglish
SourceTHESIS_CSTE_CIT_Lakkaraju_S.xml

Page generated in 0.0022 seconds