OWL-POLAR : semantic policies for agent reasoning

The original publication is available at www.springerlink.comPostprin

Còir: Verifying normative specifications of complex systems

Existing approaches for the verification of normative systems consider limited representations of norms, often neglecting collective imperatives, deadlines and contrary-to-duty obligations. In order to capture the requirements of real-world scenarios, these structures are important. In this paper we propose methods for the specification and formal verification of complex normative systems that include contraryto- duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its linear temporal logic model checker, we show how important properties can be verified for such systems, and provide some experimental results for both bounded and unbounded verification

Application of Agent-based Personal Web of Trust to Local Document Ranking

Abstract. Web is the boundless source of information and no one is able to process the vast amount of new documents published on the web every day, even with filtering out the documents the user is not interested in. However, most of the recent web documents are blog posts, news and other documents with the author information established. Each author who is also the receiver of web documents possesses their own personal agent that delivers trust information related to other authors as well as rank data for each new document. Trusts and ranks available for agents are exchanged between them and in this way new authors and new web documents can be easily assessed. Based on the general concept of Web of Trust the new idea of Personal Web of Trust and its application to local ranking method for web documents is proposed in the paper.

Towards an Institutional Environment using Norms for Contract Performance

Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in which agents form together virtual organizations leading to cooperation agreements that can be enforced. An electronic institution provides a coordination framework facilitating automatic contract establishment and providing an enforceable normative environment. We introduce the notion of contextualized norms within our institutional framework, and develop on a model of institutional reality, taking into account institutional roles and agents ’ statements, with the aim of providing a contract monitoring service. Our proposal describes how to use norms to formalize cooperation agreements and operational contracts, and how to monitor and detect contract violations.