El Sistema Operativo Perceptual ISTP está basado en un conjunto de programas de alta tecnología aplicada. Estructuras autorreplicantes y sistemas dinámicos no-lineales, dotados de mutación y recombinación, utilizando modelos matemáticos, redes neuronales, redes semánticas y heurísticas, operadores booleanos, sistemas expertos, procedimientos de decisión, semántica de axiomas, redes de transmisión ampliada, razonamiento deductivo, factor numérico, factor espacial, variaciones, permutaciones, combinaciones, sucesos aleatorios, probabilidad, etc., con especial incidencia en la toma de decisiones lógicas automáticas, a través del criterio examétrico (dónde, cómo, cuándo, qué, quién y... por qué), interacción e iteración, de magnitud igual a: 10ˆ13 (10 elevado a exponente 13), es decir 10 billones de BLS, o bits lógicos por segundo.

SCiNet constituye un selecto grupo de investigadores y científicos, especialistas en comercio y normativa internacional, sistemas tecnológicos, sistemas informáticos, telecomunicaciones, procesos industriales, ingeniería, seguridad, Inteligencia Artificial, Lenguajes de Sistemas inteligentes, Redes Neuronales, Inteligencia Robótica, Algoritmos Paralelos, Nanotecnología y Neurocomputadores, Computadores de Base Proteínica, Computación Mecánico Cuántica, Control de Procesos en TiempoReal, Criptosistemas, etc.

La mayor parte de los grupos de colaboradores residen en diversas ciudades y países, con intercomunicación permanente. Cada grupo se encarga de la investigación, desarrollo y control de procesos específicos; éstos, a su vez, están interconectados con otros grupos, centros, y unidades operativas de SCiNet, formando la Red RSi y Centros virtuales de tecnologías aplicadas CT1.

0012-RN. Red Neuronal

Forma de cálculo inspirada por la estructura y función del cerebro. La topología es un grafo orientado ponderado. Los nodos pueden estar conectados o desconectados. El tiempo es discreto. En cada instante todos los nodos conectados envían un impulso a lo largo de sus arcos salida hacia los nodos vecinos. Todos los nodos suman los impulsos de entrada, ponderados según el arco. Todos los nodos en que esta suma excede un umbral se conectan en el instante siguiente; los otros se desconectan. El cálculo procede posicionando algunos nodos de entrada, esperando que la red alcance un estado y leyendo, después, algunos nodos de salida. Los nodos pueden ser preparados, utilizando silogismos, para reconocer ciertas estructuras, como puede ser para clasificar objetos por sus características.

0016-RS. Red semántica

Medio de representar un conocimiento relacional en forma de grafo orientado etiquetado. Cada vértice del grafo representa un concepto y cada etiqueta representa una relación entre conceptos. Los procedimientos de acceso y actualización atraviesan y manipulan el grafo. Una red semántica es considerada, a veces, como una notación gráfica para fórmulas lógicas. Semántica. Parte de la definición de un lenguaje que se ocupa de especificar el significado o el efecto de un texto que está construido siguiendo las reglas sintácticas del lenguaje.

0022-BS. Base de Conocimiento

Compilación cualitativa de conocimientos seleccionados sobre un particular dominio que se ha formalizado en la presentación adecuada para efectuar el razonamiento. Se encuentra en el contexto de los sistemas expertos, donde la base del conocimiento puede presentar las reglas y la experiencia en ese dominio (por ejemplo, medicina o electrónica). Normalmente el conocimiento se expresa en formato de reglas de producción y la representa el enfoque heurístico que ha desarrollado con la aplicación de conocimiento formal en curso de la resolución de problemas. Otros formalismos de representación de conocimiento son las fórmulas lógicas, las redes semánticas y las unidades de información o representación. Dentro de los sistemas expertos existen dos clases importantes de base de conocimiento, la estática y la dinámica. Una base de conocimiento estática consta del conocimiento del dominio necesario para llevar a cabo resolución de problemas. La base de conocimiento dinámica se utiliza para almacenar información pertinente para la resolución de un problema particular.

0026-VL. Valor Lógico

