Page 1 of 1

### Logical Worlds

Posted: 5 Aug 2013 6:46
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
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
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
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.
+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
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
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
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.