Source code checked in, #580fc96924eb
set platform of all modules to AnyCPU forgot to close solution before prev commit
View ArticleSource code checked in, #f3d8f3198948
- moved away Assembly / Policy / Signature - They are not really related to Infon anymore Actually InfonTerm doesn't seem a good name now - added a non-working UFOL engine to be based on Z3
View ArticleSource code checked in, #43401b6f2003
minimal z3 deduction engine. partial functionality
View ArticleSource code checked in, #0a335321e81a
Z3 deducing engine, mostly working. Some things pending: - support for datetime - full support for XML - justification checks - substrate binding of free vars
View ArticleSource code checked in, #79feb5da59f0
Support for NOT knowledge clauses for Z3 engine. Note that the engine is intuitionistic, therefore formulae like "a(1) or not a(1)" may not be true if such knowledge is not derivable
View ArticleSource code checked in, #39b3f72b5a4b
fixed bug when discovering new constants after a substrate query TODO xml queries *don't work* with fresh variables in Z3 engine
View ArticleSource code checked in, #ab0bdf4bd44c
FOL engine based on Z3 allows negation but needs to close relations. Setting ground work for that in this commit
View ArticleSource code checked in, #bc5f673ff075
DocsByReflection failed on types with missing documentation
View ArticleSource code checked in, #a450ffbb489c
added support for complete relation models (explicit) added support for not clauses policies become quite unintuitive though
View ArticleSource code checked in, #c99cde28bb53
UFOL variation for the ACL protocol. Note the rounds are more involved
View ArticleSource code checked in, #45c7f045dea8
fixed asInfon translation for Z3 engine starting on datasource relations
View ArticleSource code checked in, #b9518e92fd2c
buggy implementation of said modality translation. lots of logging in debug, be aware
View ArticleSource code checked in, #f1b9ac5df9c6
refactored modal translation for classical logic of quotations
View ArticleSource code checked in, #08d4eb28702c
muddy children example, unnatural modelling due to not's
View ArticleSource code checked in, #9751f8ac401f
more robust learning of possibly inconsistent infons (negation)
View ArticleSource code checked in, #a33343db1702
muddy children problem generator -- some bugs to weed out but works fine in general
View Article