• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 217
Next 10 →

Dynamic Context Logic and its Application to Norm Change

by Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
"... 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

by | Eujap , Vol , 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

by Tatsuya Kameda, Masanori Takezawa, Reid Hastie - 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

by Uri Zarfaty
"... 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

by John Keeney, Vinny Cahill , 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

by Ye Ning, Ruchuan Wang, Shouming Ma, Zhili Wang , 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

by Jan Broersen - 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

by Guido Boella, Guido Governatori, Antonino Rotolo, Leendert Van Der Torre
"... 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

by Deepak Garg, Lujo Bauer, Anupam Datta, Robert Harper , 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

by H.P. van Ditmarsch, W. Van Der Hoek, B.P. Kooi , 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
Next 10 →
Results 1 - 10 of 217
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University