• DOI:10.1007/978-1-4684-3384-5_11
Corpus ID: 39427600

Negation as Failure

@inproceedings{Clark1977NegationAF,
  title={Negation as Failure},
  author={K. Clark},
  booktitle={Logic and Data Bases},
  year={1977}
}

K. Clark

Published in Logic and Data Bases 1977

Computer Science, Mathematics

A query evaluation process for a logic data base comprising a set of clauses is described. It is essentially a Horn clause theorem prover augmented with a special inference rule for dealing with negation. This is the negation as failure inference rule whereby ~ P can be inferred if every possible proof of P fails. The chief advantage of the query evaluator described is the effeciency with which it can be implemented. Moreover, we show that the negation as failure rule only allows us to conclude… CONTINUE READING

View via Publisher

albany.edu

Save to Library

Create Alert

Cite

Launch Research Feed