TEST SISTEMA EXPERTO REGLAS CONDUCCION

(eval-when (:compile-toplevel :load-toplevel :execute)
  (when (not (find-package "LISA-TRAFFIC-RULES"))
    (defpackage "LISA-TRAFFIC-RULES"
      (:use "LISA-LISP")
      (:export "LISA-TRAFFIC-RULES-SIMULATION"))))

(in-package "LISA-TRAFFIC-RULES")

(make-inference-engine)

;; Templates
(defun load-templates()

  (deftemplate vehiculo ()
    (slot tipo)        ; Tipo de vehículo: "camion", ""camioneta, "bus", "peligroso"
    (slot velocidad)   ; Velocidad actual en km/h
    (slot luces)       ; Estado de luces: "encendidas", "apagadas"
    (slot zona))       ;zona actual donde el vechiulo circula (subcuadrante)

  (deftemplate conductor ()
    (slot uso-cinturon)     ; Uso de cinturón: "si", "no"
    (slot uso-celular)      ; Uso de celular: "si", "no"
    (slot suenio)          ; Estado de suenio "si","no"
    (slot puntuacion))      ; Puntuación del conductor


  (deftemplate interseccion ()
    (slot tipo)            ; Tipo de intersección: "semaforo", "sin-senales", "rotonda" 
    (slot prioridad))      ; Regla de prioridad: "derecha", "ya-circulando"

  ;; Tipo de zona: "urbana", "escolar", "ruta", "autopista", "rural", "petrolera", "interseccion", "paso-nivel"
  (deftemplate zona ()
    (slot tipo)
    (slot vehiculo-tipo)
    (slot velmax))               


  ;; Definición de condiciones climáticas
  (deftemplate clima ()
    (slot tipo)        ; Tipo de clima: "lluvia", "niebla"
    (slot intensidad)) ; Intensidad: "leve", "moderada", "severa"

  (deftemplate infraccion ()
    (slot tipo)        ;; Tipo de infracción
    (slot descuento)))  ;; Puntos a descontar



