Filters








48,230 Hits in 6.4 sec

Normative-informational positions: a modal-logical approach

Andrew J. I. Jones, Xavier Parent
2007 Artificial Intelligence and Law  
Keywords Modal and deontic logic Á Normative systems Á Theory of normative positions Á Regulation of information flow Á Norms for information agents This paper is a revised and considerably extended version  ...  This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of normativeinformational positions, pertaining to rules that  ...  (Sen 1982) .16 The logic of the 'can' operator is discussed in, e.g.,(Elgesem 1997).Normative-informational positions: a modal-lofical approach  ... 
doi:10.1007/s10506-007-9045-1 fatcat:bpeaktq4ejd23bgtxuzx6ag3wa

On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

Tomasz Jarmużek, Mateusz Klonowski
2020 Logic and Logical Philosophy  
Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values under which  ...  It is a logic of strictly-deontic modalities DR.  ...  Tableau systems of quasi-and strictly-deontic modalities We shall now outline the tableau approach to our logics.  ... 
doi:10.12775/llp.2020.010 fatcat:gvy7tz7ytvcwdal772ix2xytvy

Information Security Inside Organizations - A Positive Model and Some Normative Arguments Based on New Institutional Economics

Frank Pallas
2009 Social Science Research Network  
issues of regulation and on the limits of the economic xi approach.  ...  And nally, I am indebted to Louise Yngström a longtime proponent of interdisciplinary and theory-based information security research and my second advisor for unconscious indirect and conscious direct  ...  modalities of architecture, law, and social norms as introduced by Lessig.  ... 
doi:10.2139/ssrn.1471801 fatcat:jgcqvh2r5raffnt5ouqlcrb6tm

Why Do Informal Proofs Conform to Formal Norms?

Jody Azzouni
2008 Foundations of Science  
Nevertheless, a successor problem remains: both traditional and contemporary (classical) mathematical proofs, although conforming to the norms of contemporary (classical) logic, never were, and still aren't  ...  , executed by mathematicians in a way that transparently reveals why these proofs-written in the vernacular to this very day-succeed in conforming to those norms.  ...  Acknowledgements My thanks to Jeremy Avigad, and to a referee, for helpful comments on an earlier version (consequently modified) of this paper.  ... 
doi:10.1007/s10699-008-9144-9 fatcat:jru2bot5nbgrfffspfj7rxgl34

Instrumentalization of Norm-regulated Transition System Situations [chapter]

Magnus Hjelmblom
2014 Communications in Computer and Information Science  
It introduces the notion of a norm-regulated transition system situation, which is intended to represent a single step in the run of a (norm-regulated) transition system.  ...  An approach to normative systems in the context of multiagent systems (MAS) modeled as transition systems, in which actions are associated with transitions between different system states, is presented  ...  Some approaches are purely algebraic or based on modal logics, for example temporal or deontic logic.  ... 
doi:10.1007/978-3-662-44440-5_5 fatcat:noq55n6s5zc4tllr7hv5hhj2zm

Normative requirements for regulatory compliance: An abstract formal framework

Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn
2015 Information Systems Frontiers  
This paper presents an abstract framework consisting of a list of norms and a generic compliance checking approach on the idea of (possible) execution of processes.  ...  By definition, regulatory rules (in legal context called norms) intend to achieve specific behaviour from business processes, and might be relevant to the whole or part of a business process.  ...  The proposed approach extends the norm temporal logic of Ågotnes et al (2007) and introduced obligations and permissions operators into the temporal logic to model the various compliance requirements  ... 
doi:10.1007/s10796-015-9558-1 fatcat:q6kdaykc4rezpdzdswisq6yohy

Logic as (Normative) Inference Theory: Formal vs. Non-formal Theories of Inference Goodness

Lilian Bermejo-Luque
2009 Informal Logic  
I defend a conception of Logic as normative for the sort of activities in which inferences super-vene, namely, reasoning and arguing.  ...  Toulmin's criticism of formal logic will be our framework to shape the idea that in order to make sense of Logic as normative, we should con-ceive it as a discipline devoted to the layout of arguments,  ...  David Hitchcock has helped me to improve some of the views presented in this paper through a variety of fruitful discussions. And Prof. Anthony Blair has done a great editing job.  ... 
doi:10.22329/il.v28i4.2855 fatcat:hevg2cgyezbvbfdo32i3xwq4qi

Knowledge, Decisions, and Norms: A Framework for Studying the Structuration of Spreadsheets in Social Organizations

Patrick Allen Rose, Anthony J. Pennings
2022 Information  
A framework is proposed to explain the ways spreadsheets are assembled to embody three general forms of modalities central to Structuration Theory: (1) interpretive schemes, (2) facilities, and (3) norms  ...  The proposed framework characterizes specific spreadsheet properties by their roles in enabling how these structural modalities construct realities with digital information that predetermine organizational  ...  Specifically, our structural framework posits that the three modalities draw on three sets of spreadsheet properties: (1) formulas, (2) analytical models, and (3) logical functions (Figure 4 ).  ... 
doi:10.3390/info13020046 fatcat:dpgfoovlgvb2xaljk653spkcoq

