A Logic Modeling Language for Automated Model Construction

0
273

Authors: Ramayya KRISHNAN

Tags: 1990, conceptual modeling

This paper describes PM* (read PM-star), a first-order logic based language, that is the basis of a knowledge based system designed to help non-expert users construct Linear Programruing models in the Production, Distribution and Inventory planning domain. Problems specified in PM* define a logic model which is used to generate problem-specific inferences, and inferences required to automate model construction. PM* extends previous work on the PM language (Krishnan, 1988) through the integration of problem representation and model construction within a uniform predicate logic framework.

Read the full paper here: https://pdf.sciencedirectassets.com/271653/1-s2.0-S0167923600X01108/1-s2.0-016792369090004B/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEIP%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCXVzLWVhc3QtMSJIMEYCIQCMsQPFg6SZhTTv9HKY7NVjc5q8a2HayYi3BLxszJm%2BqAIhANgouzigKzSPJN8FelVv8PTl25EMB0ZkMNsJJYKAjgt0KrQDCHsQAxoMMDU5MDAzNTQ2ODY1IgxK9PSRbZwpPCzijskqkQM0fLoLverVzPGvgqnDMeyZI8biZ9bID0TH2sB84sUpfxH2pcadMljEqPXH2sOx6EuEuoo00lbxLVt3JME76I15dY6QkLpL7NOzsm0yFugOwyqyOKXsXKj1M9%2B4vxRE7KftomK11QkEVSAOj%2Ba3oyIiRPimoxfZ%2BK3m6TIKZUFKQcEb%2Bc4UNiMcTynCdqcypdYtzti%2FX3wlZu%2Fa5LU9A10XCDbB%2Bx7S8%2FyLGRBDYwkKgBg7EF%2FK2swBdqxxqLRuLd9OK%2Fp9QiWyLq3OVEDpGjmZgx4RKwtkUfUUwPYbBimDGVIxA%2FKZO1aHS03NkTjh6AatRy0fUBbP1EaVjLfT7GrGLqE6zb%2Bh7gvuw9fFSRYzq04Snuv%2BP%2BAJx%2B2T7cAdVg7A576ummZuUO16eRfPBRISRfrZcxpcVmXvOUfMgF9O%2BmHS1yOOtelvWSPG8nhvN7hV9uUfC6cIO8B7pG90qceG3uj%2FdKNuhn9JMvvMbKc8YLtdUHV81gs%2Bd02%2F86zvBOG%2FOtsNR1P20o%2Fz6oUTXq9zbjCmn7r6BTrqASMI2%2F42BMpAI50mIuFYHfVDLWwmtRLSgNLRQubmANeelxc%2B4Pviy5fbkp1amauo%2F45jMvD9UDIxzk5F4EjsqCHDPRNZBFaUmF0zn3Nz7S5z6faJAoTGAmzxj2%2BsqthK%2FzLnpaWPoASif3qNytDMQ5TY6mE2XC2m64KWjU4paYOU0t55CFWe%2BgV2LeyC1N%2FqpIa%2B7GQuhms8yHwN3l62kNTU5VgUzK0GDJmcyugOMugjlTO%2FsjssDYgfJFhb2nQI3PZGfYy%2FQx1jHzu73Qn6rkUZUVRIvZnDLBANdTll%2B7ezuQ%2F5lxkEjXQNbA%3D%3D&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20200901T193721Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTY723TL7EG%2F20200901%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=0af113c07877e9dbf02071cf243cb19134373e2760594b824297f0375c35d258&hash=d3ba67695907fa7594fa45bc6dec5a7a24181d327704d85a90d11780b9fb1f78&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=016792369090004B&tid=spdf-5474d764-b664-4059-b67d-429eb3311b44&sid=5197408c7fd491488449d4c875e97cc5949bgxrqa&type=client