Loading...
Please wait, while we are loading the content...
Similar Documents
1 dynamic neural networks for logic formula.
| Content Provider | CiteSeerX |
|---|---|
| Author | Li, Haiming Qin, Keyun Xu, Yang |
| Abstract | In this article, a kind of calculus method that is used to determine the truth-values of propositional logic formulae by means of the dynamic neural networks is proposed. The method can be executed mechanically and extended to fuzzy logic system. 1.Preliminaries In classical propositional logic, the truth-value table and other kind of methods can determine the truth-value of a formula. When we determine the truth-value of a formula, it’s most likely that the formula be simplified and transformed into normal forms. But this process is sometimes complicated and somewhat hard to do. It’s convenient and practical if the truth-value of a formula can be determined quickly without the simplification process. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Dynamic Neural Network Logic Formula Classical Propositional Logic Propositional Logic Formula Calculus Method Simplification Process Logic System Truth-value Table Normal Form |
| Content Type | Text |