Multiworld augmented term rewriting Public Deposited

http://ir.library.oregonstate.edu/concern/technical_reports/47429b47t

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • Augmented term rewriting (ATR) is a simple, uniform, and extensible computational model for constraint programming. Unfortunately, ATR cannot solve combinatorial constraint satisfaction problems (CCSPs). To enable solution of CCSPs, we introduce (don't know) nondeterminism into ATR via the choice expression, which identifies a set of possible values that may satisfy the constraints. The selection of a possible value from the expression represents one of many "possible worlds" in which the constraints may be satised. We show that our extended ATR, multiworld augmented term rewriting (MATR), is capable of expressing CCSPs concisely and readably via examples and via our experience with a significant application. We also show that an implementation of MATR can use the efficient constrain-and-generate technique for solving CCSPs, and describe our prototype implementation.
Resource Type
Date Available
Date Issued
Series
Subject
Rights Statement
Publisher
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Made available in DSpace on 2012-04-17T23:21:49Z (GMT). No. of bitstreams: 1 Multiworld augmented term rewriting.pdf: 158993 bytes, checksum: 27591c5fba015f0c17c975bc719985a8 (MD5) Previous issue date: 1994-11
  • description.provenance : Submitted by Laura Wilson (laura.wilson@oregonstate.edu) on 2012-04-17T23:20:48Z No. of bitstreams: 1 Multiworld augmented term rewriting.pdf: 158993 bytes, checksum: 27591c5fba015f0c17c975bc719985a8 (MD5)
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2012-04-17T23:21:48Z (GMT) No. of bitstreams: 1 Multiworld augmented term rewriting.pdf: 158993 bytes, checksum: 27591c5fba015f0c17c975bc719985a8 (MD5)

Relationships

In Administrative Set:
Last modified: 07/18/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items