Alternative modeling schemes for propositional calculus problem
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 tw...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Khon Kaen University
2016-08-01
|
| Series: | KKU Engineering Journal |
| Subjects: | |
| Online Access: | https://www.tci-thaijo.org/index.php/kkuenj/article/download/43550/51972 |
| Summary: | 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. |
|---|---|
| ISSN: | 0125-8273 2286-9433 |