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
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.
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
Re: Some Clarifications
An addition: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.
- Thomas Linder Puls
- VIP Member
- Posts: 1401
- 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.
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
PDC
-
- VIP Member
- Posts: 106
- 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.
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.
P.