標(biāo)題: Titlebook: Deontic Logic in Computer Science; 7th International Wo Alessio Lomuscio,Donald Nute Conference proceedings 2004 Springer-Verlag Berlin Hei [打印本頁] 作者: Baleful 時(shí)間: 2025-3-21 16:54
書目名稱Deontic Logic in Computer Science影響因子(影響力)
書目名稱Deontic Logic in Computer Science影響因子(影響力)學(xué)科排名
書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開度
書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Deontic Logic in Computer Science被引頻次
書目名稱Deontic Logic in Computer Science被引頻次學(xué)科排名
書目名稱Deontic Logic in Computer Science年度引用
書目名稱Deontic Logic in Computer Science年度引用學(xué)科排名
書目名稱Deontic Logic in Computer Science讀者反饋
書目名稱Deontic Logic in Computer Science讀者反饋學(xué)科排名
作者: 暗語 時(shí)間: 2025-3-21 23:41
Obligation, Contracts, and Negotiationhave renegotiated my contract with you so that my remaining obligation is to pay you $50 (or, depending on details of the negotiation, perhaps $50 plus interest or a late fee). Analogous, though usually more explicit, renegotiations of contracts are commonplace in the corporate world as well..As we 作者: 凹處 時(shí)間: 2025-3-22 01:29 作者: Kinetic 時(shí)間: 2025-3-22 07:05 作者: 遭遇 時(shí)間: 2025-3-22 10:39
Deontic Logic in Computer Science978-3-540-25927-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: fleeting 時(shí)間: 2025-3-22 14:08
Christiane W. Runyan,Paolo D’Odoriconcy and without deontic explosion, while at the same time preserving the range of genuinely valid inferences. The proposal applies both to monadic deontic logic and to a dyadic logic of conditional obligation. In the Appendix these systems are proved to be sound and complete with respect to an appropriate semantics and also to be decidable.作者: fleeting 時(shí)間: 2025-3-22 18:51 作者: 哄騙 時(shí)間: 2025-3-22 23:52 作者: cancellous-bone 時(shí)間: 2025-3-23 04:28 作者: 冥界三河 時(shí)間: 2025-3-23 06:47
https://doi.org/10.1007/978-1-4020-5480-8n what we call the social delegation cycle, which explains the creation of norms from agent desires in three steps. First individual agent desires generate group goals, then a group goal is individualized in a social norm, and finally the norm is accepted by the agents when it leads to the fulfilmen作者: 欲望 時(shí)間: 2025-3-23 10:43
Bromination Roasting of Rare Earth Oxides intuitions we arrive at a simple semantics for deadline obligations in terms of branching time models. We show that this notion of deadline obligation can be characterized in the branching time logic CTL. The defined operator obeys intuitive logic properties, like monotony w.r.t. . and anti-monoton作者: Defense 時(shí)間: 2025-3-23 16:47
https://doi.org/10.1007/978-3-319-48245-3al solutions have been proposed but even if they are attractive from a thoretical point of view they have practical drawbacks..In this paper simple solutions are proposed thanks to the restriction to obligations that take the form of modal literals. These solutions are presented in the framework of 作者: EXALT 時(shí)間: 2025-3-23 20:00
Christiane W. Runyan,Paolo D’Odoriconcy and without deontic explosion, while at the same time preserving the range of genuinely valid inferences. The proposal applies both to monadic deontic logic and to a dyadic logic of conditional obligation. In the Appendix these systems are proved to be sound and complete with respect to an appro作者: Picks-Disease 時(shí)間: 2025-3-24 02:13 作者: bleach 時(shí)間: 2025-3-24 04:10 作者: analogous 時(shí)間: 2025-3-24 08:39 作者: 苦澀 時(shí)間: 2025-3-24 14:21
https://doi.org/10.1007/978-3-319-19405-9ard logic . . The semantics for .. represents combination of quasi-matrix semantics and the ., which allows .. to avoid deontic explosion ..?∧?.?.???... The system .. rejects both deontic explosion and the formula ..?∧?.?.???..?∧??.., thus it allows to consider deontic dilemmas without classical con作者: Gratulate 時(shí)間: 2025-3-24 17:44 作者: Carcinogen 時(shí)間: 2025-3-24 22:08
Dryland Dynamics and Driving Forcesa normative multiagent system. To this end we use KBDIO., an extension of BDI. in which obligations and permissions are represented by directed modal operators. We illustrate how the logic can be used by introducing and discussing various properties of normative systems and individual agents which c作者: GRAIN 時(shí)間: 2025-3-25 02:56 作者: 精致 時(shí)間: 2025-3-25 04:56 作者: Adrenal-Glands 時(shí)間: 2025-3-25 07:44
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265681.jpg作者: Amylase 時(shí)間: 2025-3-25 14:23
https://doi.org/10.1007/978-3-030-23269-6We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.作者: Compatriot 時(shí)間: 2025-3-25 19:39
https://doi.org/10.1007/978-3-319-19405-9This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of ., pertaining to rules that are meant to regulate the supply of information.作者: 整潔 時(shí)間: 2025-3-25 23:27
Bingfang Wu,William Kolby Smith,Hongwei ZengWe present an algorithm and its implementation for the verification of correct behaviour and epistemic states in multiagent systems. The verification is performed via model checking techniques based on .’s. We test our implementation by means of a communication example: the bit transmission problem with faults.作者: 疾馳 時(shí)間: 2025-3-26 02:33
Defeasible Logic: Agency, Intention and ObligationWe propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.作者: 黃瓜 時(shí)間: 2025-3-26 05:07
On Normative-Informational PositionsThis paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of ., pertaining to rules that are meant to regulate the supply of information.作者: 必死 時(shí)間: 2025-3-26 09:27
Automatic Verification of Deontic Properties of Multi-agent SystemsWe present an algorithm and its implementation for the verification of correct behaviour and epistemic states in multiagent systems. The verification is performed via model checking techniques based on .’s. We test our implementation by means of a communication example: the bit transmission problem with faults.作者: FACT 時(shí)間: 2025-3-26 12:47
https://doi.org/10.1007/b98159AI logics; action logic; artificial intelligence; computer science logic; deontic logic; formal reasoning作者: Hearten 時(shí)間: 2025-3-26 19:58 作者: 有效 時(shí)間: 2025-3-26 22:49
A Proposal for Dealing with Deontic Dilemmasncy and without deontic explosion, while at the same time preserving the range of genuinely valid inferences. The proposal applies both to monadic deontic logic and to a dyadic logic of conditional obligation. In the Appendix these systems are proved to be sound and complete with respect to an appropriate semantics and also to be decidable.作者: 爆炸 時(shí)間: 2025-3-27 03:41
0302-9743 ogic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organ作者: 辯論 時(shí)間: 2025-3-27 07:29
Drying of Wet Earth for Adobe Construction,s for conditional obligation and permission. Sound and complete axiomatizations are obtained for all three hierarchies relative to a simplified version of the finite co-ordinate-system semantics given for so-called T × W logic of historical necessity in ?qvist (1999).作者: 帽子 時(shí)間: 2025-3-27 09:35 作者: 收到 時(shí)間: 2025-3-27 16:50
Dryland Dynamics and Driving Forcesoperators. We illustrate how the logic can be used by introducing and discussing various properties of normative systems and individual agents which can be represented in the logic. In particular we discuss the enforcement of norms.作者: 商議 時(shí)間: 2025-3-27 19:52 作者: 斗爭 時(shí)間: 2025-3-27 23:49 作者: FAR 時(shí)間: 2025-3-28 03:04
https://doi.org/10.1007/978-1-4020-5480-8l agent desires, we formalize norm creation as a planning process for both the obligation and the associated sanctions or rewards, and we formalize the acceptance relation as both a belief of agents that the fulfilment of the norm leads to achievement of their desires, and the belief that other agents will act according to the norm.作者: 試驗(yàn) 時(shí)間: 2025-3-28 09:49
Bromination Roasting of Rare Earth Oxidese are implied by the actual achievement of . before the deadline. We argue that this problem is caused by the fact that we model the obligation only from the point of view of its violation conditions. We show that the property might be eliminated by considering success conditions also.作者: intoxicate 時(shí)間: 2025-3-28 12:02
Social Laws in Alternating Times a consequence, existing . model checkers may be applied to these problems. We illustrate the concepts and techniques developed by means of a running example..(joint with with Wiebe van der Hoek and Mark Roberts)作者: GENUS 時(shí)間: 2025-3-28 15:01
Δ: The Social Delegation Cyclel agent desires, we formalize norm creation as a planning process for both the obligation and the associated sanctions or rewards, and we formalize the acceptance relation as both a belief of agents that the fulfilment of the norm leads to achievement of their desires, and the belief that other agents will act according to the norm.作者: 冒煙 時(shí)間: 2025-3-28 22:49
Designing a Deontic Logic of Deadlinese are implied by the actual achievement of . before the deadline. We argue that this problem is caused by the fact that we model the obligation only from the point of view of its violation conditions. We show that the property might be eliminated by considering success conditions also.作者: ADAGE 時(shí)間: 2025-3-28 23:40 作者: 偏離 時(shí)間: 2025-3-29 06:30
Conflicting Imperatives and Dyadic Deontic Logic. The present paper extends these resolution mechanisms to circumstantial inputs, defines according dyadic deontic operators, and provides a sound and (weakly) complete axiomatic system for such a deontic semantics.作者: Malaise 時(shí)間: 2025-3-29 10:10
Specifying Multiagent Organizationsoperators. We illustrate how the logic can be used by introducing and discussing various properties of normative systems and individual agents which can be represented in the logic. In particular we discuss the enforcement of norms.作者: CAND 時(shí)間: 2025-3-29 15:19 作者: FOIL 時(shí)間: 2025-3-29 17:29
https://doi.org/10.1007/978-3-030-23269-6lective agency, and then formalized by means of a dynamic deontic logic framework. Within this setting, a formal account of the notion of coordination, intended as management of interdependencies among agents’ activities, is also provided.作者: 混沌 時(shí)間: 2025-3-29 21:09
https://doi.org/10.1007/978-3-319-19405-9tradictions..The systems .., .. and .. in which the two types of deontic operators are used, namely, strong and weak obligation (permission), can be built as an extension of the correspondent systems .., .. and ...作者: laceration 時(shí)間: 2025-3-30 01:36
Gaudiose Mujawamariya,Kees Burgeractions are called delegation. In this paper we analyze different ways in which delegation occurs in an organizational context. We argue that the concept of ”agent in a role” is relevant to understand delegation. A deontic and action modal logic is used to specify this concept.作者: inhumane 時(shí)間: 2025-3-30 07:58 作者: Vldl379 時(shí)間: 2025-3-30 10:13 作者: 追逐 時(shí)間: 2025-3-30 15:57 作者: Acclaim 時(shí)間: 2025-3-30 20:27 作者: 帶來墨水 時(shí)間: 2025-3-30 23:15
https://doi.org/10.1007/978-3-319-19405-9r should not be regarded as a definite statement on how logics of obligation and strategic ability must be combined; instead, it is intended for stimulating discussion about such kinds of reasoning, and the models that can underpin it.作者: Confirm 時(shí)間: 2025-3-31 02:48 作者: 并入 時(shí)間: 2025-3-31 07:27
On Obligations and Abilitiesr should not be regarded as a definite statement on how logics of obligation and strategic ability must be combined; instead, it is intended for stimulating discussion about such kinds of reasoning, and the models that can underpin it.作者: mercenary 時(shí)間: 2025-3-31 09:18
