MYCIN type Certainty Reasoning

From: Spacen Jasset <spacenjasset@xxxxxxxxxxx>
Date: Mon, 16 May 2005 16:43:49 +0100

Hello,

I am looking to implement a variation of MYCIN Certainty Theory - in prolog perhaps, or some suitable logic enabled language. I am not familiar with Prolog really or Clips or Lisp for that matter, but I know about some of the underlying principles, so I am specifically looking for an implementation of CT using such a language. I already have an implementation in C++ but I am just looking to see if there is any advantage to using a logic language to do this; perhaps there isn't but I would like to see an example. .

Prev by Date: Re: Problems with SWI debugger
Next by Date: Re: f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?
Previous by thread: Vertex List from Points
Next by thread: newbie question about type error, fd_domains and gprolog
Index(es):
- Date
- Thread

Relevant Pages

Re: Mainstreaming Prolog a Pragmatic Approach?
... experience is that Prolog is an incredibly useful language for virtually all ... often than not end up using Prolog. ... I think you're right when you question whether logic programming really ...
(comp.lang.prolog)
Re: An even more basic question...
... My task was to represent these rules in Prolog, and to write an engine which, given a client's total position, could find the way of pairing its components so as to satisfy the rules with the minimum total margin requirement. ... present-day ISO Prolog is not co-extensive with the concept of Prolog -- and Prolog is not a "language" is the abusive sense in which that term is misapplied to deterministic stepwise-imperative computing notations. ... TOPIC: PROGRAMMING ... adapted to your particular scheduling problem, ...
(comp.lang.prolog)
Re: An even more basic question...
... relatively recent standardization of prolog, how come the prolog community, ... applicable as a standalone language for product development. ... for example - noone expects SQL to ... programming language, and in time more sophisticated operational ...
(comp.lang.prolog)
Re: Minsky still posting
... >> they seem to me significant features of its own. ... > the functiomal langauges than used with Prolog. ... operator in an imperative language. ... > part of the logic programming core of Prolog. ...
(comp.lang.prolog)
Re: Mainstreaming Prolog a Pragmatic Approach?
... What you can do in one language, you can do in another, one ... So that's no more unique to Prolog than anything else. ... Sure you can implement depth-first backtracking in C, ... language I would choose to use for any significant piece of programming. ...
(comp.lang.prolog)