## Logical Worlds

Discussions related to Visual Prolog
ordak
Posts: 8
Joined: 11 Jun 2007 10:45

### Logical Worlds

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.
Regards.
ordak
Posts: 8
Joined: 11 Jun 2007 10:45

### Some Clarifications

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.
Regards.
Tonton Luc
VIP Member
Posts: 204
Joined: 16 Oct 2001 23:01
Hi,

What is the goal ?
ordak
Posts: 8
Joined: 11 Jun 2007 10:45

### Re: Some Clarifications

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.
Regards.
ordak
Posts: 8
Joined: 11 Jun 2007 10:45

### Re:

Tonton Luc wrote:Hi,

What is the goal ?
In my opinion this could be the basis of new Visual Prologs.
Regards.
Thomas Linder Puls
VIP Member
Posts: 1177
Joined: 28 Feb 2000 0:01
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.
Regards Thomas Linder Puls
PDC
Paul Cerkez
VIP Member
Posts: 94
Joined: 6 Mar 2000 0:01
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.
AI Rules!
P.