Journal of Applied Non-Classical Logic 22 (1):1-82 (2012)
|Abstract||Modeling a 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, a problem or some 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.|
|Keywords||Dynamic Logic Uncertain Reasoning Polynomial Models|
|Through your library||Configure|
Similar books and articles
Nicholas Asher & Alex Lascarides (2011). Reasoning Dynamically About What One Says. Synthese 183 (S1):5-31.
Ross Buck (2005). Adding Ingredients to the Self-Organizing Dynamic System Stew: Motivation, Communication, and Higher-Level Emotions – and Don't Forget the Genes! Behavioral and Brain Sciences 28 (2):197-198.
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Margaret A. Boden (1988). Computer Models On Mind: Computational Approaches In Theoretical Psychology. Cambridge University Press.
Helmut Prendinger & Gerhard Schurz (1996). Reasoning About Action and Change. Journal of Logic, Language and Information 5 (2).
José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite (2005). The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79 (1):7 - 32.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Carol Whitney (2006). An Alternative Model of Sentence Parsing Explains Complexity Phenomena More Comprehensively Without Problems of Localist Encoding. Behavioral and Brain Sciences 29 (1):87-88.
Francesco Amigoni & Viola Schiaffonati (2008). A Multiagent Approach to Modelling Complex Phenomena. Foundations of Science 13 (2).
Jaap Hage (1996). A Theory of Legal Reasoning and a Logic to Match. Artificial Intelligence and Law 4 (3-4):199-273.
Rick Nouwen (2007). On Dependent Pronouns and Dynamic Semantics. Journal of Philosophical Logic 36 (2):123 - 154.
Added to index2011-08-30
Total downloads5 ( #160,368 of 549,087 )
Recent downloads (6 months)1 ( #63,317 of 549,087 )
How can I increase my downloads?