|
Alternative modeling schemes for propositional calculus problem |
|---|---|
| รหัสดีโอไอ | |
| Creator | 1. Anupama Chanda 2. Bijan Sarkar 3. R.N. Mukherjee2 |
| Title | Alternative modeling schemes for propositional calculus problem |
| Publisher | Faculty of Engineering, Khon Kaen University |
| Publication Year | 2559 |
| Journal Title | KKU Engineering Journal |
| Journal Vol. | 43 |
| Journal No. | 3 |
| Page no. | 153-155 |
| Keyword | CNF,Logical inference,Mathematical programming,0-1 integer programming,Propositional logic |
| ISSN | 0125-8273 |
| Abstract | The main objective of this paper is to discuss alternative approaches to convert a propositional logic problem into a 0-1 integer program. The substitution method proposed by Williams and CNF method is used for modeling and representation of logical inference problem. The similarity between the two fields viz. optimization problems or mathematical programming and deductive logic are shown. |
