Formal semantics for propositional attitudes

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention.My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode.In my view, one can recursively define the set Games of all psychological modes of attitudes.As Descartes anticipat

read more


Artificial Neural Network classification of operator workload with an assessment of time variation and noise-enhancement to increase performance

Workload classification---the determination of whether a human operator is in a high or low workload state to allow their working environment to be optimized---is an emerging application of passive Brain-Computer Interface (BCI) systems.Practical systems must not only accurately detect the current workload state, but also have good temporal perform

read more