1 / 20

Capturing Constraint Programming Experience: A Case-Based Approach

Capturing Constraint Programming Experience: A Case-Based Approach. James Little, Cormac Gebruers, Derek Bridge, Eugene Freuder. Introduction What are we doing?. Tool Support for Constraint Programming.

uri
Download Presentation

Capturing Constraint Programming Experience: A Case-Based Approach

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Capturing Constraint Programming Experience:A Case-Based Approach James Little, Cormac Gebruers, Derek Bridge, Eugene Freuder

  2. Introduction What are we doing? Tool Support for Constraint Programming Developing a tool that will store, retrieve and reuse constraint programming experience.

  3. Motivations Why Case-Based Reasoning? Constraint programming seems case based No one representation is good at solving all problems: Finkel et al, University of Kentucky

  4. The CBRCP Architecture Overview Logic Puzzle (NL)

  5. Round of Golf Logic Puzzle • 4 first names • 4 surnames • 4 occupations • 4 golf scores from a possible 16 values • “Clues such as Bill is not the maintenance man” • Work out the 4 scores and match everything up.

  6. Formal Representation Round of Golf % schema(TableName, Columns, NumOfRows) schema(player, [firstname, surname, occ, score], 4), % attribute(Name, Values) attribute(firstname, [jack, bill, paul, frank]), … attribute(score, [70..85]), … % Clue 1 player(bill, _, BillOcc, _), BillOcc #\= maint, ETC.

  7. Translate Golf Formal Representation Case Base Formal Representation Program Plan The CBRCP Architecture Overview Golf Logic Puzzle (NL)

  8. As before Case Base %PP Zebra Puzzle print header, create_DVs, create_Differences, … Formal Representation Program Plan Zebra ------------------ Zebra Program Plan Flying ------------------ Flying Program Plan cp1 cp2 The CBRCP Case Base Different!

  9. Translate Golf Formal Representation Case Base Flying Formal Representation Program Plan The CBRCP Architecture Overview Golf Puzzle (NL)

  10. Formal Representation Round of Golf % schema(TableName, Columns, NumOfRows) schema(player, [firstname, surname, occ, score], 4), % attribute(Name, Values) attribute(firstname, [jack, bill, paul, frank]), … attribute(score, [70..85]), … % Clue 1 player(bill, _, BillOcc, _), BillOcc #\= maint, ETC.

  11. Retrieve Flying Program Plan Flying Formal Representation Program Plan The CBRCP Architecture Overview Translate Golf (NL) Golf Formal Representation Case Base

  12. Flying Formal Representation Reuse Program Plan CP Program(ECLiPSe) The CBRCP Architecture Overview Retrieve Translate Golf (NL) Golf Formal Representation Flying Program Plan Case Base

  13. Execute Program Plan %PP Flying Puzzle print header, create_DVs, create_Differences, generate_clue_constraints, generate_subset_search, … … alldistinct([Xjack, Xbill , Xpaul , Xfrank ]) … … Xbill #\= Xmaint, …

  14. Flying Formal Representation Program Plan Solution to Golf CP Program(ECLiPSe) Execute The CBRCP Architecture Overview Retrieve Translate Golf (NL) Golf Formal Representation Flying Program Plan Case Base Reuse

  15. Prototype

  16. Issues Similarity Adaptation

  17. Flying Formal Representation Program Plan The CBRCP Architecture Overview Retrieve Translate Golf (NL) Golf Formal Representation Flying Program Plan Case Base Adapt & Reuse Adapted Flying Program Plan Solution to Golf CP Program(ECLiPSe) Execute

  18. Flying Formal Representation Program Plan The CBRCP Architecture Overview Retrieve Translate Golf (NL) Golf Formal Representation Flying Program Plan Case Base Adapt & Reuse Adapted Flying Program Plan Revised Program Plan (now Golf) Revise Solution to Golf CP Program(ECLiPSe) Execute

  19. Flying Formal Representation Golf Formal Representation Program Plan Golf Program Plan Retain The CBRCP Architecture Overview Retrieve Translate Golf (NL) Golf Formal Representation Flying Program Plan Case Base Adapt & Reuse Adapted Flying Program Plan Revised Program Plan Revise Solution to Program CP Program(ECLiPSe) Execute

  20. Future Work Future Work: Similarity Adaptation Evaluate prototype end…

More Related