Modelling phenomena and dynamic logic of phenomena

Document Type

Article

Department or Administrative Unit

Computer Science

Publication Date

2012

Abstract

Modelling a complex phenomenon such as the mind presents tremendous computational complexity challenges. Modelling 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.

Comments

This article was originally published in Journal of Applied Non-Classical Logics. The full-text article from the publisher can be found here.

The download link on this page is to an accepted manuscript version of this article hosted by arXiv.org and may not be the final version of this article.

Due to copyright restrictions, this article is not available for free download from ScholarWorks @ CWU.

Journal

Journal of Applied Non-Classical Logics

Link to Full Text
Contact Author

Share

COinS