[Top] [All Lists]

[ontolog-forum] Constraint Solving versus Inferencing

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: David Whitten <whitten@xxxxxxxxxx>
Date: Fri, 10 Oct 2014 11:16:24 -0400
Message-id: <CAH8N84y3qq2UuGuOkRcecJD8v4SXVs2FH3kS3wg4DK+Y4oKSgg@xxxxxxxxxxxxxx>
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 paper


Described as software here:


with the implementation at the github address:


From 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 ?


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@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)

<Prev in Thread] Current Thread [Next in Thread>