Be the first to post a text review of Cigol. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• Disclaimer: NOT Related to Tom Mitchell's Book

  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 it. 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 > http://cigol.sourceforge.net/. 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? >

  posted by woredemption 1059 days ago

• I'm Still Here

  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.)

  posted by woredemption 2107 days ago

• Cigol-alpha-3 released

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

  posted by woredemption 2222 days ago

• File released: /cigol/cigol-alpha-3/cigol-alpha-3.zip

  posted 2222 days ago

• cigol cigol-alpha-3 file released: cigol-alpha-3.zip

  posted 2224 days ago

• cigol-alpha-2 released

  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.

  posted by woredemption 2288 days ago

• File released: /cigol/cigol-alpha-2/cigol-alpha-2.zip

  posted 2288 days ago

• cigol cigol-alpha-2 file released: cigol-alpha-2.zip

  posted 2289 days ago

• cigol-alpha-1 released

  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.

  posted by woredemption 2294 days ago

• File released: /cigol/cigol-alpha-1/cigol-alpha-1.zip

  posted 2294 days ago