4 research outputs found
Resource-driven Substructural Defeasible Logic
Linear Logic and Defeasible Logic have been adopted to formalise different
features relevant to agents: consumption of resources, and reasoning with
exceptions. We propose a framework to combine sub-structural features,
corresponding to the consumption of resources, with defeasibility aspects, and
we discuss the design choices for the framework
A Linear Logic Based Approach to Timed Petri Nets
1.1 Relationship between Petri net and linear logic Petri nets were first introduced by Petri in his seminal Ph.D. thesis, and both the theory and the applications of his model have flourished in concurrency theory (Reisig & Rozenberg, 1998a; Reisig & Rozenberg, 1998b)
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Linear Logic and Defeasible Logic have been adopted to formalise different
features of knowledge representation: consumption of resources, and non
monotonic reasoning in particular to represent exceptions. Recently, a
framework to combine sub-structural features, corresponding to the consumption
of resources, with defeasibility aspects to handle potentially conflicting
information, has been discussed in literature, by some of the authors. Two
applications emerged that are very relevant: energy management and business
process management. We illustrate a set of guide lines to determine how to
apply linear defeasible logic to those contexts.Comment: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478. arXiv admin note:
substantial text overlap with arXiv:1809.0365