Towards a Formalisation of Electronic Contracting Environments

The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalizations at a number of levels have been created. One of the lowest levels, upon which the other levels are built is the normative level. At this level, we identify how contract clauses (modeled as norms) may evolve over time. In this paper, we describe this formalization, and show how we may associate various states with a norm throughout its lifecycle. We also show how more complex evaluations may be carried out over a norm, and conclude with an example showing the application of the framework over a contract and its associated norms.

Determining the Trustworthiness of New Electronic Contracts

Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation etc. For such automation to be used for real business concerns, there needs to be a high level of trust in the agent-based system. While there has been much research on simulating trust between agents, there are areas where such trust is harder to establish. In particular, contract proposals may come from parties that an agent has had no prior interaction with and, in competitive business-to-business environments, little reputation information may be available. In human practice, trust in a proposed contract is determined in part from the content of the proposal itself, and the similarity of the content to that of prior contracts, executed to varying degrees of success. In this paper, we argue that such analysis is also appropriate in automated systems, and to provide it we need systems to record salient details of prior contract use and algorithms for assessing proposals on their content. We use provenance technology to provide the former and detail algorithms for measuring contract success and similarity for the latter, applying them to an aerospace case study.

A Pollen Chase Experiment; Examining Varying Levels of Embryonic Inbreeding Depression

A pollen chase experiment was performed upon three Costa Rican populations of Witheringia solanacea to examine the breakdown of genetically enforced self incompatibility (SI) and the extent of embryonic inbreeding depression. Self-pollen was applied in the bud, with outcross pollen applied one day later, and outcross pollinations at both intervals as a control. A variety of responses were found among the populations. BOHS readily accepted self pollen and suffered from very low inbreeding depression. Monteverde and Las Cruces both have lower fruit set with self-pollination precedence indicating that bud pollinations can overcome the self-incompatibility response and that embryonic death due to inbreeding depression causes fruit failure. The treatment:control fruit set is higher for the Las Cruces plants indicating stronger SI response Self-precedence seeds from the Las Cruces plants are likely to be outcrossed. Self-precedence seeds from Monteverde are likely selfed.