We propose a new class of logics for specifying and modelchecking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Gordon-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different loca...

Though the word “cognitive” has a wide range of meanings we define cognitive engineering as learning from brain to bolster engineering solutions. However, giving an achievable framework to the process towards this has been a difficult task. In this work we take the classic data-information-knowledge-wisdom (DIKW) framework to set some achievable goals and sub-goals towards cognitive engineering...

Nature inspired computation is a general term referring to computing inspired by nature. It is an emerging interdisciplinary area and so far a range of techniques and methods are studied for dealing with large, complex, and dynamic problems. The idea is to mimic (concepts, principles and mechanisms) the complex phenomena occurring in the nature as computational processes in order to enhance the...

This paper describes how biologically-inspired agents can be used to solve complex routing problems incorporating prioritized information flow. These agents, inspired by the foraging behavior of ants, exhibit the desirable characteristics of simplicity of action and interaction. The collection of agents, or swarm system, deals only with local knowledge and exhibits a form of distributed control...

E-Business requires cooperation and open standard-based information/knowledge exchange between all the participants of global business information environment (e-Business environment) in real-time. As a result a new scientific direction of knowledge logistics has emerged. The paper describes a developed KSNet-approach addressing the knowledge logistics problem. An ontology-driven methodology fo...

In the present paper I sketch three genres of sociology of knowledge and trace their roots to Marx and Marxist literature while reconstructing two causal and one hermeneutic strand in this context. While so doing the main focus is set on György Lukács and György Márkus and their interpretation of Marx’s contribution to sociologically minded theories of knowledge. As a conclusion I point out tha...

For centuries, designers and engineers have looked to biology for inspiration. Biologically inspired robots are just one example of the application of knowledge of the natural world to engineering problems. However, recent work by biologists and interdisciplinary teams have flipped this approach, using robots and physical models to set the course for experiments on biological systems and to gen...

In his 1963 article, “Is Justified True Belief Knowledge?” Edmund Gettier devised a pair of counterexamples designed to illustrate that knowledge cannot be adequately defined as justified true belief. The basic idea behind both of his counterexamples is that one can be justified in believing a falsehood P from which one deduces a truth Q, in which case one has a justified true belief in Q but d...