answer set programming中文什么意思

• 回答集编程

• set:    音标：[sεt] n.m. [英](网球、乒乓、排球等的)一局 [电影]一堂布景
• set:    音标：[sεt]n.m. [英](网球、乒乓、排球等的)一局[电影]一堂布景(就餐时用的)一套小台布专业辞典n.m【数学】集，集合setm.置位近义词manche
• set!:    神奇形色牌
• extreme programming:    极限编程
• functional programming:    FP (编程语言)

例句与用法

1. These investigations led to introduction of a form of Logic Programming called Answer Set Programming a computational knowledge representation formalism, studied both in Europe and in United States.
2. For instance, the eight queens puzzle has 92 solutions; to solve it using answer set programming, we encode it by a logic program with 92 stable models.
3. The Core Answer Set Programming Dialect ( CASPD ) is based on answer set programming, that is, declarative logic programming based on the answer set semantics ( stable model semantics ).
4. The Core Answer Set Programming Dialect ( CASPD ) is based on answer set programming, that is, declarative logic programming based on the answer set semantics ( stable model semantics ).
5. The Boolean satisfiability problem ( SAT ), the satisfiability modulo theories ( SMT ) and answer set programming ( ASP ) can be roughly thought of as certain forms of the constraint satisfaction problem.
6. Constraints play an important role in answer set programming because adding a constraint to a logic program P affects the collection of stable models of P in a very simple way : it eliminates the stable models that violate the constraint.
7. "' Answer set programming "'( "'ASP "') is a form of declarative programming oriented towards difficult ( primarily NP-hard ) stable model ( answer set ) semantics of logic programming.
8. Another approach to logic-based activity recognition is to use stream reasoning based on Answer Set Programming, and has been applied to recognising activities for health-related applications, which uses weak constraints to model a degree of ambiguity / uncertainty.