Knowledge of Uncertain Worlds: Programming with Logical Constraints
Knowledge of Uncertain Worlds: Programming with Logical Constraints
复制标题
DOI：
10.1093/logcom/exaa077
复制
发表时间：
2019-10
期刊：
影响因子：
--
通讯作者：
Yanhong A. Liu;S. Stoller
中科院分区：
文献类型：
--
作者：
Yanhong A. Liu;S. Stoller
复杂应用程序的逻辑编程必须处理递归和否定，这两者一起在逻辑中产生了重大挑战，导致许多不同的，相互冲突的规则语义。本文描述了一种统一的语言，DA逻辑，设计和分析逻辑，统一的基础语义和约束语义的基础上，支持的权力和不同的意图语义编程容易。其关键思想是提供元约束，支持使用不确定信息的形式，无论是未定义的值或可能的组合值，并促进使用的知识单元，可以实例化的任何新的谓词，包括谓词与额外的参数。
Programming with logic for sophisticated applications must deal with recursion and negation, which together 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 supports 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.