Autor*innen mit den meisten Dokumenten
Neueste Veröffentlichungen
- ZeitschriftenartikelResponsible Intelligent Systems(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Broersen, JanThe 2013 ERC-consolidator project “Responsible Intelligent Systems” proposes to develop a formal framework for automating responsibility, liability and risk checking for intelligent systems. The goal is to answer three central questions, corresponding to three sub-projects of the proposal: (1) What are suitable formal logical representation formalisms for knowledge of agentive responsibility in action, interaction and joint action? (2) How can we formally reason about the evaluation of grades of responsibility and risks relative to normative systems? (3) How can we perform computational checks of responsibilities in complex intelligent systems interacting with human agents? To answer the first two questions, we will design logical specification languages for collective responsibilities and for probability-based graded responsibilities, relative to normative systems. To answer the third question, we will design suitable translations to related logical formalisms, for which optimised model checkers and theorem provers exist. All three answers will contribute to the central goal of the project as a whole: designing the blueprints for a formal responsibility checking system. To reach that goal the project will combine insights from three disciplines: philosophy, legal theory and computer science.
- ZeitschriftenartikelMeasuring Inconsistency in Multi-Agent Systems(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Hunter, A.; Parsons, S.; Wooldridge, M.We introduce and investigate formal quantitative measures of inconsistency between the beliefs of agents in multi-agent systems. We start by recalling a well-known model of belief in multi-agent systems, and then, using this model, present two classes of inconsistency metrics. First, we consider metrics that attempt to characterise the overall degree of inconsistency of a multi-agent system in a single numeric value, where inconsistency is considered to be individuals within the system having contradictory beliefs. While this metric is useful as a high-level indicator of the degree of inconsistency between the beliefs of members of a multi-agent system, it is of limited value for understanding the structure of inconsistency in a system: it gives no indication of the sources of inconsistency. We therefore introduce metrics that quantify for a given individual the extent to which that individual is in conflict with other members of the society. These metrics are based on power indices, which were developed within the cooperative game theory community in order to understand the power that individuals wield in cooperative settings.
- ZeitschriftenartikelBeyond Distributed Artificial Intelligence(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Klügl, Franziska
- ZeitschriftenartikelReconfigurable Autonomy(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Dennis, Louise A.; Fisher, Michael; Aitken, Jonathan M.; Veres, Sandor M.; Gao, Yang; Shaukat, Affan; Burroughes, GuyThis position paper describes ongoing work at the Universities of Liverpool, Sheffield and Surrey in the UK on developing hybrid agent architectures for controlling autonomous systems, and specifically for ensuring that agent-controlled dynamic reconfiguration is viable. The work outlined here forms part of the Reconfigurable Autonomy research project.
- ZeitschriftenartikelSpecial Issue on Multi-Agent Decision Making(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Bulling, Nils
- ZeitschriftenartikelKI-Community(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014)
- ZeitschriftenartikelNews(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014)
- ZeitschriftenartikelSmart Grid Challenges for Electricity Retailers(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Collins, John; Ketter, WolfgangThe need to achieve sustainability is driving a major transformation of the energy sector. The traditional top-down approach to electricity supply and grid management is being strongly disrupted by a range of forces including distributed renewables, retail market liberalization, and the need for energy consumers to adapt their behavior to the availability of renewable energy sources. We introduce Power TAC, a competitive simulation that challenges researchers to build autonomous trading agents that tackle the complex decision processes a retailer will need to face in future competitive retail electricity markets.
- ZeitschriftenartikelGerhard Weiss (ed.): Multiagent Systems(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Kaźmierczak, Piotr
- ZeitschriftenartikelA Survey of Multi-Agent Decision Making(KI - Künstliche Intelligenz: Vol. 28, No. 3, 2014) Bulling, NilsIn this article we give a high-level overview of various aspects relevant to multi-agent decision making. Classical decision theory makes the start. Then, we introduce multi-agent decision making, focussing on game theory, complex decision making, and on intelligent agents. Afterwards, we discuss methods for reaching agreements interactively, e.g. by negotiation, bargaining, and argumentation, followed by approaches to coordinate and to control agents’ decision making.