A logic of non-monotonic interactions

被引：9

作者：

Boniolo, Giovanni ^{[1
,2
]}

D'Agostino, Marcello ^{[3
]}

Piazza, Mario ^{[4
]}

Pulcini, Gabriele ^{[4
]}

机构：

[1] Univ Milan, Dipartimento Sci Salute, I-20122 Milan, Italy

[2] Ist Europeo Oncol, Milan, Italy

[3] Univ Ferrara, Dipartimento Econ & Management, I-44100 Ferrara, Italy

[4] Univ G dAnnunzio, Dipartimento Filosofia, Chieti, Italy

来源：

JOURNAL OF APPLIED LOGIC | 2013年 / 11卷 / 01期

关键词：

Zsyntax; Substructural logics; Non-associative sequent calculi; Non-monotonicity; Proof-nets; Molecular biology; MOLECULAR-BIOLOGY;

D O I：

10.1016/j.jal.2012.09.002

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, which is part of the Zsyntax project outlined in Boniolo et al. (2010) [2], we provide a proof-theoretical setting for the study of context-sensitive interactions by means of a non-monotonic conjunction operator. The resulting system is a non-associative variant of MLLpol (the multiplicative polarised fragment of Linear Logic) in which the monotonicity of interactions, depending on the context, is governed by specific devices called control sets. Following the spirit of Linear Logic, the ordinary sequent calculus presentation is also framed into a theory of proof-nets and the set of sequential proofs is shown to be sound and complete with respect to the class of corresponding proof-nets. Some possible biochemical applications are also discussed. (C) 2012 Elsevier B.V. All rights reserved.

引用

页码：52 / 62

页数：11

共 50 条

[41] Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models
Shakerin, Farhad
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 379 - 388
[42] An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider
Medina, Jose Luis Vilchis
Siegel, Pierre
Risch, Vincent
Doncescu, Andrei
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 323 - 329
[43] FDNC: Decidable non-monotonic disjunctive logic programs with function symbols
Simkus, Mantas
Eiter, Thomas
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 514 - +
[44] Optimizing Non-Monotonic Interconnect using Functional Simulation and Logic Restructuring
Plaza, Stephen M.
Markov, Igor L.
Bertacco, Valeria
ISPD'08: PROCEEDINGS OF THE 2008 ACM INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, 2008, : 95 - 102
[45] From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond
Toni, Francesca
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 36 - 39
[46] Judicial syllogism - integrating non-monotonic logic in a deductive logical form
Codrea, Codrin
EASTERN JOURNAL OF EUROPEAN STUDIES, 2024, 15 (02) : 319 - 336
[47] Towards a formal verification of an authentication protocol using non-monotonic logic
Das, Manik Lal
Narasimhan, V. Lakshmi
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 545 - 550
[48] NONHERITABILITY OF EMPIRICAL CONTRADICTIONS IN DSM-METHODS AND NON-MONOTONIC LOGIC
ZABEZHAILO, MI
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1984, (11): : 14 - 17
[49] Comparison of first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methodology
Yang, KH
Olson, D
Kim, J
EXPERT SYSTEMS WITH APPLICATIONS, 2004, 27 (04) : 501 - 519
[50] Dissipation in monotonic and non-monotonic relaxation to equilibrium
Petersen, Charlotte F.
Evans, Denis J.
Williams, Stephen R.
JOURNAL OF CHEMICAL PHYSICS, 2016, 144 (07):

← 1 2 3 4 5 →