書誌事項
- タイトル別名
-
- EPOCH : A Constraint Logic Programming Language with Goal Constraint Description
この論文をさがす
抄録
<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>
収録刊行物
-
- 人工知能
-
人工知能 7 (3), 487-495, 1992-05-01
一般社団法人 人工知能学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390567172582108672
-
- NII論文ID
- 110002807583
-
- NII書誌ID
- AN10067140
-
- ISSN
- 24358614
- 21882266
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可