The Complexity of Fuzzy Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
The Complexity of Fuzzy Logic
|
| Id. |
420761 |
| Titulo |
The Complexity of Fuzzy Logic |
| Autor(es) |
Goldstern, Martin
|
| Localización |
http://arxiv.org/abs/math/9707205
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Lukasiewicz logic is a "fuzzy" logic in which truth value can be real numbers
in the unit interval. There are connectives for min, max, addition and
complement (1-x). The "value" of a closed formula in a fuzzy (relational
model) is defined in the natural way.
A formula is called valid iff it has value 1 in every fuzzy model.
We show that the set of valid formulas in Lukasiewicz predicate logic is a
complete Pi^0_2 set.
We also show that if we restrict our attention to the classical language
(min, max, complement) then the classically valid formulas are exactly those
formulas whose fuzzy value is 1/2.
|
| Palabras clave |
Mathematics - Logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
27-mar-2007 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
