Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-11-29T13:31:14Z
dc.date.available 2012-11-29T13:31:14Z
dc.date.issued 1998-11
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24878
dc.description.abstract Debido al creciente interés en diversas áreas de las Ciencias de la Computación en el estudio y manejo de nociones temporales, en los últimos años se han propuesto lenguajes de programación en lógica temporal. A pesar de esta diversidad de propuestas no hay implementaciones de las mismas accesibles públicamente. El objetivo dl presente trabajo es explicar los aspectos salientes de un nuevo lenguaje de programación en lógica temporal, que utiliza los operadores Since y Until, tanto en sus fundamentos como en lo concerniente a su implementación. Este nuevo lenguaje de programación, denominado SU-TP, se basa en el aspecto lógico en una lógica temporal presentada en [BFG+96] y en el aspecto algorítmico en una propuesta realizada por Dov Gabbay en [Gab87] para obtener una extensión a Prolog [SS86] denominada Temporal Prolog. La novedad de este trabajo con respecto a la presentación de Gabbay está en que se utilizan como operadores temporales básicos un conjunto de operadores más expresivos sobre estructuras lineales, que los que tomaron como básicos en la mencionada propuesta. Además se ha demostrado que este conjunto de operadores es completo sobre la clase de flujos lineales isomorfos a los enteros o a los reales (ver [Kam68] y [GHR87]). Si bien por limitaciones de espacio no se incluirá aquí el código, el mismo puede obtenerse de [Cob98]. No obstante explicaremos detalladamente los fundamentos lógicos de la propuesta, el algoritmo utilizado como base en la implementación y se brindarán ejemplos de su uso. Finalmente se realizarán comentarios relativos a la implementación tanto en lo que respecta a problemas solucionados como a aquellos aspectos que podrían constituir futuras mejoras. También se demostrará que el algoritmo computa una función total (siempre se detiene). Otro punto que es importante resaltar es que si bien no se conocen implementaciones de este tipo de lenguajes, como se mencionó previamente, este utiliza los operadores Since y Until usualmente citados en determinadas clases de problemas. Algunas áreas en las que se han propuesto lógicas temporales basadas en estos operadores incluyen: análisis de correctitud de programas, bases de datos deductivas temporales y generación de documentos multimediales ([Gal87]). es
dc.language es es
dc.subject Temporal logic es
dc.subject Logic Programming es
dc.title Programación en lógica temporal basada en los operadores Since y Until es
dc.type Objeto de conferencia es
sedici.creator.person Cobo, María Laura es
sedici.creator.person Augusto, Juan Carlos es
sedici.description.note V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.materias Informática es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 1998-10
sedici.relation.event IV Congreso Argentina de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)