Presentation 1996/3/14
Constraint Satisfaction Problem Solving considering Inference Time
Fumiaki Imanari, Manabu Yamauchi, Hitoshi Ogawa,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Various problems in AI field can be solved by treating them as constraint satisfaction problems (CSPs). Many Constraint satisfaction algorithms and heuristics. are proposed and they are evaluated useful and powerful for common CSPs. About real-time CSPs in which are required a solution in the certain time, however, few effective algorithms and heuristics are proposed nevertheless they are very important in practical application. About general real-time problems, anytime algorithm has been proposed. Therefore, this paper discusses how to apply it to CSPs. For CSPs with limited inference time, we proposed the inference method which garantees the worst quality of result solution and aims to effective search by switching search methods in inference process.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) constraint satisfaction problem / real-time / anytime algorithm / design-to-time
Paper # AI95-69,KBSE95-57
Date of Issue

Conference Information
Committee AI
Conference Date 1996/3/14(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Artificial Intelligence and Knowledge-Based Processing (AI)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Constraint Satisfaction Problem Solving considering Inference Time
Sub Title (in English)
Keyword(1) constraint satisfaction problem
Keyword(2) real-time
Keyword(3) anytime algorithm
Keyword(4) design-to-time
1st Author's Name Fumiaki Imanari
1st Author's Affiliation Department of Computer Science, Faculty of Science and Engineering, Ritsumeikan University()
2nd Author's Name Manabu Yamauchi
2nd Author's Affiliation Department of Computer Science, Faculty of Science and Engineering, Ritsumeikan University
3rd Author's Name Hitoshi Ogawa
3rd Author's Affiliation Department of Computer Science, Faculty of Science and Engineering, Ritsumeikan University
Date 1996/3/14
Paper # AI95-69,KBSE95-57
Volume (vol) vol.95
Number (no) 573
Page pp.pp.-
#Pages 8
Date of Issue