Looking at the history of Artiicial Intelligence, often theoretical rigor seems inversely proportional to practical applicability. Particularly, in the eld of robotics, there is a gap between the research on knowledge representation and practical robotics. In the present paper, a solution for bridging this gap is intuitively discussed: Shanahan's logical account for a mobile robot. It is presen...

The predicate logic gates are proposed for spatially modulated signals. Two voltage impulses are transmitted along the coupled wires, and they are considered as a predicate expression. The developed gates perform the logical operations AND, NOT and OR with these expressions. They are used for a predicate logic microprocessor. Key-Words: Artificial spatial intelligence, predicate logic, topologi...

Although results from factor-analytic studies of the broad, second-stratum abilities of human intelligence have been fairly consistent for decades, the list of broad abilities is far from complete, much less understood. We propose criteria by which the list of broad abilities could be amended and envision alternatives for how our understanding of the hot intelligences (abilities involving emoti...

Two distinct and parallel research communities have been working along the lines of the Model-Based Diagnosis approach: the FDI community and the DX community that have evolved in the fields of Automatic Control and Artificial Intelligence, respectively. This paper clarifies and links the concepts that underlie the FDI analytical redundancy approach and the DX logical approach. The formal match...

Jean Piaget, a Swiss scientist who lived from 1896 to 1980, created the cognitive development theory. His theory contributes many of fundamental ideas in developmental psychology and has an impact on how idea intelligence is developed. According capacity represent world more precisely apply logical operations conceptual representations that are grounded reality. This explores schemata emerge ac...

This article takes a look at the progress and advancement of automated reasoning its applications in 21st century. Reasoning refers to method reaching logical conclusions. The construction computing systems that automate this process over some knowledge bases is focus automatic reasoning. Automated frequently regarded as subfield machine learning. It also studied theoretical computer science ph...

Mackworth, A.K., The logic of constraint satisfaction, Artificial Intelligence 58 (1992) 3-20. The constraint satisfaction problem (CSP) formalization has been a productive tool within Artificial Intelligence and related areas. The finite CSP (FCSP) framework is presented here as a restricted logical calculus within a space of logical representation and reasoning systems. FCSP is formulated in ...

Article history: Received 18 September 2014 Received in revised form 30 October 2014 Accepted 18 November 2014 Available online 5 December 2014 A series of recent studies reported that seeing red was associated with poor intelligence test performance in university students. Here we test for the first time the effect of colour on intelligence test scores in an adult sample and across a large bat...