Solving Problems by Formula Manipulation in Logic and Linear Inequalities
Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 553-558.
Abstract
Using formal logic, many problems from the g eneral area of linear inequalities can be exp ress ed in the elementary theory of addition on the real numbers (EAR) . We describe a method for e l i mi nat i ng quantifiers i n EAR which has been pr ogr ammed and demonstrate its usefulness in s ol ving some problems related to linear prog ra mmi ng. I n the area of mechanical mathematics this kind of app r oach has been neglected in favor of more g eneralized methods based on Herbrand expa n sio n. However, in a restricted area, such as l i nea r inequalities, the use of these specialized me t hod s can increase efficiency by several orders of ma g nitude ov er an axiomatic Herbrand approach, and ma ke p ra c tical problems accessible.
@inproceedings{ijcai1971p58,
title = {Solving Problems by Formula Manipulation in Logic and Linear Inequalities},
author = {Hodes, Louis},
booktitle = {Proceedings of the Second International Joint Conference on
Artificial Intelligence, {IJCAI-71}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {D.C. Cooper},
pages = {553--558},
year = {1971},
url = {https://ijcai.org/proceedings/1971/58},
}
TY - CPAPER TI - Solving Problems by Formula Manipulation in Logic and Linear Inequalities AU - Hodes, Louis T2 - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71 PB - International Joint Conferences on Artificial Intelligence PY - 1971 SP - 553 EP - 558 UR - https://ijcai.org/proceedings/1971/58 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
