Using Type Theory as a Language for Negotiation Objects in Online Exchanges Rod Moten In this paper, we present LpX, a type theory for agents to specify negotiation objects in an online exchange. An online exchange is a multi{agent system in which agents buy and sell. We have created LpX to study the use of type theory in resolving semantic heterogeneity. By using type theory we can formulate the entire process of resolving semantic heterogeneity in a single framework. Resolving semantic heterogeneity involves merging independently created ontologies into a single ontology and performing translation between schemas. Using an expressive type theory, we can use a collection of types as an explication of an ontology as well as represent schemas. As a result, we can use proof rules of the type system to relate independently created ontologies and use implicit coercion to perform schema translation between related types. Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 07/26/2002 cs-02-10
Using Type Theory as a Language for Negotiation Objects in Online Exchanges
Rod Moten
In this paper, we present LpX, a type theory for agents to specify negotiation objects in an online exchange. An online exchange is a multi{agent system in which agents buy and sell. We have created LpX to study the use of type theory in resolving semantic heterogeneity. By using type theory we can formulate the entire process of resolving semantic heterogeneity in a single framework. Resolving semantic heterogeneity involves merging independently created ontologies into a single ontology and performing translation between schemas. Using an expressive type theory, we can use a collection of types as an explication of an ontology as well as represent schemas. As a result, we can use proof rules of the type system to relate independently created ontologies and use implicit coercion to perform schema translation between related types.
Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY
07/26/2002
cs-02-10