Campus Event Calendar
Event Entry
What and Who
Resolution-based Reasoning for Coalition Logic
Ullrich Hustadt
University of Liverpool
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 14 August 2014
11:00
60 Minutes
E1 3 - Hörsaal Gebäude
002
Saarbrücken
Abstract
Coalition Logic CL is a logic for reasoning about cooperative agency,
that is, a formalism intended to describe the ability of groups of
agents to achieve an outcome in a strategic game.
In this talk we discuss a resolution-based calculus for Coalition
Logic CL. The calculus operates on `coalition problems', a normal form
for CL, and the inference rules of the calculus provide the basis for
a decision procedure for the satisfiability problem in CL. We also
present some preliminary experimental results for two prototypical
implementations of the calculus for CL and compare both with a
tableau-based decision procedure.
that is, a formalism intended to describe the ability of groups of
agents to achieve an outcome in a strategic game.
In this talk we discuss a resolution-based calculus for Coalition
Logic CL. The calculus operates on `coalition problems', a normal form
for CL, and the inference rules of the calculus provide the basis for
a decision procedure for the satisfiability problem in CL. We also
present some preliminary experimental results for two prototypical
implementations of the calculus for CL and compare both with a
tableau-based decision procedure.
Contact
Jennifer Müller
2900
--email hidden
passcode not visible
logged in users only
Jennifer Müller, 08/08/2014 12:07 -- Created document.