TY - GEN
T1 - Program updating by incremental and answer subsumption tabling
AU - Saptawijaya, Ari
AU - Pereira, Luís Moniz
PY - 2013
Y1 - 2013
N2 - We propose a novel conceptual approach to program updates implementation that exploits two features of tabling in logic programming (in XSB Prolog): incremental and answer subsumption tabling. Our approach, EVOLP/R, is based on the constructs of Evolving Logic Programs (EVOLP), but simplifies it at first by restricting updates to fluents only. Rule updates are nevertheless achieved via the mechanism of rule name fluents, placed in rules' bodies, permitting to turn rules on or off, through assertions or retractions of their corresponding unique name fluents. Incremental tabling of fluents allows to automatically maintain - at engine level - the consistency of program states. Answer subsumption of fluents addresses the frame problem - at engine level - by automatically keeping track of their latest assertion or retraction. The implementation is detailed here to the extent that it may be exported to other logic programming tabling systems.
AB - We propose a novel conceptual approach to program updates implementation that exploits two features of tabling in logic programming (in XSB Prolog): incremental and answer subsumption tabling. Our approach, EVOLP/R, is based on the constructs of Evolving Logic Programs (EVOLP), but simplifies it at first by restricting updates to fluents only. Rule updates are nevertheless achieved via the mechanism of rule name fluents, placed in rules' bodies, permitting to turn rules on or off, through assertions or retractions of their corresponding unique name fluents. Incremental tabling of fluents allows to automatically maintain - at engine level - the consistency of program states. Answer subsumption of fluents addresses the frame problem - at engine level - by automatically keeping track of their latest assertion or retraction. The implementation is detailed here to the extent that it may be exported to other logic programming tabling systems.
KW - answer subsumption tabling
KW - incremental tabling
KW - logic program updates
UR - http://www.scopus.com/inward/record.url?scp=84885730529&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40564-8_47
DO - 10.1007/978-3-642-40564-8_47
M3 - Conference contribution
AN - SCOPUS:84885730529
SN - 9783642405631
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 479
EP - 484
BT - Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings
T2 - 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
Y2 - 15 September 2013 through 19 September 2013
ER -