Page 1 of 1
Logical Worlds
Posted: 5 Aug 2013 6:46
by ordak
Some original ideas could be from some others.
Logical worlds: -1; 0; 1; 2; 3.
LW -1:
True-True or False-False.
Maybe toggle some facts.
LW 0:
True-False
Standard logical world.
LW 1:
True-False-Unhappened
Some guess work could help us bound Unhappened.
LW 2:
True-False-Unknown
For unknown case; our scope of knowledge is limited.
LW 3:
True-False-Unclear
For Unclear case; truth or falsehood could not be distinguished.
Some Clarifications
Posted: 8 Aug 2013 16:04
by ordak
Duals of logical worlds.
Dual of logical world -1:
Facts are corrected with minimal interference.
-Infinity LW: every thing could be random.
+Infinity LW: every thing could be ideal.
For Infinity and Randomness are duals.
Posted: 13 Aug 2013 15:19
by Tonton Luc
Hi,
I'd like to help you but I do not understand your request, sorry.
What is the goal ?
Re: Some Clarifications
Posted: 15 Sep 2013 14:23
by ordak
ordak wrote:Duals of logical worlds.
Dual of logical world -1:
Facts are corrected with minimal interference.
-Infinity LW: every thing could be random.
+Infinity LW: every thing could be ideal.
For Infinity and Randomness are duals.
An addition:
+Infinity LW: every thing could be ideal. (Not my idea) In other words we get Contradiction in every thing.
Re:
Posted: 15 Sep 2013 15:49
by ordak
Tonton Luc wrote:Hi,
I'd like to help you but I do not understand your request, sorry.
What is the goal ?
In my opinion this could be the basis of new Visual Prologs.
Posted: 15 Sep 2013 17:45
by Thomas Linder Puls
One Visual Prolog is sufficient for us.
Furthermore, I think you miss a very important point: Visual Prolog is a programming language, not a reasoning system. The mentioned logics may serve fine purposes in reasoning, but I fails to see them as foundation for programming.
Posted: 15 Sep 2013 20:24
by Paul Cerkez
it almost sounds like you are trying to implement logic in a forward chaining paradigm.
I have X (defined as -Infinity LW) and I have Y (defined as +infinity LW) if I "add" them together, what is my result?
for a logic problem like this, you might want to try a different reasoning system. One I can recommend that I have used is CLIPS (c-language Integrated Production System) originally developed by NASA. (currently found at
http://clipsrules.sourceforge.net/)
it allows you to establish facts and rules then it forward chains doing pattern matching using a Rete' greedy algorithm.
you define the starting condition, all the facts to start with, all the rules that might apply within the probelm, then you let it run.