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

Logical Worlds

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

Some Clarifications

Unread post 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.
Regards.
User avatar
Tonton Luc
VIP Member
Posts: 204
Joined: 16 Oct 2001 23:01

Unread post by Tonton Luc »

Hi,

I'd like to help you but I do not understand your request, sorry.
What is the goal ?
ordak
Posts: 8
Joined: 11 Jun 2007 10:45

Re: Some Clarifications

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

Re:

Unread post 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.
Regards.
User avatar
Thomas Linder Puls
VIP Member
Posts: 1398
Joined: 28 Feb 2000 0:01

Unread post 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.
Regards Thomas Linder Puls
PDC
Paul Cerkez
VIP Member
Posts: 106
Joined: 6 Mar 2000 0:01

Unread post 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.
AI Rules!
P.
Post Reply