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 1119 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 2166 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 2281 days ago

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

  posted 2282 days ago

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

  posted 2283 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 2347 days ago

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

  posted 2347 days ago

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

  posted 2348 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 2353 days ago

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

  posted 2353 days ago