The Mathematica Journal
Departments
Feature Articles
Columns
New Products
New Publications
Classifieds
Calendar
News Bulletins
Mailbox
Letters
FAQ
Write Us
About the Journal
Staff and Contributors
Submissions
Subscriptions
Advertising
Back Issues
Home
Download this Issue

Transformation of Logical Specification into IP-formulas

Qiang Li, Tetsuo Ida
Institute of Information Sciences and Electronics
University of Tsukuba, Japan
liq@score.is.tsukuba.ac.jp; ida@score.is.tsukuba.ac.jp

Yike Guo
Department of Computing
Imperial College, London, UK
yg@doc.ic.ac.uk

The classical algebraic modeling approach for integer programming (IP) is not suitable for some real-world IP problems, since the algebraic formulations allow only for the description of mathematical relations, not logical relations. In this paper, we present a language L+ for IP, in which we write a logical specification of an IP problem. L+ is a language based on predicate logic but extended with meta predicates such as "at least" (m, S), where m is a non-negative integer, meaning that at least m predicates in the set S of formulas hold. The meta predicates are introduced to facilitate reasoning about a model of an IP problem rigorously and logically. Using Mathematica, we can represent the logical formulas, called "L+ formulas", efficiently and completely, and we can define a set of transformation rules and transform L+ formulas into IP formulas, finally simplifying the IP formulas in Mathematica. Also, by using MathLink and CGI programming, we develop a web-based interface to support the system with modeling language, transformation of IP, and IP solvers. This provides a web-based client-server model, in which the power of high-level IP modeling and high-performance IP solving can be integrated and developed for a wide range of business users to solve large-scale decision-making problems. The primary experiment indicates that Mathematica is a powerful tool for representing logical formulas and for the transformation of formulas and that MathLink is convenient for connecting Mathematica to other software platforms.

south.rotol.ramk.fi/~keranen/IMS99/paper23/ims99paper23.pdf


Copyright © 2001 Wolfram Media, Inc. All rights reserved.

[Article Index][Prev Page][Next Page]