Important changes to the current version
Here you can find the information on the latest developments and problems at the end of pw2.0b.
pw2.x is a major step from version 1.x to 2.x as there are now basic steps finished to step from a natural language based consistency check to an assertional logic process and to upgrade to the 2nd computation step 2BR (for assertional logics).
On the other hand 2.1b still a testing version of this assertional logic computation after upgrade to 2BR is done. The 2BR computation can be free configured by ini files for example concering the number of logical values or used operators with limitations (see readme file).
Main changes since pw2.0b:
- the update proces to the 2BR is now completed, but automation and checks are most often missing
- pw source code for the 1BR part is cleaned up and made available now
- see also the project for the pw server on a new site...
Back to main page