(defun load-rules()

  ;; procesar infracciones

  (defrule procesar-infraccion ()
    (?i (infraccion (tipo ?tipo) (descuento ?descuento)))
    (?c (conductor (puntuacion ?p)))
    =>
    (modify ?c (puntuacion (- ?p ?descuento)))
    (format t "Infracción: ~A. Se descontaron ~A puntos. Puntos restantes: ~A.~%" ?tipo ?descuento (- ?p ?descuento))
    (retract ?i))


  ;; Reglas generales

  (defrule uso-obligatorio-de-cinturon ()
    (?c (conductor (uso-cinturon "no")(puntuacion ?p)))
    =>
    (modify ?c (uso-cinturon "procesado"))
    (assert (infraccion (tipo "Es obligatorio usar el cinturón de seguridad") (descuento 10))))



  (defrule prohibicion-de-uso-de-celular ()
    (?c (conductor (uso-celular "si") (puntuacion ?p)))
    =>
    (modify ?c (uso-celular "procesado"))
    (assert (infraccion (tipo "Está prohibido el uso de celular mientras conduce") (descuento 10))))


  (defrule luces-obligatorias ()
    (?c (conductor (puntuacion ?p)))
    (?v (vehiculo (luces "apagadas")))
    =>
    (modify ?v (luces "procesado")) ;; Resta 1 puntos
    (assert (infraccion (tipo "Debe encender las luces bajas durante el día al circular") (descuento 1))))


  ;; Detiene la simulación para reflejar la suspensión.
  (defrule suspender-conductor ()
    (?c (conductor (puntuacion ?p)))
    (test (< ?p 50))
    =>
    (format t "Regla: El conductor ha acumulado demasiadas infracciones. Puntos: ~A. Licencia suspendida.~%" ?p)
    (clear)
    (Halt))



  ;; Reglas por tipo de vehículo
  (defrule velocidad-en-zona ()
    (zona (tipo ?z-tipo) (velmax ?vmax) (vehiculo-tipo ?veh-tipo))
    (vehiculo (tipo ?vehiculo-tipo) (velocidad ?v) (zona ?v-zona))
    (test  (and (string= ?z-tipo ?v-zona) (string= ?vehiculo-tipo ?veh-tipo) (> ?v ?vmax)))
    =>
    (assert (infraccion (tipo "Exceso de velocidad") (descuento 15)))
    (format t "Regla: El vehículo tipo ~A excede el límite de velocidad en zona ~A.~%" ?vehiculo-tipo ?z-tipo))


  ;;reglas para condiciones climáticas

  (defrule reducir-velocidad-por-lluvia ()
    (clima (tipo "lluvia") (intensidad ?int))
    (test (member ?int '("moderada" "severa")))
    (vehiculo (velocidad ?v ))
       =>
    (format t "Regla: Debe reducir la velocidad un 20% por condiciones de lluvia.~%" ))


  (defrule reducir-velocidad-por-niebla ()
    (clima (tipo "niebla") (intensidad ?int))
    (test (member ?int '("moderada" "severa")))
    (zona (velocidad-maxima ?max))
    (vehiculo (velocidad ?v))
    (test (> ?v (* ?max 0.6))) ;; Verificar que la velocidad sea mayor al 60% del máximo
    =>
    (format t "Regla: Debe reducir la velocidad un 40% por condiciones de niebla.~%"))

  (defrule prohibicion-de-adelantamiento-en-niebla ()
    (clima (tipo "niebla") (intensidad ?int))
    (test (member ?int '("moderada" "severa")))
    =>
    (format t "Regla: Está prohibido realizar adelantamientos en condiciones de niebla.~%"))

  (defrule precaucion-extrema-en-niebla-densa ()
    (clima (tipo "niebla") (intensidad "severa"))
    =>
    (format t "Regla: Circule a velocidad mínima y máxima precaución por niebla densa.~%"))


  ;; Reglas relacionadas con el estado de sueño

  (defrule alerta-suenio ()
    (conductor (suenio "si"))
    =>
    (format t "Regla: El conductor está somnoliento. Se recomienda detenerse y descansar.~%"))

  (defrule detener-circulacion-por-suenio ()
    (conductor (suenio "si"))
    (vehiculo (velocidad ?v (> ?v 0)))
    =>
    (format t "Regla: Está prohibido circular si el conductor está somnoliento. Detenga el vehículo de inmediato.~%")))



(defun set-default-zones()
  (deffacts zonas-y-vehiculos()
    ;; Urbana
    (zona (tipo "calle urbana") (vehiculo-tipo "camioneta") (velmax 50))
    (zona (tipo "calle urbana") (vehiculo-tipo "camion") (velmax 30))
    ;; Ruta
    (zona (tipo "ruta urbana") (vehiculo-tipo "camioneta") (velmax 110))
    (zona (tipo "ruta urbana") (vehiculo-tipo "camion") (velmax 90))
    ;; Autopista
    (zona (tipo "autopista") (vehiculo-tipo "camioneta") (velmax 120))
    (zona (tipo "autopista") (vehiculo-tipo "camion") (velmax 80))
    ;; Escolar
    (zona (tipo "escolar") (vehiculo-tipo "camioneta") (velmax 30))
    (zona (tipo "escolar") (vehiculo-tipo "camion") (velmax 20))))


(defun simulate-traffic ()
  (reset)
  (set-default-zones)



  (assert (vehiculo (tipo "camioneta") (velocidad 90) (luces "encendidas") (zona "calle urbana")))
  (assert (conductor (uso-cinturon "no") (uso-celular "no") (suenio "no") (puntuacion 100)))
  (assert (clima (tipo "niebla") (intensidad "leve")))

  (run))


(watch :all)

(defun setup()
  (clear)
  (reset)
  (load-templates)
  (load-rules)
  (set-default-zones))