Search Results for author:
Found 21 papers, 0 papers with code
The Logic of Doxastic Strategies
In many real-world situations, there is often not enough information to know that a certain strategy will succeed in achieving the goal, but there is a good reason to believe that it will.
De Re and De Dicto Knowledge in Egocentric Setting
Prior proposes the term "egocentric" for logical systems that study properties of agents rather than properties of possible worlds.
Shhh! The Logic of Clandestine Operations
An operation is called covert if it conceals the identity of the actor; it is called clandestine if the very fact that the operation is conducted is concealed.
From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems
The Agents, Interaction and Complexity research group at the University of Southampton has a long track record of research in multiagent systems (MAS).
Truth Set Algebra: A New Way to Prove Undefinability
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples.
Budget-Constrained Coalition Strategies with Discounting
Discounting future costs and rewards is a common practice in accounting, game theory, and machine learning.
If You're Happy, Then You Know It: The Logic of Happiness... and Sadness
The article proposes a formal semantics of happiness and sadness modalities in imperfect information setting.
Comprehension and Knowledge
The ability of an agent to comprehend a sentence is tightly connected to the agent's prior experiences and background knowledge.
Epistemic Logic of Know-Who
The main technical result is a completeness theorem for the proposed system.
Duty to Warn in Strategic Games
The paper investigates the second-order blameworthiness or duty to warn modality "one coalition knew how another coalition could have prevented an outcome".
Ethical Dilemmas in Strategic Games
An agent, or a coalition of agents, faces an ethical dilemma between several statements if she is forced to make a conscious choice between which of these statements will be true.
Blameworthiness in Security Games
Security games are an example of a successful real-world application of game theory.
Strategic Coalitions in Stochastic Games
The article introduces a notion of a stochastic game with failure states and proposes two logical systems with modality "coalition has a strategy to transition to a non-failure state with a given probability while achieving a given goal."
The Limits of Morality in Strategic Games
A coalition is blameable for an outcome if the coalition had a strategy to prevent it.
Knowledge and Blameworthiness
Blameworthiness of an agent or a coalition of agents is often defined in terms of the principle of alternative possibilities: for the coalition to be responsible for an outcome, the outcome must take place and the coalition should have had a strategy to prevent it.
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy.
Navigability with Imperfect Information
The article studies navigability of an autonomous agent in a maze where some rooms may be indistinguishable.
Armstrong's Axioms and Navigation Strategies
The paper investigates navigability with imperfect information.
Strategic Coalitions with Perfect Recall
The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality.
Together We Know How to Achieve: An Epistemic Logic of Know-How
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy.
