51,935 research outputs found
Designing Software Architectures As a Composition of Specializations of Knowledge Domains
This paper summarizes our experimental research and software development activities in designing robust, adaptable and reusable software architectures. Several years ago, based on our previous experiences in object-oriented software development, we made the following assumption: ‘A software architecture should be a composition of specializations of knowledge domains’. To verify this assumption we carried out three pilot projects. In addition to the application of some popular domain analysis techniques such as use cases, we identified the invariant compositional structures of the software architectures and the related knowledge domains. Knowledge domains define the boundaries of the adaptability and reusability capabilities of software systems. Next, knowledge domains were mapped to object-oriented concepts. We experienced that some aspects of knowledge could not be directly modeled in terms of object-oriented concepts. In this paper we describe our approach, the pilot projects, the experienced problems and the adopted solutions for realizing the software architectures. We conclude the paper with the lessons that we learned from this experience
Towards a Proof Theory of G\"odel Modal Logics
Analytic proof calculi are introduced for box and diamond fragments of basic
modal fuzzy logics that combine the Kripke semantics of modal logic K with the
many-valued semantics of G\"odel logic. The calculi are used to establish
completeness and complexity results for these fragments
Quantum Structure in Cognition, Origins, Developments, Successes and Expectations
We provide an overview of the results we have attained in the last decade on
the identification of quantum structures in cognition and, more specifically,
in the formalization and representation of natural concepts. We firstly discuss
the quantum foundational reasons that led us to investigate the mechanisms of
formation and combination of concepts in human reasoning, starting from the
empirically observed deviations from classical logical and probabilistic
structures. We then develop our quantum-theoretic perspective in Fock space
which allows successful modeling of various sets of cognitive experiments
collected by different scientists, including ourselves. In addition, we
formulate a unified explanatory hypothesis for the presence of quantum
structures in cognitive processes, and discuss our recent discovery of further
quantum aspects in concept combinations, namely, 'entanglement' and
'indistinguishability'. We finally illustrate perspectives for future research.Comment: 25 pages. arXiv admin note: text overlap with arXiv:1412.870
- …