標(biāo)題: Titlebook: Deontic Logic and Artificial Normative Systems; 8th International Wo Lou Goble,John-Jules Ch. Meyer Conference proceedings 2006 Springer-Ve [打印本頁(yè)] 作者: Lampoon 時(shí)間: 2025-3-21 19:30
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems影響因子(影響力)
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems被引頻次
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems被引頻次學(xué)科排名
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems年度引用
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems年度引用學(xué)科排名
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems讀者反饋
書(shū)目名稱(chēng)Deontic Logic and Artificial Normative Systems讀者反饋學(xué)科排名
作者: degradation 時(shí)間: 2025-3-22 00:11
A State/Event Temporal Deontic Logiclas where deontic and temporal operators are nested, and discuss their intuitive meaning. We focus more particularly on the properties of obligation with deadline and define a specific operator to express this notion.作者: Foreshadow 時(shí)間: 2025-3-22 01:15
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithmsligations but also permissions, and we discuss the distinction between weak and strong permissions. Moreover, we introduce ways to combine algorithms for minimal and maximal specificity for DSDL3 with controllable and uncontrollable propositions, based on ‘optimistic’ and ‘pessimistic’ reasoning respectively.作者: anaerobic 時(shí)間: 2025-3-22 08:15
https://doi.org/10.1007/978-3-662-40303-7 to be done from what morally ought to be done, consider what legislation might be appropriate and characterise the differences between morally correct, morally praiseworthy and morally excusable actions.作者: 窩轉(zhuǎn)脊椎動(dòng)物 時(shí)間: 2025-3-22 09:03
https://doi.org/10.1007/978-3-662-40303-7ed from unintended consequences. In combination, these improvements make it possible to consider collaborative action aimed at a goal, within a setting open to detailed normative scrutiny of ends, means, actions and intentions.作者: 嚴(yán)厲批評(píng) 時(shí)間: 2025-3-22 13:52
Walter Modell (Associate Professor)sent a large variety of speech acts such as: to empower, to appoint, to order, to declare,...etc..The same formal language is also used to express the feasibility preconditions, the illocutionary effects and the perlocutionary effects.作者: 嚴(yán)厲批評(píng) 時(shí)間: 2025-3-22 18:18 作者: Flu表流動(dòng) 時(shí)間: 2025-3-22 23:13 作者: 不可救藥 時(shí)間: 2025-3-23 03:25 作者: escalate 時(shí)間: 2025-3-23 06:28
Walter Modell (Associate Professor)le strategies, and that (iii) trustworthiness can be spelled out in terms of strategies: An agent is living up to a given commitment, and thus, is trustworthy with respect to that commitment, if her strategy is at least as stringent as required. Overall trustworthiness of an agent can be defined by averaging over such single case assessments.作者: 名次后綴 時(shí)間: 2025-3-23 11:35
Walter Modell (Associate Professor)of . provides a means of specifying the permitted (acceptable, legal) states of a transition system and its permitted (acceptable, legal) transitions. We present this component of ., motivating its details with reference to some small illustrative examples.作者: 茁壯成長(zhǎng) 時(shí)間: 2025-3-23 15:29
Conference proceedings 2006therlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of norma作者: 偶然 時(shí)間: 2025-3-23 20:58 作者: 希望 時(shí)間: 2025-3-23 23:44
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario. obligations cannot do without a deadline condition saying the achievement has to take place before it. Then we define our logic as a reduction to ATL. We demonstrate the applicability of the logic by discussing a possible solution to Chisholm’s paradox. The solution differs considerably from other known temporal approaches to the paradox.作者: 財(cái)政 時(shí)間: 2025-3-24 06:24
0302-9743 ht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical stud作者: chisel 時(shí)間: 2025-3-24 08:34
Pharmacokinetics of Drug Excretion,(more or less) to be a set of norms that govern the interactions of a group of people. Examples are . and .. Here we are not so much interested in giving a very precise definition of an institution, but just want to note that the concept refers to a very abstract notion of a set of norms or social structure.作者: Respond 時(shí)間: 2025-3-24 13:43 作者: FLUSH 時(shí)間: 2025-3-24 16:05
Walter Modell (Associate Professor)ligations but also permissions, and we discuss the distinction between weak and strong permissions. Moreover, we introduce ways to combine algorithms for minimal and maximal specificity for DSDL3 with controllable and uncontrollable propositions, based on ‘optimistic’ and ‘pessimistic’ reasoning respectively.作者: 好色 時(shí)間: 2025-3-24 19:27
Addressing Moral Problems Through Practical Reasoning to be done from what morally ought to be done, consider what legislation might be appropriate and characterise the differences between morally correct, morally praiseworthy and morally excusable actions.作者: Salivary-Gland 時(shí)間: 2025-3-25 01:43 作者: 可轉(zhuǎn)變 時(shí)間: 2025-3-25 04:06 作者: FOIL 時(shí)間: 2025-3-25 10:42 作者: Minikin 時(shí)間: 2025-3-25 14:13
On the Normative Aspect of Signalling Conventionsce of the normative modality in understanding a closely related issue: reasoning about trust in communication scenarios; this, in turn, facilitates a clear formal articulation of the role of a . in trade communication.作者: 符合國(guó)情 時(shí)間: 2025-3-25 15:48 作者: Reverie 時(shí)間: 2025-3-25 23:11
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategiesle strategies, and that (iii) trustworthiness can be spelled out in terms of strategies: An agent is living up to a given commitment, and thus, is trustworthy with respect to that commitment, if her strategy is at least as stringent as required. Overall trustworthiness of an agent can be defined by averaging over such single case assessments.作者: 山頂可休息 時(shí)間: 2025-3-26 01:19 作者: inspiration 時(shí)間: 2025-3-26 05:35 作者: cortex 時(shí)間: 2025-3-26 09:31
Counts-as: Classification or Constitution? An Answer Using Modal LogicBy making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificatory and the constitutive readings) showing that, in fact, ‘counts-as is said in many ways’.作者: GULF 時(shí)間: 2025-3-26 15:11
Deontic Logic and Artificial Normative Systems978-3-540-35843-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 安撫 時(shí)間: 2025-3-26 20:15 作者: 現(xiàn)存 時(shí)間: 2025-3-26 21:16 作者: flimsy 時(shí)間: 2025-3-27 03:34 作者: SAGE 時(shí)間: 2025-3-27 06:45
Roles, Counts-as and Deontic and Action Logicss obligations, it must act. But an organization cannot act directly, so someone must act on its behalf (usually some member of the organization), and this must be known by the “external world” (by the agents that interact with the organization).作者: Liability 時(shí)間: 2025-3-27 10:54
Conflicting Obligations in Multi-agent Deontic Logiconing with sentences like ‘Group . of agents ought see to it that . in the interest of group .’. We illustrate our deontic logic with a new formal analysis of the Prisoner’s Dilemma, thereby showing that games can be studied fruitfully with our deontic logic. Finally, we prove a characterization theorem on conflicting obligations.作者: 愚蠢人 時(shí)間: 2025-3-27 16:53
Propositional Quantifiers in Deontic Logicositional quantifier is added to these systems, the propositional constant becomes definable in terms of the deontic operator. As a result, the meaning of this constant becomes clearer and it becomes easy to axiomatize the deontic fragments of the alethic modal systems.作者: medieval 時(shí)間: 2025-3-27 18:06
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265678.jpg作者: 牲畜欄 時(shí)間: 2025-3-28 01:04 作者: GOUGE 時(shí)間: 2025-3-28 03:34 作者: 咒語(yǔ) 時(shí)間: 2025-3-28 08:02
Distributing and Understanding Drugs,s obligations, it must act. But an organization cannot act directly, so someone must act on its behalf (usually some member of the organization), and this must be known by the “external world” (by the agents that interact with the organization).作者: PACT 時(shí)間: 2025-3-28 13:59 作者: 鴕鳥(niǎo) 時(shí)間: 2025-3-28 16:19 作者: 體貼 時(shí)間: 2025-3-28 21:45
https://doi.org/10.1007/978-3-662-40303-7at ought to be done in a particular situation, with moral norms perhaps emerging from this reasoning. We model this situated reasoning drawing on our previous work on argumentation schemes, here set in the context of Action-Based Alternating Transition Systems. We distinguish what prudentially ought作者: alcoholism 時(shí)間: 2025-3-29 02:18
Walter Modell (Associate Professor)ations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as作者: 下船 時(shí)間: 2025-3-29 07:08 作者: 手勢(shì) 時(shí)間: 2025-3-29 09:00
https://doi.org/10.1007/978-3-662-40303-7les us to model several concepts discussed in the deontic logic literature. Among the issues discussed are: conditionality, ought implies can, deliberateness, settledness, achievement obligations versus maintenance obligations and deontic detachment. We motivate our framework by arguing for the impo作者: leniency 時(shí)間: 2025-3-29 12:10 作者: etiquette 時(shí)間: 2025-3-29 16:25
Walter Modell (Associate Professor)n of it. Then, we study the interaction between the temporal dimension and the deontic dimension. We present some logical properties, concerning formulas where deontic and temporal operators are nested, and discuss their intuitive meaning. We focus more particularly on the properties of obligation w作者: 增減字母法 時(shí)間: 2025-3-29 23:39 作者: ironic 時(shí)間: 2025-3-30 00:31
Walter Modell (Associate Professor)often one has duties of longer durations such as: “Never do that”, or “Do this someday”. In this paper, we will investigate how to amend ... so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not i作者: 黃瓜 時(shí)間: 2025-3-30 05:45
Walter Modell (Associate Professor)ype of normative modality. It is then argued that, in terms of inferencing related to this modality, a solution can be given to the task J. L. Austin set but failed to resolve: finding a criterion for distinguishing between what Austin called . and . The remainder of the paper indicates the importan作者: 小爭(zhēng)吵 時(shí)間: 2025-3-30 10:15 作者: 厭倦嗎你 時(shí)間: 2025-3-30 13:27 作者: 植物學(xué) 時(shí)間: 2025-3-30 17:49
https://doi.org/10.1007/978-3-662-40303-7r paper, we attempt to make the idea of a joining between grounds and consequences more precise by using an algebraic representation of normative systems earlier developed by the authors. In the first main part, the idea of intermediate concepts is presented and earlier discussions of the subjects a作者: Pastry 時(shí)間: 2025-3-30 23:13 作者: 不愛(ài)防注射 時(shí)間: 2025-3-31 02:31 作者: GRAIN 時(shí)間: 2025-3-31 06:35 作者: 玩忽職守 時(shí)間: 2025-3-31 11:57
Walter Modell (Associate Professor)perspective of the ongoing dialogue between computational and psychological research. We will develop a view of the domain of human emotions as informed in particular by cognitive appraisal theories and situated cognition research that illustrates the role of emotions within the coordination of acti作者: 迎合 時(shí)間: 2025-3-31 14:33
Walter Modell (Associate Professor)the logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is作者: Fretful 時(shí)間: 2025-3-31 21:04
https://doi.org/10.1007/978-3-662-40303-7n of goals, where a goal is delegated to an agent without giving it any power. With two case studies we show the importance of the delegation of power. Finally, we show how the new definition can be related with existing ones by using different levels of abstraction.作者: 碎石 時(shí)間: 2025-3-31 21:55
0302-9743 ion of systems for the management of bureaucratic processes in public or private administration, or the speci?cation of database integrity constraints or comput978-3-540-35842-8978-3-540-35843-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 隱藏 時(shí)間: 2025-4-1 02:00 作者: 偏離 時(shí)間: 2025-4-1 06:50 作者: 指派 時(shí)間: 2025-4-1 12:17
A Logical Architecture of a Normative Systemthe logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is作者: MODE 時(shí)間: 2025-4-1 17:47 作者: Spongy-Bone 時(shí)間: 2025-4-1 21:04
Roles, Counts-as and Deontic and Action Logicss obligations, it must act. But an organization cannot act directly, so someone must act on its behalf (usually some member of the organization), and this must be known by the “external world” (by the agents that interact with the organization).作者: 粗糙濫制 時(shí)間: 2025-4-2 00:27 作者: perimenopause 時(shí)間: 2025-4-2 04:39
