Esta es la aplicación de Linux llamada Belief Reviser, cuya última versión se puede descargar como BeliefReviser.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Belief Reviser con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
Revisor de creencias
DESCRIPCIÓN
La revisión de creencias es un tema central en la representación y el razonamiento del conocimiento. Consiste en incorporar una nueva creencia, cambiando tan pocos como
posible de las creencias originales conservando la coherencia.
La revisión siempre considera la nueva evidencia como una mejor creencia. Esta nueva evidencia es usualmente
representado en la forma de una fórmula proposicional que debe conservarse después de la
revisión.
Aquí, el operador de fusión de creencias Δps (PS-Merge) se extiende para considerar las restricciones, y esta extensión se utiliza como una estrategia para la revisión de creencias. La nueva evidencia se trata como una restricción para que el operador de fusión extendido pueda obtener la base de creencias revisada.
Caracteristicas
- Revisión de una base de creencias K contra nueva evidencia μ
- Conversión automática de fórmulas a DNF
- Simple y amigable para el usuario
- Plataforma independiente
Público
Ciencia / Investigación, Educación
Interfaz de usuario
Swing de Java
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/beliefreviser/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.