logo móvil
Contáctanos

Un lógica simplificada de Halpern-Shoham-Moszkowski de múltiples valores para verificabilidad gradable en el razonamiento sobre circuitos digitales

Autores: Jobczyk, Krystian

Idioma: Inglés

Editor: MDPI

Año: 2021

Descargar PDF

Acceso abierto

Artículo científico
2021

Un lógica simplificada de Halpern-Shoham-Moszkowski de múltiples valores para verificabilidad gradable en el razonamiento sobre circuitos digitales


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería Eléctrica y Electrónica

Palabras clave

Intervalos
Sistema de lógica temporal
Circuitos digitales
Sistema de múltiples valores
Semántica fibrada
Agentes

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 30

Citaciones: Sin citaciones


Descripción
En 1983, B. Moszkowski introdujo un primer sistema lógico temporal interpretado por intervalos, el llamado (ITL), como un sistema adecuado para expresar relaciones mutuas dentro de intervalos para razonamientos sobre circuitos digitales. En 1991, Halpern y Shoham propusieron un nuevo sistema temporal (HS) para describir relaciones externas entre intervalos. Este artículo tiene como objetivo proponer una combinación de tipo base de HS y un ITL simplificado y extenderlo hacia un sistema multivaluado, también capaz de proporcionar una justificación graduable de agentes en contextos similares de razonamiento sobre circuitos digitales. Este sistema recién introducido se interpreta semánticamente en la llamada semántica fibrosa.

Otros recursos que podrían interesarte

Temas Virtualpro