DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Article >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/10054/12251

Title: DECIDABLE MATCHING FOR CONVERGENT SYSTEMS - PRELIMINARY VERSION
Authors: DERSHOWITZ, N
MITRA, S
SIVAKUMAR, G
Issue Date: 1992
Publisher: SPRINGER VERLAG
Citation: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 607(), 589-602
Abstract: We provide a simple system, based on transformation rules, which is complete for certain classes of semantic matching problem, where the equational theory with respect to which the semantic matching is performed has a convergent rewrite system. We also use this transformation SySteM to describe decision procedures for semantic matching problems. We give counterexamples to show that semantic matching becomes undecidable (as it generally is) when the conditions we give are weakened. Our main result pertains to convergent systems with variable preserving rules, with some particular patterns of defined functions on the right hand sides.
URI: http://dspace.library.iitb.ac.in/xmlui/handle/10054/12251
http://hdl.handle.net/10054/12251
Appears in Collections:Article

Files in This Item:

There are no files associated with this item.

View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback