首页>
外国专利>
Rule processing methods for automating a decision and assessing satisfiability of rule-based decision diagrams
Rule processing methods for automating a decision and assessing satisfiability of rule-based decision diagrams
展开▼
机译:用于自动执行决策并评估基于规则的决策图的可满足性的规则处理方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method of rule processing includes defining/entering attributes, enumerations, and/or relationships; packaging the definitions in a reduced canonical form suitable for propositional logic manipulation using zero-suppressed binary decision diagrams (Zdd) to produce a prime Zdd; and/or (iii) executing the rule by applying a series of user inputs to the prime Zdd to determine a result that preferably includes conflict and selection advice to guide the user to satisfaction. Elective events, such as but not limited to the display of messages or the performance of calculations, may optionally be packaged along with the prime rule or components thereof, and presented during execution to help guide the end user to satisfaction or compliancy when choosing among possible selections. The invention automates determination of a complex rule having a combinatorial exploded number of rule components, or a combinatorial number of possible outcomes, exceeding computational capacity of present day computing systems.
展开▼