AGENTS VIC Meeting

Friday, 27 August 2010 @ 9:30AM.
Coffee, tea and refreshments from 9:15.

RMIT Intelligent Systems Group area, Level 8, Building 14

Lito Cruz

Ontology Algebra Without Tears

Semantic Web visionaries are looking at ontologies to solve the problem of determining semantics of data found in the web. Ontologies are also used in determining the context scenario of agents in some context-aware applications. The research on ontologies has moved forward and researchers are now looking at a higher problem, that of merging, integrating and reconciling ontologies. In short, what is needed is an ontology system that allows for such operations. In trying to find a solution for this problem, researchers have focused narrowly on the enhcancement of ontology languages which are based on a logic called description logic (DL). In this talk I shall argue that there is a fine candidate for solving this problem already, that is, the use of Common Algebraic Specification Language (CASL). Through CASL's algebraic operations one may merge and integrate ontologies. Furthermore I shall also attempt to show with the use of the Tiered Logic Method (TLM), the algebraic operations provided by CASL is further enhanced specially in the area of reconciliation. We present also some challenges/issues to the achievement of this proposal.

Tim Miller, UoM

An overview of the TAC Market Design Tournament

In this talk, I will give an overview of the TAC Market Design tournament (http://www.marketbasedcontrol.com/blog/?page_id=5) that I have been helping to run since 2007. In this game, entrants compete by defining automated rules for matching buyers and sellers in a commodities market. Entrants compete against each other in attracting buyers and sellers and making profits. This is achieved by having effective matching rules and setting appropriate fees that are a good trade-off between making profit and attracting traders. The game is run as part of the TAC Trading Agent Competitions (http://aa.tradingagents.org/)