Currently Malloy Labs has one Lab, the Software Theory and Implementation Research Lab (STAIR Lab).  This Lab focuses on the analysis of using a descriptive predicate calculus to model software and the tasks required to convert it into a computer recognizable language and implement it.  Currently converting the calculus into a Context-Free Grammar is a simple task given that the theorems proven and used in the model are written with disjunctions, the main operator being a conditional.  As of now, the platform being used to implement the models is SWI-Prolog.

The Labs in development are the Artifical Intelligence and Robotics Lab, (A.I.R.) and the Robotics Engineering Division (R.E.D.).  Positions are open in these Labs although only for interns.  The position of 'Intern with Intent for Employment' is also open and entails a six month internship which ends in a review and may conclude with employment. 

All Labs are closely related and designed with the intent of streamlining the process of designing the AI, constructing the housing unit, and eventually through the AIR Lab completing the machine.  Malloy Labs is still a small start-up with limited seed money, but in the months to come three more proposals will be submitted to NASA, DOT, and NSF.  We are hopeful that the company will prove to be financially sustainable and with our first product, SMART, we will not only make a name for ourselves but also offer something to the software market that advances sensor intelligence and the management of systems.

MSEE stands for the Mathematics of Sensing Exploitation and Execution, SMART stands for the Systems Management of Alert Responsive Tasks and is designed to analyze a unified representation of multi-sensory intelligence to calculate tasks and navigate the environment. It will be capable of identifying input from sensory-modules for visual object discrimination, auditory parsing, and visual text analysis. It will also maintain an identification of the input using a binary operator Ian Malloy designed to pair meaning with input. Currently Ian is building the foundation before implementing the logical models he's proven decidable, focusing on teaching it sentence forms to place words into and also to pair that with the capability of reading English he's already programmed into it.

How does this relate to MSEE? DARPA has given Malloy Labs the permission to use Logic in place of Mathematics, and Malloy Labs has contracted a computer scientist and software engineer to aid in the implementation of the models. This will allow Ian Malloy to focus explicitly on algorithms already in development for the multi-modal integration. Ian has studied consciousness for the past six years, which incorporates studies in neuroscience and psychology as well as philosophy. Back in the 90's David Chalmers set forth a method to explaining what he called the 'Hard Problem,' which is 'why is there an experience with consciousness?' He also outlined the problem of multi-sensory integration with an identity function experienced holistically and dubbed this both, 'easy' and the 'binding problem.' He may not have been the first to outline the binding problem, but among professionals he was probably in the minority for dubbing it easy.

MSEE will not destroy the world. Nobody would finish before the specified length of time, this project is by far the closest any research has come to uniting mathematics to consciousness studies aside from Penrose and Hameroff. But their physics is atrocious, as brilliant a mathematician as Penrose is. As my Psychology adviser, Dr. Nedelsky (Augustana College [retired]) told me, to which I agreed reluctantly, "New mathematics will have to be developed..."

In the MSEE Debriefing Dr. Falcone made mention of this, albeit hesitantly and not prescriptively; he state new mathematical systems should not be discounted as a feasible method. He added the caveat that he doesn't just expect someone to come up with new mathematics completely. He cited Einstein as an example. Einstein wasn't the one who developed Riemann Surfaces, but he applied it in a novel way.

During Ian's final year at Augustana he began working on a tentative mathematical model of consciousness. At first, all relationships were based on cognition and put with algebraic operators. Ian showed this to Dr. Timothy Sorenson to which he replied, "Cool, now find non-relative values..." It wasn't until Ian was nearly ready to graduate and in his final semester that he utilized temporal factors of the same cognitive processes in a direct proportion to attenuate a hypothesized frequency. The pattern that developed supported contemporary research into the binding problem, and when Ian showed Dr. Sorenson he stated, after reviewing the articles supported, "This is the best use of percentages I've seen outside of the Hard Sciences..." and later, "...the best application of mathematics to the social sciences that I've seen [from a student]."

Ian has spent the past year working on these calculations and equations, and they form the main function of the Unified Representation of Input in SMART.

Whether funded by the Government again, SMART will become a reality. Sentient? No. Controlled and task-oriented. Governed by Laws and working on simple operations to conserve bandwith. This is not the robot apocalypse of James Cameron, it is the proverbial, "20 years" Cognitive Scientists have been looking forward to. Not to say that SMART is that revolution, but that MSEE will trigger a new era of consciousness studies not just produced for effective utility but also to further develop what knowledge we have of its ontology.

There is an institute in San Fransisco called the "Singularity Institute." There, they publish writings detailing how Artificial Intelligence can become a threat to humanity. They believe that a 'singularity' will come when Artificial Intelligence builds stronger Artificial Intelligence until humans are no longer the most intelligent being/thing on the planet.

The idea is that robots will come to realize they are competing with humans for resources, and thus need to eradicate the threat, i.e. us.

Malloy Labs is focused on developing software based upon human cognition, in effect attempting to simulate the mental life of a human in a machine. Currently Malloy Labs is developing SMART in partnership with Augustana College.

Some may say that SMART could pose a threat because it is capable of identifying and learning about itself and also able to calculate its own tasks based on the environment and commands, but this is absurd.

While Ian Malloy believes incorporating biological components to the computations may allow a machine to experience something close to what a human subject does, implementing the brain's 'hardware' and computations are a long ways from complete. Emotions may never be successfully instantiated in a machine though the machine may be able to perform calculations in a context of an emotion based on information.

computers are already building computers, and biological components are already being incorporated into computational devices. A robot may be programmed to be random, or even to discern what it needs to do at any given moment but Malloy Labs does not believe that a 'singularity' will ever be reached. This is based on how little we know about actual intelligence in humans. Psychologists are still attempting to definitively describe what intelligence is, and Artificial Intelligence will never be complete without that.

Even if a robot programmed to think like a human was created, that is not grounds to say it would fight us for resources. Certain restrictions of behavior can be implemented into the devices algorithms that prohibit it from 'fighting' a human. These can be extended so that the machine won't 'over-protect' us from ourselves either by attempting to take control.

Thoughts of a robot uprising are best left to the science fiction authors, researchers and academic people need not worry of such things and should not spend unnecessary time addressing it.