kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise

kiselev/aic-praise Issues

LBPStressIt.testStressTest3 throwing exception after replacement of direct by plain cardinality
Updated 8 years ago
Review testConvexRewriterOnMessageBoundsBasicInnerUnconditional and testConvexRewriterOnMessageBoundsBasicInnerConditional
Updated 8 years ago
Bug with message value including random variable other than destination - showed up at site visit
Updated 8 years ago
Create an easy-to-run distribution of PRAiSE demo
Closed 8 years ago2
Calling model.getDescription().toString() returns "Model"
Closed 8 years ago3
Remove need for semicolon at the end of statements in high-level rule language
Updated 8 years ago
Fix -2 cardinality bug example
Closed 8 years ago4
Modify Model class to store a model object in process
Closed 8 years ago1
Fix Demo due to updates from rev 1077 to 1127
Closed 8 years ago3
IfThenElseConditionIsTrueInThenBranchAndFalseInElseBranch using Syntactic substitute instead of Semantic slows things down even though it shouldn't
Updated 8 years ago1
pick_single_element failing on unsimplified version of an expression it can work on when simplified
Closed 8 years ago1
Need to be able to pass a model to LBPQueryEngine without loosing numeric precision
Updated 8 years ago1
Add support for naming Random Predicates that have the same name but different arities
Updated 8 years ago
Improve Rule Converter logic so that it can derive undeclared random variable declarations
Updated 8 years ago
Rule Parser, is incorrectly translating a conditional rule to include a conditional on an arithmetic constant.
Closed 8 years ago5
Rule Parser, prolog rules require semicolons following the period that identifies prolog rules.
Closed 8 years ago2
Rule Converter, to throw ReservedWordException for more than just query
Closed 8 years ago2
Incorporate if <formula> then <formula> else <formula> to formula language
Closed 8 years ago1
Context needs to be standardized apart from new scoping variables
Updated 8 years ago1
Investigate if R_complete_simplify really needed in R_belief's partition on intersenction logic.
Closed 8 years ago1
Distinction between random variable values and random variable value candidates not as clear as necessary
Closed 8 years ago2
Optimization when computing a message to a factor from a variable when the variable has no other neighbors
Updated 8 years ago1
Automate steps to ground a lifted model and run with an external propositional inference suite
Updated 8 years ago1
Possible issues with pick_single_element and pick_value logic in LBP algorithm
Closed 8 years ago1
Rule Converter, registration of domain size information for R_simplify calls, determine if correct
Closed 8 years ago1
Rule Converter, accept queries that are functions in the high level language
Closed 8 years ago1
Rule Converter, random variable declarations not getting added or modified correctly in translated to model
Closed 8 years ago1
Rule Converter, incorrect addition of free variables
Closed 8 years ago4
Make more efficient logic in R_intersection to support extensional sets
Updated 8 years ago
Random Variables need to be recognizable even if not mentioned in factors of the model.
Closed 8 years ago1
Update to support asynchronous group based cycle detection in LBP
Updated 8 years ago
Pass messages (i.e. bracketed) and not message values in LBP implementation
Updated 8 years ago
Update bounds pseduo-code and logic to take into account handling of scoped placeholders
Updated 8 years ago