Modelling phenomena and dynamic logic of phenomena

DOI10.1080/11663081.2012.682439MaRDI QIDQ4583147zbMATH OpenOpenAlexFDO

Authors Boris Kovalerchuk, Leonid I. Perlovsky, Gregory Wheeler

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.5415

zbMATH Keywords

model uncertaintysimilarity measuredynamic logiccomplex phenomenamodel generalitymodel simplicity

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Abstract: Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way. The main idea behind MFT is to match levels of uncertainty of the model (also, problem or theory) with levels of uncertainty of the evaluation criterion used to identify that model. When a model becomes more certain, then the evaluation criterion is adjusted dynamically to match that change to the model. This process is called the Dynamic Logic of Phenomena (DLP) for model construction and it mimics processes of the mind and natural evolution. This paper provides a formal description of DLP by specifying its syntax, semantics, and reasoning system. We also outline links between DLP and other logical approaches. Computational complexity issues that motivate this work are presented using an example of polynomial models.

Recommendations

• Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
• scientific article; zbMATH DE number 4156150
• From equations to patterns: Logic-based approach to general systems theory
• Modal logic for qualitative dynamics
• Symbolic Model Checking for Dynamic Epistemic Logic

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1493045 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1453724 (Why is no real title available?)
• scientific article; zbMATH DE number 3304025 (Why is no real title available?)
• scientific article; zbMATH DE number 3366923 (Why is no real title available?)
• A dynamic-logical perspective on quantum behavior
• A logic for default reasoning
• A logical framework for default reasoning
• A practical decision method for propositional dynamic logic (preliminary report)
• Causation, prediction, and search
• Conditionals and consequences
• Constraints for input/output logics
• Dynamic doxastic logic: why, how, and where to?
• Dynamic epistemic logic
• Dynamic logic for belief revision
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• Input/output logics
• Logics for epistemic programs
• Naïve heuristics for paired comparisons: some results on their relative accuracy
• Probabilistic logics and probabilistic networks
• The Logic of Risky Knowledge
• Uncertain Inference

Cited in

(1)

• Concept-Oriented Modeling of Dynamic Behavior

This page was built for publication: Modelling phenomena and dynamic logic of phenomena

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