Uncertain linear logic and PLN truth values
23 views
Skip to first unread message
Ben Goertzel
May 21, 2017, 12:18:44 PM5/21/17
to opencog, Zarathustra Goertzel
See some recent musing attached... it seems that the careful tracking
of evidence in PLN is closely related to resource management in linear
logic ... different heuristic approximations made in {reasoning based
on probabilities corresponding to evidence that's been thrown out or
is being ignored}, can be mapped into the multiplicative vs. additive
operator-sets of linear logic ...
ben
--
Ben Goertzel, PhD
http://goertzel.org
"I am God! I am nothing, I'm play, I am freedom, I am life. I am the
boundary, I am the peak." -- Alexander Scriabin
of evidence in PLN is closely related to resource management in linear
logic ... different heuristic approximations made in {reasoning based
on probabilities corresponding to evidence that's been thrown out or
is being ignored}, can be mapped into the multiplicative vs. additive
operator-sets of linear logic ...
ben
--
Ben Goertzel, PhD
http://goertzel.org
"I am God! I am nothing, I'm play, I am freedom, I am life. I am the
boundary, I am the peak." -- Alexander Scriabin
Roman Treutlein
May 22, 2017, 6:10:18 AM5/22/17
to opencog, zar...@gmail.com
Intriguing. Linear Logic seems really useful. And I just recently read about plans to add Linear Types to Haskell.
Reply all
Reply to author
Forward
0 new messages