99,000 Hits in 4.4 sec

On Some Differences Between Semantics of Logic Program Updates [chapter]

João Alexandre Leite
2004 Lecture Notes in Computer Science  
Since the introduction of logic program updates based on causal rejection of rules, several different semantics were set forth.  ...  In this paper we redefine such existing semantics, and set forth a new one, all in the more general setting of Generalized Logic Programs, in a way that facilitates their comparisons.  ...  Semantics of Updates In this Section we set forth the definitions of several semantics for dynamic logic programs in a uniform manner.  ... 
doi:10.1007/978-3-540-30498-2_38 fatcat:o42tce4mxvd5tfeqv4ajqo4ita

Results on reasoning about updates in Transaction Logic [chapter]

Anthony J. Bonner, Michael Kifer
1998 Lecture Notes in Computer Science  
remains in the logic-programming tradition. • The theory of classical logic is a special case of the theory of T R. • T R and Prolog behave semantically in the same way except that updates are rolled  ...  logic-programming tradition. • The theory of classical logic is a special case of the theory of T R. • T R and Prolog behave semantically in the same way except that updates are rolled back whenever the  ...  This property can be expressed by a transaction formula of a very specific form: • Is p always true after program α executes? • If p ∨ q is true before program α executes, is r ∨ s true afterwards?  ... 
doi:10.1007/bfb0055499 fatcat:bydybcvegbauzoslo7t2k2k7fy

Semantics for Dynamic Logic Programming: A Principle-Based Approach [chapter]

José J. Alferes, Federico Banti, Antonio Brogi, João A. Leite
2003 Lecture Notes in Computer Science  
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs.  ...  It turns out that none of the existing semantics for logic program updates, even though based on stable models, complies with this principle.  ...  adequacy of semantics of logic program updates in some important situations, in particular those concerning the unwanted generation of new dynamic stable models when certain sets of rules are added to  ... 
doi:10.1007/978-3-540-24609-1_4 fatcat:kcoj5iep7zawnhgnwoch2tifya

Minimal Change and Maximal Coherence for Epistemic Logic Program Updates

Yan Zhang
2003 International Joint Conference on Artificial Intelligence  
The central feature of our approach is that during an update procedure, contradictory information is removed on a basis of minimal change under the semantics of epistemic logic programs and then coherent  ...  We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be explicitly expressed.  ...  Contrary to other logic programs, notions of knowledge and beliefs in epistemic logic programs have strong semantic connections to the standard Kripke structures of modal logics.  ... 
dblp:conf/ijcai/Zhang03 fatcat:r65pyvipdjcxppmeeoffcebd2i

A Schema for Generating Update Semantics

Jos´e Luis, Claudia Zepeda, Guillermo Flores
2012 International Journal of Advanced Computer Science and Applications  
The schema proposed is based on a concept called minimal generalized S models, where S is any of the logic programming semantics. Each update semantics is associated to an update operator.  ...  In this paper, we present a general schema for defining new update semantics.  ...  In order to obtain the ⊙ S -update models of a pair of logic programs (P 1 , P 2 ), called update pair, we define an update logic program, denoted as P.  ... 
doi:10.14569/ijacsa.2012.030324 fatcat:jjg6qh4il5a4zi3jpzrivrwpaa

A Brief History of Updates of Answer-Set Programs [article]

João Leite, Martin Slota
2022 arXiv   pre-print
Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs) or, in other words,  ...  In this paper, we will overview some of the main approaches and results related to answer-set programming updates, while pointing out some of the main challenges that research in this topic has faced.  ...  Przymusinski, and Theresa Swift, with whom they worked on the topic of this paper over the years, as well as Ricardo Gonc ¸alves and Matthias Knorr for valuable comments on an earlier draft of this paper  ... 
arXiv:2112.13477v2 fatcat:ketwl6uunreozctkubxwxahvki

Advances in Computer Science and Artificial Intelligence

Fernando Zacarías Flores, José R. Arrazola Ramírez, Oscar Hernán Estrada-Estrada
2007 Engineering Letters  
We extensively investigate, from different views, properties of program updates and answer set semantics for program updates (in particular, for the two-program case).  ...  On the Logic and Agents workshop, some works related to the problem of updates in ASP logic programs were presented.  ... 
dblp:journals/engl/FloresRE07 fatcat:3l4gv27yxfhpdc554beoi5scnu

