A new release of Arete is forthcoming in the next week. I've implemented a large number of features for a new engine core in Arete.
This new engine core is a complete implementation of Propositional Logic (PL), amplified to include different degrees of plausibility for declarations. As such, it is a major milestone in the creation of a true aporetic analytics framework. It will be the basis for a full implementation of K, which is Kripke's system of logic. That includes some logical proof axioms such as DeMorgan's principle and a few others. As an engine core, it can be
I don't see why we can't write something that allows us to break down XML files into less complicated blocks of files. This is definitely something that should get written.
Along the lines of managing complexity, it were best we had a real user interface for authoring these rule sets. I would like to see something that manages the creation of object mappings to propositional variables, and the large-scale authoring and categorization of rule subsets. Ideally users would never even see the XML file, but it would be packaged in a manner similar to how OpenOffice packages its XML file
I noticed that the baseball.xml file is quite simple and short. It's easy to read. But what about larger, more complicated examples with dozens or hundreds or premises, consequences, and hypotheses? Will there be or is there currently a way to break them down, possibly into categories (e.g. citrus serving vs. player running the base). Thanks.
Today I released Arete-1.0-alpha-05. This milestone includes a multiproject build structure, and despite being an important milestone for development, it isn't much new for the users. I hope to be able to tag releases of the individual example applications now, so we can write good examples and then put those in their own release cycles.
As cool as 404 pages are, I think you'll find https://wiki.umn.edu/twiki/bin/view/Arete a more fulfilling experience.
Good work, Alex. It looks great (& functional!). - Cat
Alexander Saint Croix wrote:
> Hello, folks. > I just got done massively customizing the Arete web in the UMJIRA. It > is now extremely cool, and I'm looking forward to making more changes > in the near future to it and some other pertinent webs. > > https://wiki.umn.edu/twiki/bin/Arete > > Incidentally, this was one of my things to do over the weekend, in > addition to finishing the RSS reader. These things
I just got done massively customizing the Arete web in the UMJIRA. It is now extremely cool, and I'm looking forward to making more changes in the near future to it and some other pertinent webs.
https://wiki.umn.edu/twiki/bin/Arete
Incidentally, this was one of my things to do over the weekend, in addition to finishing the RSS reader. These things should make the task of proselytizing and documentation / marketing much easier.
I've added further refinement of the RSS reader this morning. I'm ready to call it complete. In addition the feed URL being completely configurable from inside of a remote client (like a blog entry or a TWiki topic), the URL of the CSS stylesheet for the feed can also be configured through a URL parameter.
Okay, I completely rewrote my RSS feed hack tonight, and now it's absolutely sweet and does everything I originally wanted it to do. I didn't need to sign my code (good thing, that only works in Mozilla). Here are a couple of samples. I'll write the CSS for them later.
Note that the feed.html file is absolutely the same. The only thing that is different is the 'feedurl' parameter in the URL. By changing this extra parameter in the URL string, we can point to any RSS feed we want, and embed the resulting table inside of an
I've added a rough-cut RSS reader to the project wiki page. This will help us show progress on some of our issues. The technology is very rough right now, but I'll be able to spruce it up a bit in the coming weeks. For now it lays out the outstanding issues we have to complete the next tag.
This message should be the first post to this arete-user mailing list. It is a test and also a greeting to our posterity. I sincerely enjoy this project, and hope that it brings a new vector for discovery to students of logic around the world. Last evening I spent some time working on the rudimentary structure for an implementation of the PL system, which will form the basis of an implementation of M. This, I hope, will spur not only performance improvements that will help us be more expressive in our rule authoring, but which will also help us lend
This should be the first post to this mailing list. It is a test and also a greeting to our posterity. I sincerely enjoy this project, and hope that it brings a new avenue for discovery to students of logic everywhere.
