Difference between revisions of "Logic Model and Models of Logic"
Jump to navigation
Jump to search
(Created page with "There are many models of logic, say boolean logic, multi-valued logic, reversible logic. There can also be many possible Logic Models. However, to manage k...") |
|||
| Line 1: | Line 1: | ||
There are many [[models of logic]], say [[boolean logic]], [[multi-valued logic]], [[reversible logic]]. There can also be many possible [[Logic Model]]s. However, to manage knowledge in a operational manner, we will | There are many [[models of logic]], say [[boolean logic]], [[multi-valued logic]], [[reversible logic]]. There can also be many possible [[Logic Model]]s. However, to manage knowledge in a operational manner, we will try to root ourselves to a generic format of [[Logic Model]], so that this model can be used as the initial abstraction to be mapped onto other possible models of logic in the data contained in [[PKC]]. All the logical assertions will be modeled using [[hyperlink]]s. | ||
Latest revision as of 03:31, 17 July 2021
There are many models of logic, say boolean logic, multi-valued logic, reversible logic. There can also be many possible Logic Models. However, to manage knowledge in a operational manner, we will try to root ourselves to a generic format of Logic Model, so that this model can be used as the initial abstraction to be mapped onto other possible models of logic in the data contained in PKC. All the logical assertions will be modeled using hyperlinks.