A state/event temporal deontic logic

被引：0

作者：

Brunel, Julien ^{[1
]}

Bodeveix, Jean-Paul ^{[1
]}

Filali, Mamoun ^{[1
]}

机构：

[1] Univ Toulouse 3, Inst Rech Informat Toulouse, F-31062 Toulouse, France

来源：

DEONTIC LOGIC AND ARTIFICIAL NORMATIVE SYSTEMS, PROCEEDINGS | 2006年 / 4048卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper studies a logic that combines deontic and temporal aspects. We first present a state/event temporal formalism and define a deontic extension 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 with deadline and define a specific operator to express this notion.

引用

页码：85 / 100

页数：16

共 50 条

[1] A temporal dynamic deontic logic
Ju, Fengkui
van Eijck, Jan
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (02) : 265 - 284
[2] On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
Allaire, Marc
Governatori, Guido
[J]. PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2014, 8861 : 74 - 90
[3] QUANTIFIED TEMPORAL ALETHIC-DEONTIC LOGIC
Ronnedal, Daniel
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (01) : 19 - 59
[4] Combining dynamic deontic logic and temporal logic for the specification of deadlines
Dignum, F
Kuiper, R
[J]. THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 5: ADVANCED TECHNOLOGY, 1997, : 336 - 346
[5] Temporal Deontic Defeasible Logic: An Analytical Approach
[J]. COMPUTABLE MODELS OF THE LAW: LANGUAGES, DIALOGUES, GAMES, ONTOLOGIES, 2008, 4884 : 239 - 253
[6] Temporal alethic-deontic logic and semantic tableaux
Ronnedal, Daniel
[J]. JOURNAL OF APPLIED LOGIC, 2012, 10 (03) : 219 - 237
[7] DEONTIC LOGIC WITHOUT DEONTIC OPERATORS
VETTER, H
[J]. THEORY AND DECISION, 1971, 2 (01) : 67 - 78
[8] Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
Balbiani, Philippe
Broersen, Jan
Brunel, Julien
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 (0C) : 69 - 89
[9] DEONTIC LOGIC
IWIN, AA
[J]. SOWJETWISSENSCHAFT GESELLSCHAFTS WISSENSCHAFTLICHE BEITRAGE, 1967, (06): : 594 - 607
[10] On relations between Aqvist's deontic system G and van Eck's deontic temporal logic
Hansen, J
[J]. NORMS, LOGICS AND INFORMATION SYSTEMS: NEW STUDIES IN DEONTIC LOGIC AND COMPUTER SCIENCE, 1999, 49 : 127 - 144

← 1 2 3 4 5 →