Logical behaviors

technical reportIn this paper we describe an approach to high-level multisensor integration in t h e context of an autonomous mobile robot. Previous papers have described the development of t h e INRIA mobile robot subsystems: 1. sensor and actuator systems 2. distance and range analysis 3. feature extraction and segmentation 4. motion detection 5. uncertainty management, and 6. 3 -D environment descriptions. We describe here an approach to: ? the semantic analysis of the 3-D environment descriptions

The Logical Structure of Consciousness (behavior, personality, rationality, higher order thought, intentionality)

After half a century in oblivion, the nature of consciousness is now the hottest topic in the behavioral sciences and philosophy. Beginning with the pioneering work of Ludwig Wittgenstein in the 1930’s (the Blue and Brown Books) and from the 50’s to the present by his logical successor John Searle, I have created the following table as an heuristic for furthering this study. The rows show various aspects or ways of studying and the columns show the involuntary processes and voluntary behaviors comprising the two systems (dual processes) of the Logical Structure of Consciousness (LSC), which can also be regarded as the Logical Structure of Rationality (LSR-Searle), of behavior (LSB), of personality (LSB), of reality (LSOR), of Intentionality (LSI) -the classical philosophical term, the Descriptive Psychology of Consciousness (DPC) , the Descriptive Psychology of Thought (DPT) –or better, the Language of the Descriptive Psychology of Thought (LDPT), terms introduced here and in my other very recent writings. Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019

The Logical Structure of Consciousness (behavior, personality, rationality, higher order thought, intentionality) (revised 2019)

After half a century in oblivion, the nature of consciousness is now the hottest topic in the behavioral sciences and philosophy. Beginning with the pioneering work of Ludwig Wittgenstein in the 1930’s (the Blue and Brown Books) and from the 50’s to the present by his logical successor John Searle, I have created the following table as a heuristic for furthering this study. The rows show various aspects or ways of studying and the columns show the involuntary processes and voluntary behaviors comprising the two systems (dual processes) of the Logical Structure of Consciousness (LSC), which can also be regarded as the Logical Structure of Rationality (LSR-Searle), of behavior (LSB), of personality (LSP), of reality (LSOR), of Intentionality (LSI) -the classical philosophical term, the Descriptive Psychology of Consciousness (DPC) , the Descriptive Psychology of Thought (DPT) –or better, the Language of the Descriptive Psychology of Thought (LDPT), terms introduced here and in my other very recent writings. Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019

Work in progress: introduction of K-map based nano-logic synthesis as knowledge module in logic design course

This work in progress reports an effort of introducing knowledge module regarding novel nano-devices and novel logic primitives in undergraduate logic design class. Our motivation is to make our students aware of fundamental abstracted logical behaviors of future nano-devices, their functionality. This effort would also help the students use their existing knowledge of K-map based logical synthesis into constructing logic blocks for novel devices that uses majority logic as basic construct. Moreover, additional to stimulating our students' interests, we are also augmenting their learning by challenging them to use their existing knowledge to analyze, synthesize and comprehend novel nano-logic issues through the worksheets and lecture modules. Whereas many efforts are focusing on developing new courses on nanofabrication and even nano-computing, we intend to augment the existing standard EE and CS courses by inserting knowledge modules on nano-logic structure for stimulating their interest without significant diversion from the course framework

Specification Patterns for Robotic Missions

Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions. Recognizing the need, a large number of domain-specific specification languages has been proposed. These, in addition to traditional logical languages, allow the use of formally specified missions for synthesis, verification, simulation, or guiding the implementation. For instance, the logical language LTL is commonly used by experts to specify missions, as an input for planners, which synthesize the behavior a robot should have. Unfortunately, domain-specific languages are usually tied to specific robot models, while logical languages such as LTL are difficult to use by non-experts. We present a catalog of 22 mission specification patterns for mobile robots, together with tooling for instantiating, composing, and compiling the patterns to create mission specifications. The patterns provide solutions for recurrent specification problems, each of which detailing the usage intent, known uses, relationships to other patterns, and---most importantly---a template mission specification in temporal logic. Our tooling produces specifications expressed in the LTL and CTL temporal logics to be used by planners, simulators, or model checkers. The patterns originate from 245 realistic textual mission requirements extracted from the robotics literature, and they are evaluated upon a total of 441 real-world mission requirements and 1251 mission specifications. Five of these reflect scenarios we defined with two well-known industrial partners developing human-size robots. We validated our patterns' correctness with simulators and two real robots