中文

1673-159X

CN 51-1686/N

LIU Shi-lin, PEI Zheng. Lower Bound of Maximal Horn of Horn Clause Set Σ[J]. Journal of Xihua University(Natural Science Edition), 2012, 31(3): 11-13, 26.
Citation: LIU Shi-lin, PEI Zheng. Lower Bound of Maximal Horn of Horn Clause Set Σ[J]. Journal of Xihua University(Natural Science Edition), 2012, 31(3): 11-13, 26.
shu

Lower Bound of Maximal Horn of Horn Clause Set Σ

    Graphical Abstract
    • Abstract
  • Automatic reasoning is an important topic of artificial intelligence research. Fast reasoning based on Horn clauses is an important method for automatic reasoning. The relation between minimal model of Horn clauses and maximal lower bound of Horn clauses is discussed in this paper, the method for obtaining maximal lower bound of Horn clauses is proposed, which can be used in fast reasoning based on Horn clauses.
    • FullText(HTML)
  • loading
    • References (12)
    • Related Articles

Catalog

    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return