Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/17461
Title: Negation in logic programming systems
Researcher: Minz, Sonajharia
Guide(s): Bharadwaj, K K
Keywords: Computer Science
System Science
negation
logic
programming systems
Upload Date: 13-Mar-2014
University: Jawaharlal Nehru University
Completed Date: 1996
Abstract: Logic Programming languages use a uniform formulation to represent data, program, queries and newline- newlineintegrity constraint. Answering a query in a such systems is more of computation than a mere newlineretrieval of information. Only positive information can be logical consequences of a program, newlinetherefore special rules are needed to deduce negative information. Logic programs lack sufficient newlineexpressiveness for many situations. Explicit representation of negative information in logic newlineprogramming has not been feasible in many applications. The techniques for knowledge newlinerepresentation in logic programming systems can not be isolated from semantics for Logic newlinePrograms. newlineTraditionally, negation is discussed in the context of databases. However, there are several ways in newlinewhich negation can be added to clauses in first order logic. In order of increasing complexity, we newlinecould allow negated atoms in the queries, the body of the clauses or the head of clauses. In order to newlineaddress these problems to some extent we extend a class of Hom clauses that include a form of newlinenegation close to CW A called Generally Hom Logic Programs (GHLP). Covering is the basis of newlineprocedural semantics of extended program clauses. With the use of classical negation we attempt newlineto encode negati ve information for a common sense reasoning system. The operational semantics of newlinethis extension depends on the SLDNFS-resolution and Intentional Negation newlineIt is clear that some recent attempts to formulate semantics for programs with negation have newlineunderlying intuitions inspired by nonmonotonic reasoning. The use of negation or dealing with newlinenegative conditions cause nonmonotonicity in the system that rules out fixed point semantics newlineapproaches. We select rule based formulations to incorporate negative information in logic newlineprogramming system. The Censored Production Rules (CPR) and Hierarchical Censored newlineProduction Rules (HCPR) are the two formulations that inculcate features of Variable Precision newlineLogic (VPL) in a logic system.
Pagination: 141p.
URI: http://hdl.handle.net/10603/17461
Appears in Departments:School of Computer and System Science

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File100.57 kBAdobe PDFView/Open
02_certificate.pdf106.62 kBAdobe PDFView/Open
03_dedication.pdf50.8 kBAdobe PDFView/Open
04_abstract.pdf131.06 kBAdobe PDFView/Open
05_acknowledgements.pdf148.7 kBAdobe PDFView/Open
06_contents.pdf183.55 kBAdobe PDFView/Open
07_list of figures.pdf178.53 kBAdobe PDFView/Open
08_list of tables.pdf18.92 kBAdobe PDFView/Open
09_chapter 1.pdf499.95 kBAdobe PDFView/Open
10_chapter 2.pdf824.6 kBAdobe PDFView/Open
11_chapter 3.pdf1.04 MBAdobe PDFView/Open
12_chapter 4.pdf1.41 MBAdobe PDFView/Open
13_chapter 5.pdf666.77 kBAdobe PDFView/Open
14_chapter 6.pdf350.91 kBAdobe PDFView/Open
15_bibliography.pdf350.42 kBAdobe PDFView/Open


Items in Shodhganga are protected by copyright, with all rights reserved, unless otherwise indicated.