http:^^www.cs.washington.edu^research^projects^weird^www^extending-hclp-naclp-89.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 57 行
HTML
57 行
Date: Tue, 10 Dec 1996 03:26:18 GMTServer: NCSA/1.4.2Content-type: text/html<html><head><TITLE>Extending HCLP Languages: Nonmonotonicity and Inter-Hierarchy Comparison</title></head><body><H2>Extending HCLP Languages: Nonmonotonicity and Inter-HierarchyComparison</H2><p>Authors: Molly Wilson and Alan Borning<p>Published in <em>Proceedings of the 1989 North American Logic ProgrammingConference</em>, Cleveland, October 1989, pages 3-19.<P><hr><H3>Abstract</H3>Hierarchical Constraint Logic Programming languages extend Constraint LogicProgramming to include constraint hierarchies. These languages provideboth required constraints and default constraints of various strengths. Inthe original definition of HCLP, alternate solutions to a given constrainthierarchy were compared, and only the "best" solutions were returned.However, there was no attempt to compare solutions arising from differentchoices of rules in the logic program. In many practical applications ofHCLP, to rule out unintuitive solutions we do need to make such<em>inter-hierarchy</em> comparisons. Such comparisons introducenonmonotonic behavior in HCLP programs. We define two relatednonmonotonicity properties of HCLP languages, and compare these propertieswith those of standard nonmonotonic logics. The nonmonotonicity propertiescreate novel implementation problems, which we discuss, while at the sametime extending the usefulness of HCLP languages.<P><HR><P>Click <!WA0><a href="ftp://cs.washington.edu/pub/constraints/papers/extending-hclp-naclp-89.ps.Z">here</a> to get the postscript file.<P>Return to <!WA1><a href="http://www.cs.washington.edu/research/projects/weird/www/index.html">Constraints home page</a>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?