TY - GEN
T1 - Knowledge of Uncertain Worlds
T2 - International Symposium on Logical Foundations of Computer Science, LFCS 2020
AU - Liu, Yanhong A.
AU - Stoller, Scott D.
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2020.
PY - 2020
Y1 - 2020
N2 - Programming with logic for sophisticated applications must deal with recursion and negation, which have created significant challenges in logic, leading to many different, conflicting semantics of rules. This paper describes a unified language, DA logic, for design and analysis logic, based on the unifying founded semantics and constraint semantics, that support the power and ease of programming with different intended semantics. The key idea is to provide meta-constraints, support the use of uncertain information in the form of either undefined values or possible combinations of values, and promote the use of knowledge units that can be instantiated by any new predicates, including predicates with additional arguments.
AB - Programming with logic for sophisticated applications must deal with recursion and negation, which have created significant challenges in logic, leading to many different, conflicting semantics of rules. This paper describes a unified language, DA logic, for design and analysis logic, based on the unifying founded semantics and constraint semantics, that support the power and ease of programming with different intended semantics. The key idea is to provide meta-constraints, support the use of uncertain information in the form of either undefined values or possible combinations of values, and promote the use of knowledge units that can be instantiated by any new predicates, including predicates with additional arguments.
KW - Constraint semantics
KW - Datalog
KW - Founded semantics
KW - Knowledge unit
KW - Meta-constraints
KW - Unrestricted negation and quantification
UR - https://www.scopus.com/pages/publications/85077491030
U2 - 10.1007/978-3-030-36755-8_8
DO - 10.1007/978-3-030-36755-8_8
M3 - Conference contribution
AN - SCOPUS:85077491030
SN - 9783030367541
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 111
EP - 127
BT - Logical Foundations of Computer Science - International Symposium, LFCS 2020, Proceedings
A2 - Artemov, Sergei
A2 - Nerode, Anil
PB - Springer
Y2 - 4 January 2020 through 7 January 2020
ER -