Umbral de satisfacibilidad de teorías aleatorias proposicionales S5
Autores: Su, Zaihang; Wang, Yisong; Feng, Renyan; Zhou, Chan
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
Umbral de satisfacibilidad de teorías aleatorias proposicionales S5
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Lógica modal
S5
Representación del conocimiento
Paradigma de razonamiento
Inteligencia artificial
Transición de fase
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 22
Citaciones: Sin citaciones
La lógica modal S5, que es un importante paradigma de representación y razonamiento del conocimiento, se ha aplicado con éxito en varios dominios relacionados con la inteligencia artificial.
Descripción
La lógica modal S5, que es un importante paradigma de representación y razonamiento del conocimiento, se ha aplicado con éxito en varios dominios relacionados con la inteligencia artificial.