On the complexity of input/output logic

被引：10

作者：

Sun, Xin ^{[1
,2
]}

Robaldo, Livio ^{[3
]}

机构：

[1] John Paul II Catholic Univ Lublin, Lublin, Poland

[2] Sun Yat Sen Univ, Guangzhou, Guangdong, Peoples R China

[3] Univ Luxembourg, Luxembourg, Luxembourg

来源：

JOURNAL OF APPLIED LOGIC | 2017年 / 25卷

关键词：

Input/output logic; Decidability; Complexity; Deontic logic; Norm-based semantics; DYNAMIC LOGIC; PERMISSION;

D O I：

10.1016/j.jal.2017.03.002

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Input/output logic is a formalism in deontic logic and normative reasoning. Unlike deontic logical frameworks based on possible-world semantics, input/output logic adopts norm-based semantics in the sense of [13], specifically operational semantics. It is well-known in theoretical computer science that complexity is an indispensable component of every logic. So far, previous literature in input/output systems focuses on proof theory and semantics, while neglects complexity. This paper adds the missing component by giving the complexity results of main decision problems in input/output logic. Our results show that input/output logic is coNP hard and in the 2nd level of the polynomial hierarchy. (C) 2017 Elsevier B.V. All rights reserved.

引用

页码：69 / 88

页数：20

共 50 条

[1] On the Complexity of Input/Output Logic
Sun, Xin
Ambrossio, Diego Agustin
[J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 429 - 434
[2] Computational Complexity of Input/Output Logic
Sun, Xin
Ambrossio, Diego Agustin
[J]. MULTI-DISCIPLINARY TRENDS IN ARTIFICIAL INTELLIGENCE, MIWAI 2015, 2015, 9426 : 72 - 79
[3] Adaptive Logic Characterizations of Input/Output Logic
Christian Straßer
Mathieu Beirlaen
Frederik Van De Putte
[J]. Studia Logica, 2016, 104 : 869 - 916
[4] Adaptive Logic Characterizations of Input/Output Logic
Strasser, Christian
Beirlaen, Mathieu
Van De Putte, Frederik
[J]. STUDIA LOGICA, 2016, 104 (05) : 869 - 916
[5] On the Complexity of Input Output Conformance Testing
Noroozi, Neda
Mousavi, Mohammad Reza
Willemse, Tim A. C.
[J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 291 - 309
[6] A concept approach to input/output logic
Stolpe, Audun
[J]. JOURNAL OF APPLIED LOGIC, 2015, 13 (03) : 239 - 258
[7] The Input/Output Complexity of Triangle Enumeration
Pagh, Rasmus
Silvestri, Francesco
[J]. PODS'14: PROCEEDINGS OF THE 33RD ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2014, : 224 - 233
[8] Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
Robaldo, Livio
Sun, Xin
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (08) : 2471 - 2503
[9] FILE INPUT-OUTPUT CONTROL LOGIC
DEPENDAHL, RH
[J]. COMPUTER, 1976, 9 (10) : 38 - 42
[10] Complexity as interdependence in input-output systems
do Amaral, Joao Ferreira
Dias, Joao
Lopes, Joao Carlos
[J]. ENVIRONMENT AND PLANNING A-ECONOMY AND SPACE, 2007, 39 (07): : 1770 - 1782

← 1 2 3 4 5 →