Re: Howard Pattee
At: http://permalink.gmane.org/gmane.science.philosophy.peirce/15510
Howard, List,
A computational ''problem'' is defined as a set of problem instances with
specified characteristics. An algorithm ''solves'' a problem only when
it computes the correct answer to every problem instance in the set.
The use of a problem instance like the first example in that report
is to represent its problem class and to provide some idea of how the
algorithm works. A single problem instance can always be addressed by
special pleading but the test of an algorithm is whether it handles the
whole set of problem instances.
The program I wrote uses an extended topological variant of Peirce's
Alpha Graphs as its main data structure for representing propositions
and it uses a general purpose algorithm that finds the complete set of
satisfying logical interpretations for any proposition given on input.
This is tantamount to using propositional calculus as a very simple
form of declarative programming language.
Regards,
Jon
On 1/26/2015 8:55 PM, Howard Pattee wrote:
At 04:42 PM 1/26/2015, Jon Awbrey wrote:
Applications of a Propositional Calculator : Constraint Satisfaction Problems
https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems
This problem illustrates a case where drawing a graph beats linear logic. Just
draw the 20 nodes representing the men,
houses, colors, animals, and professions. Then each of the 16 sentences
represents an edge. The solution is obvious (or
you can fill in the table).
Howard
--
academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to l...@list.iupui.edu with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
