Subscribe: Project News: Cigol
Added By: Feedage Forager Feedage Grade B rated
Language: English
alpha released  alpha  cigol alpha  cigol  code  deductive logic  logic  release  released cigol  released  tom mitchell  tom  version 
Rate this Feed
Rate this feedRate this feedRate this feedRate this feedRate this feed
Rate this feed 1 starRate this feed 2 starRate this feed 3 starRate this feed 4 starRate this feed 5 star

Comments (0)

Feed Details and Statistics Feed Statistics
Preview: Project News: Cigol

Recent posts to news

Recent posts to news

Last Build Date: Sat, 16 Dec 2006 18:29:34 -0000


Disclaimer: NOT Related to Tom Mitchell's Book

Sat, 16 Dec 2006 18:29:34 -0000

Oh oh.

I did a google search when I choose the name cigol and didn't turn up any relevent hits.
Unfortunately it looks like there was an unfortunate namespace collision.

I wrote cigol out of personal interest with very little formal training in the field of
machine learning. I can't imagine that Tom Mitchell referenced my work (also his work
predated mine by six years). He must have written some kind of program of his own and
called it cigol, but apparently never published it on the web, thus I was not aware of

My cigol is not capable of performing the function you describe. (Ironically I did
contemplate implementing similar functionality, but decided to move on to other projects.)

If this confusion delayed your persuit of an academic deadline, then I am very, very
sorry. I will post a disclaimer on the website promptly.

--Christopher Lane Hinson

> I'm sorry to bother you with this mail, but I have a question about
> CIGOL. I also posted this in some newsgroups, but I don't have high
> hopes I'll receive many answers.
> In Tom Mitchell's "Machine Learning" (1997), paragraph 10.7.2 handles
> first-order inverse resolution. There is an example given in which
> the conclusion GrandChild(y,x) <- Father(x,z) and Father(z,y) is drawn
> from training data D = GrandChild(Bob, Shannon) and background information
> B = {Father(Shannon, Tom), Father(Tom, Bob)}.
> Also according to this book, the inverted resolution rule forms the basis
> of the CIGOL program. So I downloaded and installed it from
> My problem is that there are very few
> examples of CIGOL code to be found online. How could the same conclusion
> be drawn as in the example, using CIGOL?

I'm Still Here

Mon, 02 Feb 2004 19:52:27 -0000

Much more work needs to be done to make cigol an acceptable language, I acknowledge. I'm presently involved with another project -- expect not to see another cigol version release for several months. (Unless someone wants to contribute code.)

Cigol-alpha-3 released

Fri, 10 Oct 2003 18:47:52 -0000

Cigol is a deductive logic solver written in Java. The third alpha version has just been released. This version features improved correctness and functionality.

cigol-alpha-2 released

Wed, 06 Aug 2003 06:50:29 -0000

Cigol is a deductive logic solver written in Java. The second alpha version has just been released. This version contains a number of enhancements, bug fixes, and applet functionality (Although the CLI is recomended for serious use). The programmatic interface allows client programs to make Cigol queries, the extension mechanism allows client programs to provide a library of function calls, and the language has been made more robust in general.

cigol-alpha-1 released

Thu, 31 Jul 2003 14:41:44 -0000

Cigol is a programming tool to solve deductive logic problems.

This release contains the source code, release notes, and gpl license for cigol. This is an alpha-quality release. The code has bugs, the release notes have typos.

Expect File Release within Two Weeks

Fri, 25 Jul 2003 01:08:06 -0000

Cigol is an interpreted scripting language designed to solve deductive logic problems. I expect to be posting the first source code release within two weeks.

I want to get good working example code up on the web server before anything else. Otherwise no one will understand what the heck this thing is. ;-)