Behavioral Norms in Virtual Organizations [chapter]

Mahdieh Shadi, Hamideh Afsarmanesh
2014 IFIP Advances in Information and Communication Technology  
Additionally, a fuzzy norm is introduced to indicate agents' trustworthy behavior.  ...  For this purpose, three kinds of behavioral norms are defined, including: socio-legal norms, functional norms, and activity-related norms.  ...  In relation to research on the formalization of promises and norms, in [16] and [17] some definition of promises are represented by Modal logic.  ... 
doi:10.1007/978-3-662-44745-1_5 fatcat:znh56oavjbcvxh3pj4ixhoefhi

Cross-Cultural Differences in Informal Argumentation: Norms, Inductive Biases and Evidentiality

Hatice Karaslaan, Annette Hohenberger, Hilmi Demir, Simon Hall, Mike Oaksford
2018 Journal of Cognition and Culture  
This hypothesis was tested by fitting a Bayesian model to data on informal argumentation from Turkish and English cultures, which linguistically mark evidence quality differently.  ...  Cross-cultural differences in argumentation may be explained by the use of different norms of reasoning. However, some norms derive from, presumably universal, mathematical laws.  ...  A similar model fitting approach might inform the debate over the principle of non-contradiction.  ... 
doi:10.1163/15685373-12340035 fatcat:vzve3xhueva7pe4x3wxtqr24au

NORM NEGOTIATION IN MULTIAGENT SYSTEMS

GUIDO BOELLA, LEENDERT VAN DER TORRE
2007 International Journal of Cooperative Information Systems  
First individual agents or their representatives negotiate social goals, then a social goal is negotiated in a social norm, and finally the social norm is accepted by the agents when it leads to fulfilment  ...  achieve the social goal (obligations associated with the norm) and the associated sanctions or rewards (a control system associated with the norm).  ...  characterization combines a game-theoretic approach with cognitive agents, rule based systems and input/output logics.  ... 
doi:10.1142/s0218843007001585 fatcat:5siijh4kkrbezntf7mabkv4yty

Human-inspired model for norm compliance decision making

N. Criado, E. Argente, P. Noriega, V. Botti
2013 Information Sciences  
However, this paper does not provide any information about how the behaviour of the norm enforcer agent is modelled and how this information is used in the definition of the utility function.  ...  This work only proposes the architecture for norm-autonomous agents (i.e., the logical connections among norms and mental states) and details which tasks and deliberations should be carried out by agents  ...  Therefore, norms in our approach define a pattern of behaviour (or norm condition in our terminology) as obligatory, prohibited or permitted.  ... 
doi:10.1016/j.ins.2013.05.017 fatcat:g4wthz3lpfbjvisxde55v3cjhi

Normative Requirements for Business Process Compliance [chapter]

Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn
2014 Lecture Notes in Business Information Processing  
We propose a framework that provides the formal semantics of the normative requirements for determining whether a business process complies with a normative document (where a normative document can be  ...  Norms typically describe the conditions under which they are applicable and the normative effects as a result of their applications.  ...  In this paper we will subscribe to this position, given that our focus here is not on how to determine what is prescribed by a set of norms and how to derive it.  ... 
doi:10.1007/978-3-319-07950-9_8 fatcat:3o7tepe3zrhb3kkqftc7o5vuxi

Ethics and Empirical Psychology – Critical Remarks to Empirically Informed Ethics [chapter]

Antti Kauppinen
2013 Empirically Informed Ethics: Morality between Facts and Norms  
Empirically Informed Normative Ethics?  ...  ourselves in such a position.  ... 
doi:10.1007/978-3-319-01369-5_16 fatcat:hjkdtwhnenchfbtbe6h6m3nyrm

Extraction Of Technical Information From Normative Documents Using Automated Methods Based On Ontologies : Application To The Iso 15531 Mandate Standard - Methodology And First Results [article]

A.F. Cutting-Decelle, A. Digeon, R.I. Young, J.L. Barraud, P. Lamboley
2018 arXiv   pre-print
We propose here a methodology enabling the extraction of technical information from a given normative corpus, based on a semantic annotation process done according to reference ontologies.  ...  The aim of this study is to present a methodology enabling an automatic extraction of the technical concepts (terms) found in normative documents, through the use of semantic tools coming from the field  ...  For Lin (2008), a semantic annotation is concerned with "an approach to link ontologies to the original information sources".  ... 
arXiv:1806.02242v2 fatcat:2wuyaz3u6vhuzjoy532vwvbvqy
« Previous Showing results 1 — 15 out of 48,230 results