Sciweavers

575 search results - page 1 / 115
» Transition systems for designing and reasoning about norms
Sort
View
ENC
2003
IEEE
13 years 9 months ago
Modelling Norms for Autonomous Agents
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
Fabiola López y López, Michael Luck
DEON
2006
Springer
13 years 6 months ago
Addressing Moral Problems Through Practical Reasoning
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
Katie Atkinson, Trevor J. M. Bench-Capon
LPAR
2004
Springer
13 years 9 months ago
Reasoning About Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
FORTE
2009
13 years 2 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
DALT
2010
Springer
12 years 11 months ago
Understanding Permissions through Graphical Norms
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...
Nir Oren, Madalina Croitoru, Simon Miles, Michael ...