Counfluent Rewriting Systems in Non-Monotonic Reasoning

dc.creatorARRAZOLA , JOSÉ
dc.creatorDIX , JURGEN
dc.creatorOSORIO , MAURICIO
dc.date2009-10-05
dc.date.accessioned2018-03-16T14:22:16Z
dc.date.available2018-03-16T14:22:16Z
dc.identifierhttp://ojs.unam.mx/index.php/cys/article/view/2484
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1190356
dc.descriptionWE INTRIDUCE THE GENERAL NOTION OF A CONFLUENT LP - SYSTEM, WHICH IS A REWRINTING SYSTEM ON THE SET OF ALL LOGIC PROGRAMS OVER A SIGNATURE C. SUCH A SYSTEM IS BASED ON CERTAIN TRANSFORMATION RULES AND INDUCES A SEMANTICS SEM IN A NATURAL WAY. WE SHOW THAT MUST OF THE WELL - KNOWN SEMANTICS FOR NORMAL LOGIC PROGRAMS ARE INDUCED BY CONFLUENT LP - SYSTEMS. MOREOVER, WE SHOW BY INTRODUCING SEVERAL NEW TRANSFORMATION RULES THAT THE CORRESPONDING LP - SYSTEMS INDUCE INTERESTING SEMANTICS WHICH ARE POLYNOMIAL TIME COMPUTABLE AND EXTEND WFS. MOREOVER WE USE OUR APPROACH TO DEFINE NEW SEMANTICS FOR DISJUNTIVE PROGRAMS.en-US
dc.descriptionWE INTRIDUCE THE GENERAL NOTION OF A CONFLUENT LP - SYSTEM, WHICH IS A REWRINTING SYSTEM ON THE SET OF ALL LOGIC PROGRAMS OVER A SIGNATURE C. SUCH A SYSTEM IS BASED ON CERTAIN TRANSFORMATION RULES AND INDUCES A SEMANTICS SEM IN A NATURAL WAY. WE SHOW THAT MUST OF THE WELL - KNOWN SEMANTICS FOR NORMAL LOGIC PROGRAMS ARE INDUCED BY CONFLUENT LP - SYSTEMS. MOREOVER, WE SHOW BY INTRODUCING SEVERAL NEW TRANSFORMATION RULES THAT THE CORRESPONDING LP - SYSTEMS INDUCE INTERESTING SEMANTICS WHICH ARE POLYNOMIAL TIME COMPUTABLE AND EXTEND WFS. MOREOVER WE USE OUR APPROACH TO DEFINE NEW SEMANTICS FOR DISJUNTIVE PROGRAMS.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherComputación y Sistemases-ES
dc.relationhttp://ojs.unam.mx/index.php/cys/article/view/2484/2046
dc.sourceComputación y Sistemas; Vol 2, No 002 (1999)es-ES
dc.source1405-5546
dc.subject;WELL - FOUNDED SEMANTICS; STABLE SEMANTICS; LOGIC PROGRAMMING; NON - MONOTONIC REASONING; REWRITING SYSTEMS; NEGATION AS FAILUREes-ES
dc.titleCounfluent Rewriting Systems in Non-Monotonic Reasoninges-ES
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución