{"pk":32809,"title":"Encoding Images into Constraint Expressions","subtitle":null,"abstract":"This paper presents a method, generalization to interval, that can encode images into symbolic expressions. This method generalizes over instances of spatial patterns, and outputs a constraint program that can be used declaratively as a learned concept about spatial patterns, and procedural as a method for reasoning about spatial relations. Thus our method transforms numeric spatial patterns to symbolic declarative/procedural representations. We have implemented generalization to interval with Acorn,^ a system that acquires knowledge about spatial relations by observing 2-D raster images. We have applied this system to some layout problems to demonstrate the ability of the system and the flexibility of constraint programs for knowledge representation.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[],"section":"Paper Presentations -- Imagery","is_remote":true,"remote_url":"https://escholarship.org/uc/item/6sf6f0d3","frozenauthors":[{"first_name":"Kazuo","middle_name":"","last_name":"Hiraki","name_suffix":"","institution":"Keio University","department":""},{"first_name":"John","middle_name":"","last_name":"Gennari","name_suffix":"","institution":"Keio University","department":""},{"first_name":"Yoshinobu","middle_name":"","last_name":"Yamamoto","name_suffix":"","institution":"Keio University","department":""},{"first_name":"Yuichiro","middle_name":"","last_name":"Anzai","name_suffix":"","institution":"Keio University","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"1991-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/32809/galley/23869/download/"}]}