Results 1 - 10
of
217
Dynamic Context Logic and its Application to Norm Change
"... Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and use it to develop an axiomatic and semantic analysis of norm change in normative systems. T ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and use it to develop an axiomatic and semantic analysis of norm change in normative systems
NORM PERFORMATIVES AND DEONTIC LOGIC
, 2011
"... ABSTRACT Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of de ..."
Abstract
- Add to MetaCart
limits the applicability of such concepts. Deontic logic gets part of its philosophical significance from the fact that norms and valuations, though removed from the realm of truth, yet are subject to logical law. This shows that logic, so to speak, has a wider reach than truth. (von Wright 1957, vii
The logic of social sharing: An evolutionary game analysis of adaptive norm development
- Personality and Social Psychology Review
, 2003
"... Although norms can potentially serve useful constructs to understand human minds, being fundamentally social in evolutionary as well as cultural senses, there are as yet no useful psychological theories of adaptive norm development. This ar-ticle provides an illustrative model about how a norm emerg ..."
Abstract
-
Cited by 23 (8 self)
- Add to MetaCart
& Campbell, 1961; Sherif, 1936), even in modern social psychol-ogy, the role of social norm construct for explaining behavior is often criticized. Some theorists argue that in many realistically complex social contexts, a vari-ety of social norms are potentially applicable to a given social
Context Logic and Tree Update
"... This thesis introduces Context Logic, a novel spatial logic which was developed to allow local Hoare-style reasoning about tree update, but which also permits reasoning about more general data update. Spatial logics have previously been used to describe properties of tree-like structures (as in Ambi ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
in Ambient Logic) and to reason locally about dynamic updates of heaps (as in Separation Logic). However, simple adaptations of the Ambient Logic are not expressive enough to capture dynamic updates of trees. Instead, one must reason explicitly about tree contexts in order to capture updates throughout
Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework
, 2003
"... We argue that the software user, the developer, the designer and indeed the application logic itself all possess invaluable intelligence to gear how software should adapt itself to changing requirements and changing context. We present Chisel, an open framework for dynamic adaptation of services usi ..."
Abstract
-
Cited by 64 (0 self)
- Add to MetaCart
We argue that the software user, the developer, the designer and indeed the application logic itself all possess invaluable intelligence to gear how software should adapt itself to changing requirements and changing context. We present Chisel, an open framework for dynamic adaptation of services
An Application of Context Middleware Based on Fuzzy Logic for Wireless Sensor Networks
, 2009
"... The research of context-aware computing based on wireless sensor network (WSN) aims at intelligently connecting computers, users, and environment. So its application system should be flexibly adaptable to dy-namic changes of context and application requirements and proactively provides the informati ..."
Abstract
- Add to MetaCart
The research of context-aware computing based on wireless sensor network (WSN) aims at intelligently connecting computers, users, and environment. So its application system should be flexibly adaptable to dy-namic changes of context and application requirements and proactively provides
A complete STIT logic for knowledge and action, and some of its applications
- In Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies (DALT 2008
, 2008
"... Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other multi-agent concepts. Also I give some arguments in favor of taking STIT formalisms instead of dynamic logics as the bas ..."
Abstract
-
Cited by 8 (2 self)
- Add to MetaCart
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other multi-agent concepts. Also I give some arguments in favor of taking STIT formalisms instead of dynamic logics
A logical understanding of legal interpretation
"... If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to unforeseen situations. We model this mecha-nism for norms regulating computer systems by representin ..."
Abstract
-
Cited by 10 (5 self)
- Add to MetaCart
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to unforeseen situations. We model this mecha-nism for norms regulating computer systems
Proof Theory for Authorization Logic and its Application to a Practical File System
, 2009
"... In most computer systems users ’ access to resources is controlled using authorization policies. It well known that logic is an appropriate medium for representing, understanding, and enforcing authorization policies, yet despite several years of pragmatic work on the subject, the foundations of rel ..."
Abstract
-
Cited by 14 (6 self)
- Add to MetaCart
of relevant logics remain unexplored and poorly understood. It is in this realm that the work of this thesis lies; the thesis explores the theory of logics for expressing authorization policies as well as applications of the theory in practice. In doing so, it makes three foundational and technically
Concurrent dynamic epistemic logic for MAS
, 2003
"... When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our
Results 1 - 10
of
217