Lisp HUG Maillist Archive

Truth maintenance in KW

Greetings. I don't see any mention of truth maintenance (tm) capabilities in
KnowledgeWorks (by 'tm' I mean something akin to CLIPS' LOGICAL conditional
element). If I'm not missing something, are there any plans to add this
feature? Thanks...

David E. Young
Bloodhound Software, Inc.
http://bloodhoundinc.com

"For wisdom is more precious than rubies,
and nothing you desire can compare with her."
  -- Proverbs 8:11

"But all the world understands my language."
  -- Franz Joseph Haydn (1732-1809)


________________________________________________________________________
This email has been scanned for all viruses by the MessageLabs Email
Security System. For more information on a proactive email security
service working around the clock, around the globe, visit
http://www.messagelabs.com
________________________________________________________________________

Re: Truth maintenance in KW

>>>>> On Thu, 10 Jul 2003 14:34:09 -0400, "Young, David" <dyoung@bloodhoundinc.com> said:

    David> Greetings. I don't see any mention of truth maintenance
    David> (tm) capabilities in KnowledgeWorks (by 'tm' I mean
    David> something akin to CLIPS' LOGICAL conditional element). If
    David> I'm not missing something, are there any plans to add this
    David> feature? Thanks...

There is currently no TM in KW.

I can't comment on Xanalys's plans, but KW is quite extensible via its
Meta-Rule Protocol.

__Jason


Updated at: 2020-12-10 08:59 UTC