Contents:
Specific details and topics of interest for each track appear below:. Topics of Interest The conference solicits papers addressing original research on autonomous agents and their interaction. Topics of interest for the main track include but are not limited to the following: Agent Theories and Models:.
Logic and game theory Logics for agents and multi-agent systems Formal models of agency Belief-Desire-Intention theories and models Cognitive models Logics for agents and multi-agent systems Logics for norms and normative systems. Communication and Argumentation:. Commitments Communication languages and protocols Speech act theory Deductive, rule-based and logic-based argumentation Argumentation-based dialogue and protocols.
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and. The first € price and the £ and $ price are net prices, subject to local VAT. Prices indicated with * include VAT for books; the €(D) includes 7% for. Germany, the.
Agent Cooperation:. Agent Societies and Societal issues:. Organizations and institutions Social networks Socio-technical systems Normative systems Values in MAS privacy, safety, security, transparency,… Monitoring agent societies Coordination and control models for multiagent systems Architectures for social reasoning Trust and reputation Policy, regulation and legislation Self-organization.
Knowledge Representation and Reasoning:. Ontologies for agents Reasoning in agent-based systems Single and multi-agent planning and scheduling Reasoning about action, plans and change in multi-agent systems Reasoning about knowledge, beliefs, goals and norms in multiagent systems. In this project, we tackle this shortcoming and want to research and analyze methods for the construction of systems of rational information agents equipped with reasoning capabilities.
However, to warrant general applicability of these methods beyond the IMPACT approach, they shall be developed at a conceptual level, and different possible architectures for systems of information agents will be taken into account. In particular, the methods should address the aspects which are missed by current systems of cooperative information agents.
We shall investigate issues in the context of information agents for which these aspects are relevant, and provide methods for an adequate treatment. They will be used for constructing specialized reasoning components for information agents, which can be added to enhance their capabilities. A reasoning component can be viewed as a module which comprises a knowledge base and provides access to it through a well-defined interface.
A component may be accessed by the information agent for solving particular tasks. The methods we plan to facilitate reasoning components are backed on concepts from the area of knowledge representation, and involve formalizations of common-sense reasoning. These formalizations are relevant for the issues mentioned above, because the kind of problems human agents may encounter in dealing with daily-life situations are very much the same as the corresponding problems of artificial agents in a virtual multi-agent environment.
For instance, humans are constantly forced to make decisions in order to carry on, but they seldom have all the relevant information which would actually be needed to obtain a valid conclusion. Hence, the human common-sense "fills in" these gaps and allows the drawing of rational conclusions which seems plausible given the current circumstances, but may become unwarranted once new, more accurate information is known. For this reason, formalizations of human common-sense reasoning are termed nonmonotonic , as the set of potential consequences does not necessarily grow with an increase of information, as prior "reasonable guesses" may have to be retracted.
We illustrate on a couple of examples how the problems addressed by nonmonotonic formalisms that are intended for modelling human agents naturally apply to software agents as well:.
The feasibility of the methods and techniques that we shall research will be tested on a suitable application, to be implemented as a prototype in the framework of the IMPACT system. Examples of potential targets for the application are:. We believe that enhanced reasoning capabilities of information agents in applications like these will profitably increase the quality of the information service, and lead to better results.
Moreover, having a firm theoretical basis of the applied methods is essential for properly understanding the behavior of large and complex environments like multi-agent systems. Conversely, being able to show that formalisms invented for problems of a similar nature, like systems describing human common-sense reasoning, is a healthy stimulus for that area as well. We have developed an update front-end which implements the update semantics we defined see Bibliography.
The Knowledge Representation and Reasoning for As we discovered, more than 15 percent of irrelevant answers in a vertical domain occur because a user poses a question that involves foreign knowledge that is, the query exceeds the domain bounds. We enumerate the properties of ideal cooperative work among the agents:. Communication and Argumentation:. Aldea, A. The mark will be attributed in a range The meaning of a predicate that represents an entity is expressed via the set of all semantic headers including this predicate and only this set [ 6 ].
Here you can download some examples as well as a command-line version in binary form:. Skip to Content. Thomas Eiter Dr.
Hans Tompits Michael Fink Giuliana Sabbatini Goal of the project The goal of this project, supported by the Austrian Research Fund FWF , is to research methods for advanced information processing in an agent-based environment for distributed information access. Motivation and state of the art The importance of accessing data and information scattered over a number of different sites, which are connected through wide area networks such as the Internet, has been rapidly increasing.
Different approaches to tackle this problem have been proposed: Advanced search methods: based on knowledge discovery and data mining, to extract relevant and interesting information from sites in a distributed environment, as in well-known search engines and in Soft-Bots moving autonomously across the web and gathering domain specific information. Cooperative software agents: mantaining access to information stored in information sources such as databases, and providing well-defined interfaces through which heterogeneous data and knowledge can be accessed.
Different architectures have been proposed for such a system, in which different kinds of information agents cooperate.
Goals of the research While the IMPACT system provides a general framework for creating and deploying software agents, it does not provide special support for particular kinds of agents such as information agents. We plan to research the following aspects of knowledge-based information agents: Advanced representation of useful knowledge, using declarative formalisms Dealing with incomplete and inconsistent information Handling preferences We shall investigate issues in the context of information agents for which these aspects are relevant, and provide methods for an adequate treatment.
We illustrate on a couple of examples how the problems addressed by nonmonotonic formalisms that are intended for modelling human agents naturally apply to software agents as well: Default rules are useful if requests of a user are underspecified, i. The agent may use default assumptions with respect to some given profile of the user to complete these data, as long as there is no information to the contrary.
Default rules may also be used to select an appropriate agent for answering a particular query, e. A method for handling specificity or priority may be used to resolve conflicts which might arise in this context.
Inconsistent information, like query results from different agents, may be merged using an appropriate arbitration method, taking into account the reliability or credibility of these agents. Examples of potential targets for the application are: TV information system Hotel booking information system Best-buy information system for particular goods, e.
CDs or books We believe that enhanced reasoning capabilities of information agents in applications like these will profitably increase the quality of the information service, and lead to better results. Download We have developed an update front-end which implements the update semantics we defined see Bibliography. Here you can download some examples as well as a command-line version in binary form: alpha-unknown-linux ilinux-elf-gnulibc2 ilinux-static iunknown-freebsd Bibliography J.