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.

• Publication year

  2019

• Venue

  DICE-FOPARA@ETAPS

• Publication date

  2019-08-14

• Fields of study

  Business, Environmental Science, Computer Science

• Identifiers
  DOI 10.4204/EPTCS.298.1arXiv 1908.05737
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatic Detection of Device Types by Consumption Curve

  2018cited by this paper
• Integrating robust timetabling in line plan optimization for railway systems

  2017cited by this paper
• Non-monotonic reasoning rules for energy efficiency

  2017cited by this paper
• Visualisation of Compliant Declarative Business Processes

  2017cited by this paper
• Defeasible Reasoning about Electric Consumptions

  2016cited by this paper
• A superimposition based approach for maintenance and quality plan optimization with production schedule, availability, repair time and detection time constraints for a single machine

  2015cited by this paper
• Improving Energy Saving Techniques by Ambient Intelligence Scheduling

  2015cited by this paper
• Compliant Business Processes with Exclusive Choices from Agent Specification

  2015cited by this paper
• The rationale behind the concept of goal

  2015cited by this paper
• Component composition using linear logic and Petri nets

  2015cited by this paper
• Energy Saving by Ambient Intelligence Techniques

  2014cited by this paper
• A Methodology for Plan Revision under Norm and Outcome Compliance

  2013cited by this paper
• Compliant Business Process Design by Declarative Specifications

  2013cited by this paper
• Picking Up the Best Goal - An Analytical Study in Defeasible Logic

  2013cited by this paper
• Designing for Compliance: Norms and Goals

  2011cited by this paper
• Petri Nets and Linear Logic

  2010cited by this paper
• BIO logical agents: Norms, beliefs, intentions in defeasible logic

  2008cited by this paper
• Temporal linear logic as a basis for flexible agent interactions

  2007cited by this paper
• Modeling Agents' Choices in Temporal Linear Logic

  2007cited by this paper
• Composition of Semantic Web services using Linear Logic theorem proving

  2006cited by this paper
• Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity

  2004cited by this paper
• Linear Logic, Partial Deduction and Cooperative Problem Solving

  2003cited by this paper
• Web Knowledge Management and Decision Support

  2003cited by this paper
• Representation results for defeasible logic

  2000cited by this paper
• A Family of Defeasible Reasoning Logics and its Implementation

  2000cited by this paper
• Timed Petri Nets and Temporal Linear Logic

  1997influential reference
• Temporal linear logic specifications for concurrent processes

  1997cited by this paper
• Defeasible Logic

  1994cited by this paper
• Completeness Results for Linear Logic on Petri Nets

  1993cited by this paper

• No citing papers are available for this paper.