Multi-valued logic in graph transformation theory and self-adaptive systems

DOI10.1007/S10472-019-09678-YMaRDI QIDQ2294579zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 11 February 2020

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-019-09678-y

zbMATH Keywords

decision makingmulti-valued logicgraph transformationself-adaptive systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Graph theory (including graph drawing) in computer science (68R10) Many-valued logic (03B50) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27) Transportation, logistics and supply chain management (90B06)

Recommendations

• scientific article; zbMATH DE number 1269582
• Multi-valued semantics for logic programs
• Multi-valued logic programming semantics An algebraic approach
• scientific article; zbMATH DE number 517011
• Many-valued computational logics
• On graph calculi for multi-modal logics
• A framework for automated reasoning in multiple-valued logics
• Many-Valued Logics and Translations
• Structural rules for multi-valued logics

Cites work

• scientific article; zbMATH DE number 4105185 (Why is no real title available?)
• scientific article; zbMATH DE number 194358 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• Fundamentals of algebraic graph transformation
• How the structure of system problems influences system behavior
• Lectures on Concurrency and Petri Nets
• N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
• Paraconsistent rule-based reasoning with graded truth values
• Reconfiguring system hierarchies with multi-valued logic
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation
• Topoi. The categorial analysis of logic

Cited in

(2)

• Multi-valued cognitive maps: calculations with linguistic variables without using numbers
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation

This page was built for publication: Multi-valued logic in graph transformation theory and self-adaptive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2294579)