EPOCH : A Constraint Logic Programming Language with Goal Constraint Description
-
- NISHIZAWA Takeshi
- Dept. of Computer Science, Faculty of Science and Technology, Keio Univ.
-
- HIRAKI Kazuo
- Dept. of Computer Science, Faculty of Science and Technology, Keio Univ.
-
- ANZAI Yuichiro
- Dept. of Computer Science, Faculty of Science and Technology, Keio Univ.
Bibliographic Information
- Other Title
-
- 目標制約の表現機構を備えた制約論理型言語EPOCH
Search this article
Abstract
<p>In this paper, we describe design and implementation of a constraint logic programming language EPOCH. EPOCH can interpret two types of constraints, "required constraint" that must be satisfied and "goal constraint" that not have to but should be satisfied. Goal constraint is used to find an "optimal solution" from more than one feasible solution. Under this constraint model, this paper describes formalization of optimal solutions for a problem in terms of mathematical programming framework. EPOCH translates constraints described in a program into a standard linear programming problem, and EP0CH's constraint solver can find an optimal solution with the implex method for goal programming. In order to demonstrate EPOCH, this paper shows two examples ; a layout problem and a scheduling problem. In general, inequalities are more useful than equations to express time constraints or location constraints. Therefore, these problems generally have many feasible solutions. However, existing languages, such as CLP(ℜ), CHIP and Prolog-III, do not have any basis to find a particular solution, because they can only interpret required constraints. In contrast with them, EPOCH has the ability of finding an optimal solution based on goal constraints. Thus, EPOCH is applicable to many kinds of problems compared with existing languages.</p>
Journal
-
- Journal of the Japanese Society for Artificial Intelligence
-
Journal of the Japanese Society for Artificial Intelligence 7 (3), 487-495, 1992-05-01
The Japanese Society for Artificial Intelligence
- Tweet
Details 詳細情報について
-
- CRID
- 1390567172582108672
-
- NII Article ID
- 110002807583
-
- NII Book ID
- AN10067140
-
- ISSN
- 24358614
- 21882266
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- CiNii Articles
-
- Abstract License Flag
- Disallowed