ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Constraint Solving versus Inferencing

 To: "'[ontolog-forum] '" "Rich Cooper" Fri, 10 Oct 2014 10:07:02 -0700 <0c4001cfe4ac\$9c825a10\$d5870e30\$@englishlogickernel.com>
 There was an article in Artificial Intelligence called “Constraint Propagation”, which is, IMHO, the most useful form of constraint solver.  I don’t remember the month or year of that issue.  Does anyone else remember that? If you google “constraint propagation algorithm”, there are several pages of tutorial and scholarly links that sound worth pursuing if you are just learning about the topic.  I find constraint propagation intensely useful in solving day-to-day problems; it’s a way of thinking that helps order your thoughts.  It also expresses your solutions to problems much more elegantly, and therefore more understandably.   But note that a constraint solver need not be “iterative” in the sense of improving estimates step-by-step till they converge.  Constraints can be expressed in simple Boolean logic, or in full blown first order logic.  It’s the way you trade off one constraint for another that improves the global system of constraints, but there is often a true minimal cost or maximal gain solution to systems of constraints.  It is well worth reading about.   -Rich Sincerely,Rich CooperEnglishLogicKernel.comRich AT EnglishLogicKernel DOT com9 4 9 \ 5 2 5 - 5 7 1 2From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Simon SperoSent: Friday, October 10, 2014 9:41 AMTo: [ontolog-forum]Subject: Re: [ontolog-forum] Constraint Solving versus Inferencing On Oct 10, 2014 11:16 AM, "David Whitten" wrote:Since we have such a large group of mathematically sophisticated people on this mailing list, I'd like to open a topic I know little about.I recently learned there is a Constraint Solver based on this paperhttp://constraints.cs.washington.edu/solvers/cassowary-tochi.pdfDescribed as software here:https://www.npmjs.org/package/cassowarywith the implementation at the github address:https://github.com/slightlyoff/cassowary-js-refactorFrom their description: Constraint solvers are iterative algorithms that work towards ever more ideal solutions, often using some variant of Dantzig's simplex method. They are primarily of interest in situations where it's possible to easily set up a set of rules which you would like a solution to adhere to, but when it is very difficult to consider all of the possible solutions yourself.One of the things Inference Engines allow as the internal software of an expert system is to calculate the logical closure (those facts which can be inferred from an axiom set and a set of rules).Are these two approaches compatible? Is the Simplex method only useful for operational research, or is it useful in logical operations on ontologies ? Best David Whitten_________________________________________________________________Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxxShared Files: http://ontolog.cim3.net/file/Community Wiki: http://ontolog.cim3.net/wiki/To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
```
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

```
 Current Thread [ontolog-forum] Constraint Solving versus Inferencing, David Whitten Re: [ontolog-forum] Constraint Solving versus Inferencing, Simon Spero Re: [ontolog-forum] Constraint Solving versus Inferencing, Rich Cooper <=