智能系统学报
智能繫統學報
지능계통학보
CAAI TRANSACTIONS ON INTELLIGENT SYSTEMS
2012年
1期
33-39
,共7页
谷文祥%朱磊%黄平%殷明浩
穀文祥%硃磊%黃平%慇明浩
곡문상%주뢰%황평%은명호
人工智能%约束可满足问题%命题可满足问题%模型计数
人工智能%約束可滿足問題%命題可滿足問題%模型計數
인공지능%약속가만족문제%명제가만족문제%모형계수
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.
模型計數問題是指計算給定問題的解的箇數,這是一類比決策更睏難的問題,也是人工智能領域研究的一箇熱點問題.對模型計數問題的研究不僅可以提高算法的求解效率,更能促進對問題睏難本質的瞭解.以可滿足問題(命題可滿足(SAT)和約束可滿足問題(CSP))為例,從精確算法和近似求解兩方麵綜述瞭模型計數問題的研究現狀,重點介紹瞭相關概唸以及各箇算法之間的優缺點,併提齣瞭有待解決的開放性問題,對模型計數問題的研究予以瞭總結和展望.
모형계수문제시지계산급정문제적해적개수,저시일류비결책경곤난적문제,야시인공지능영역연구적일개열점문제.대모형계수문제적연구불부가이제고산법적구해효솔,경능촉진대문제곤난본질적료해.이가만족문제(명제가만족(SAT)화약속가만족문제(CSP))위례,종정학산법화근사구해량방면종술료모형계수문제적연구현상,중점개소료상관개념이급각개산법지간적우결점,병제출료유대해결적개방성문제,대모형계수문제적연구여이료총결화전망.
