Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
A progression semantics for first-order logic programs
Zhou Y., Zhang Y. Artificial Intelligence250  58-79,2017.Type:Article
Date Reviewed: Mar 9 2018

This paper looks at the relationship between classical logic and practical systems, which employ logic-based techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While Prolog can be considered a full programming language loosely based on classical logic, ASP and Datalog are more limited; however, that enables them to be more closely related to classical logic. An important difference between classical logic and most logic programming is the technique of taking a fact to be false if it cannot be proved true, leading to non-monotonic reasoning, as the addition of a further fact to the data could cause something that was reasoned to be true to no longer be reasoned true.

The paper considers various restrictions on logic rules in order to be able to give a clear formal semantics. The key technique used is that of evaluation stages, starting off with directly defined facts, and then at each stage adding new facts that can be gained directly by applying a rule. A logic program is bounded if this reaches a stage where no more facts will be added. The paper uses this to show that various forms of restrictions are formally equivalent.

Reviewer:  M. Huntbach Review #: CR145905 (1806-0337)
Bookmark and Share
 
Logic Programming (I.2.3 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Logic Programming": Date
An efficient strategy for non-Horn deductive databases
Demolombe R. Theoretical Computer Science 78(1): 245-259, 1991. Type: Article
Jan 1 1992
Three-valued nonmonotonic formalisms and semantics of logic programs
Przymusinski T. Artificial Intelligence 49(1-3): 309-343, 1991. Type: Article
Dec 1 1992
A proof theory for general unification
Snyder W., Birkhäuser Boston Inc., Cambridge, MA, 1991. Type: Book (9780817635930)
Mar 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy