Para(.)

En informática , FO(.) (también conocido como FO-dot ) es un lenguaje de representación de conocimiento basado en la lógica de primer orden (FO). ^[1] Extiende FO con tipos , agregados (contar, sumar, maximizar... sobre un conjunto), aritmética, definiciones inductivas, funciones parciales y objetos intensionales.

Por sí sola, una base de conocimiento FO(.) no puede ejecutarse, ya que es solo una "bolsa de información" que se utiliza como entrada para varios algoritmos de razonamiento genéricos. Los motores de razonamiento que utilizan FO(.) incluyen IDP-Z3, ^[2] IDP ^{[3] [4]} y FOLASP. ^[5] Como ejemplo, el sistema IDP permite generar modelos , responder consultas de conjuntos, verificar la implicación entre dos teorías y verificar la satisfacibilidad , entre otros tipos de inferencia sobre una base de conocimiento FO(.).

FO(.) tiene cuatro tipos de declaraciones:

• Declaraciones de tipos, funciones y predicados,
• Axiomas , es decir, oraciones lógicas sobre mundos posibles,
• Definiciones que especifican una interpretación única de un símbolo definido, dada la interpretación de sus parámetros. Las definiciones pueden ser inductivas.
• Enumeraciones, es decir, definiciones de símbolos por enumeración.

Una ley electoral especifica que los ciudadanos deben tener al menos 18 años para votar. Además, si la ley electoral se interpreta como prescriptiva, votar es obligatorio cuando se tiene más de 18 años. Esto se puede representar en FO(.) de la siguiente manera:

vocabulario V {
  edad: () → ℤ // declaración de función
  prescriptivo, voto: () → 𝔹 // declaraciones de predicados
}
teoría T:V {
  age() < 18 ⇒ ¬vote(). // axioma: si tienes menos de 18 años, no puedes votar.
  prescriptive() ⇒ (age() ≥ 18 ⇒ vote()). // axioma: si es prescriptivo: si tienes al menos 18 años, debes votar
}

En este código, A →B indica una función de A a B , denota números enteros , denota booleanos , denota negación y denota condicional material . Los predicados < y ≥ están incorporados y tienen su significado habitual. ${\displaystyle \mathbb {Z}}$${\displaystyle \mathbb {B}}$¬⇒

Esta base de conocimientos se puede convertir automáticamente en un abogado interactivo ^[6] (ver aquí ^[7] )

• Sitio web oficial