Representación y gestión del conocimiento con cuantificación intermedia

  1. Bilbao Terol, Amelia María
Zuzendaria:
  1. José Secundino López García Zuzendaria

Defentsa unibertsitatea: Universidad de Oviedo

Defentsa urtea: 1992

Epaimahaia:
  1. Octavio Santana Suárez Presidentea
  2. María Victoria Rodríguez Uría Idazkaria
  3. Antonio Calvo Cuenca Kidea
  4. Rafael Caballero Fernández Kidea
  5. José Antonio López Brugos Kidea

Mota: Tesia

Teseo: 34416 DIALNET

Laburpena

ESTA TESIS SE BASA EN UNA LINEA DE EVOLUCION DE LA LOGICA CLASICA HACIA UNA LOGICA DE PRIMER ORDEN CAPAZ DE MANEJAR CUANTIFICADORES NO ESTANDAR, EL CALCULO DE PREDICADOS DE PRIMER ORDEN SE ENRIQUECE CON EL OBJETIVO DE PERMITIR EL ESTUDIO DE LAS INFERENCIAS EXPRESADAS EN LENGUAJE NATURAL QUE INCLUYEN LOS DETERMINANTES "POCOS", "BASTANTES" Y "MUCHOS", DE UNA FORMA PARALELA A LA UTILIZADA POR EL CALCULO QUE TRATA DE EXPLICAR INFERENCIAS EXPRESADAS CON "TODOS" Y "ALGUNOS". A PARTIR DE LOS PRINCIPIOS DE UNIFICACION Y RESOLUCION DE ROBINSON SE GENERAN SENDOS ALGORITMOS PARA EL CASO DE SENTENCIAS CON CUANTIFICACION INTERMEDIA. SE DEFINE INICIALMENTE UNA SEMANTICA Y UNA SINTAXIS PARA LAS NUEVAS FORMULAS. POSTERIORMENTE SE CONSTRUYE UN PROCESO DE NORMALIZACION DE SENTENCIAS CON CUANTIFICACION INTERMEDIA.