Cualquiera de los dos valores verdadero y falso que indican un valor de verdad. Aunque un solo dígito binario (bit) es la estructura más clara de almacenamiento informático que puede aplicarse a datos lógicos se utilizan en la práctica, con frecuencia, mayores unidades de almacenamiento, tales como una unidad de información (Byte), puesto que puede dirigirse de forma distinta.

0036-AL. Analizador Lógico

Instrumento electrónico que dirige los estados lógicos de los sistemas digitales y almacena los resultados para su visualización posterior. El almacenamiento de datos se inicia en el analizador mediante el reconocimiento de estados de activación establecidos con anterioridad según éstos aparecen en el sistema sometido a prueba. Los analizadores sincrónicos demuestran datos a intervalos determinados enteramente por el sistema externo. Los asincrónicos realizan esta labor a intervalos determinados internamente por medio del analizador. La esencia de un analizador lógico reside en el hecho de que opera con muchos canales en paralelo ( frecuentemente 8, 16 ó 32), y en que los datos registrados pueden releerse desde la memoria a voluntad, o en binario o después de su descodificación, con frecuencia por medio de un desamblador.

0042-LCD. Lógica de Conjuntos Difusos

Teoría lógica de los conjuntos difusos; teoría de lógica polivalente. Rama de la lógica diseñada específicamente para representar el conocimiento y el razonamiento humano de manera que sea apto para ser procesado informáticamente. Esta teoría es aplicable a sistemas expertos ingeniería del conocimiento e inteligencia artificial. La lógica más tradicional de predicados y proposicional no permite grados de incertidumbre, indicados por palabras o frases tales como bastante, muy, muy posible. En lugar de valores de verdad como verdadero y falso, es posible introducir una lógica de valores múltiples que comprenda, por ejemplo, los valores verdadero, no verdadero, muy verdadero, no muy verdadero, más o menos verdadero, no muy falso, muy falso, no falso y falso. Alternativamente, un intervalo tal como [0,1] puede ser introducido y el grado de verdad puede estar representado por un número real en esta escala. Los predicados son funciones que no se transforman en {verdadero, falso} sino en estos dominios más generales. La teoría de lógica polivalente se ocupa del estudio de conjuntos y predicados de esta clase.
Surgen así, los conceptos de conjuntos polivalentes, relaciones polivalentes y cuantificadores polivalentes.

0044-OP. Operador Booleano.

Formalmente, es una red, o retícula, complementada y distributiva (George Boole, Teoría de la leyes del pensamiento). En la matemática de Boole, hay un conjunto de elementos B que consta, solamente, del 0 y el 1. Asímismo, existen dos operaciones diádicas (estrechamente vinculadas entre sí), por regla general indicadas con los signos Ù y Ú (o con . y +), y llamadas y y o, respectivamente. Además, hay una operación monádica (indivisible, pero de naturaleza distinta), indicada aquí por el signo ' y conocida como operación de complementación.

Expresión booleana (expresión lógica). Expresión de álgebra booleana, es decir, una fórmula bien formada de constantes y variables booleanas enlazadas por operadores booleanos. Un circuito combinatorio puede formarse directa y completamente mediante una expresión booleana, pero no sucede lo mismo con los circuitos secuenciales (leyes idempotentes, leyes asociativas, leyes conmutativas, leyes de absorción, leyes distributivas, leyes de identidad, leyes de 1/0, leyes de complementariedad.

0056-LP. Lógica de Predicados

Cálculo de predicados; (lógica de predicados, lógica de primer orden). Notación fundamental para representar y razonar con sentencias lógicas. Amplía el cálculo proposicional al introducir los cuantificadores y al permitir predicados y funciones de cualquier número de argumentos. La sintaxis comprende términos, átomos y fórmulas. Un átomo (o fórmula atómica) adopta la forma P (t!...t:) donde P es un símbolo de predicado y t!, ... t: son términos. Pueden formarse fórmulas a partir de estos átomos de las siguientes formas: (i) un átomo es una fórmula, (ii) las fórmulas pueden combinarse por las conectivas o los operadores proposicionales lógicos usuales (negación, conjunción, disyunción, etc.), (iii) si F es una fórmula,"v.F y $v son también fórmulas. Una sentencia es una fórmula sin variables libres.