The Refined Extension Principle for Semantics of Dynamic Logic Programming

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
2005 Studia Logica: An International Journal for Symbolic Logic  
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs.  ...  It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle.  ...  In recent years, some amount of effort was devoted to explore the problem of updates in a logic programming setting, leading to different framework proposals and semantics [1, 4, 5, 10, 12, 13, 20, 21  ... 
doi:10.1007/s11225-005-0492-y fatcat:4xtm4hh26jav5l3axxd27irzgy

Evolving Reactive Logic Programs

José Júlio Alferes, Federico Banti, Antonio Brogi
2008 Festschrifts: Birthday, In Memory of ...  
to strengthening the semantics foundations of dynamic logic programs, we describe a simple formalism to reason about actions -based on dynamic logic programsand its recent event-condition-action extension  ...  that supports the specification and the execution of reactive programs.  ...  semantics for this class of logic programs.  ... 
dblp:conf/birthday/AlferesBB08 fatcat:4xqlyqb2pjewdmtos7mq3mramq

Semantic Web Logic Programming Tools [chapter]

Jóse Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
2003 Lecture Notes in Computer Science  
The paper does not intended to be a survey of logic programming techniques applicable to the Semantic Web, and so the interested reader should try to obtain the missing information in the logic programming  ...  The last two decades of research in Logic Programming, both at the theoretical and practical levels, have addressed several topics highly relevant for the Semantic Web effort, providing very concrete answers  ...  Part of the work on logic programming updates has been supported by projects FLUX "Flexible Logical Updates" (POSI/SRI/40958/2001) , funded by FEDER, and TARDE "Tabulation and Reasoning in a Distributed  ... 
doi:10.1007/978-3-540-24572-8_2 fatcat:fcn3m4zgxfa6lil3yyygvkbu7e

Well Founded Semantics for Logic Program Updates [chapter]

F. Banti, J. J. Alferes, A. Brogi
2004 Lecture Notes in Computer Science  
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs.  ...  Most of these semantics extend the stable models semantics of normal, extended (with explicit negation) or generalized (with default negation in rule heads) logic programs.  ...  In the last years, several semantics had been proposed for logic programs updates [1, 2, 5, 9, 13-15, 17, 18] .  ... 
doi:10.1007/978-3-540-30498-2_40 fatcat:6fqfhtivjjdn3j4utk65gxtvaq

Page 7264 of Mathematical Reviews Vol. , Issue 2004i [page]

2004 Mathematical Reviews  
The aim of the paper is to propose a uniform semantical framework for extended logic programming with preferences.  ...  The paper develops a specific theory of the preferred answer sets semantics that is “situated” between (and succeeds in inte- grating extended) logic programs with preferred answer sets (G.  ... 

Provably Correct Code Generation: A Case Study

Qian Wang, Gopal Gupta
2005 Electronical Notes in Theoretical Computer Science  
In this paper we present an approach to provably correct compilation based on Horn logical semantics of programming languages and partial evaluation.  ...  We also show that continuation semantics can be expressed in the Horn logical framework, and introduce Definite Clause Semantics.  ...  Acknowledgement We are grateful to Constance Heitmeyer and Elizabeth Leonard of the Naval Research Labs for providing us with the BNF grammar of SCR and the safety injection program as well as for discussions  ... 
doi:10.1016/j.entcs.2004.11.008 fatcat:kizyn2w3gjb2lc77mqxush7txy

A Generalised Semantics for Belief Updates - An Equivalence-based Approach

Jorge Hernández, Juan C. Acosta
2013 Ciencias Huasteca Boletín Científico de la Escuela Superior de Huejutla  
en la literatura, la revisión y actualización de creencias y de bases del conocimiento, es un tema importante, aún no resuelto en la representación del conocimiento y del razonamiento en la Answer Set Programming  ...  belief change makes it hard to compare with other alternatives for updates of logic programs.  ...  in previous paragraphs, once there existed a strong theoretical basis for belief revision and updates, a few authors in the field of logic programming proposed mechanisms for updates with a vast analysis  ... 
doi:10.29057/esh.v1i1.3010 fatcat:wifcuapdn5f7xpeqkg3xnlkscy

Page 5868 of Mathematical Reviews Vol. , Issue 98I [page]

1998 Mathematical Reviews  
Summary: “In the recent literature the issue of program change via updating rules (also known as revision rules) has been reduced to the issue of obtaining a new set of models, by means of the update rules  ...  The limitation is twofold: on the one hand, only programs under 2-valued semantics are approachable; on the other, when there are contradictory update rules, in lieu of leaving un- defined the effects  ... 
« Previous Showing results 1 — 15 out of 99,000 results