Filters








225,604 Hits in 8.0 sec

Page 7086 of Mathematical Reviews Vol. , Issue 99j [page]

1999 Mathematical Reviews  
Some results have been obtained on the issue of updating a logic program which encodes a set of models, to obtain a new program whose models are the desired updates of the initial models.  ...  The updating of theory models is governed by their update rules and also by in- ertia applied to those literals not directly affected by the update program.  ... 

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  ...  Last but not least, the associated models S of the new knowledge base correspond to the answer sets of a •-update program as follows.  ...  Although ASP is a strong theoretical framework to represent knowledge, it can't model changes to that knowledge by itself, nor can it represent conflict situations amongst an agent and its dynamic environment  ... 
doi:10.29057/esh.v1i1.3010 fatcat:wifcuapdn5f7xpeqkg3xnlkscy

Modular BDI architecture

Peter Novák, Jürgen Dix
2006 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06  
The underlying architecture of such programming languages has to be robust enough to support various approaches to knowledge representation and agent reasoning models.  ...  The connections between the components of such a BDI system are provided by interaction rules.  ...  Although the semantics of interaction rules is dened for ground query and update formulas, a practical programming system has to handle also non-ground interaction rules.  ... 
doi:10.1145/1160633.1160814 dblp:conf/atal/NovakD06 fatcat:i3wok45c3bah3o3oerbfjc7hnm

KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs [chapter]

Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata
2019 Lecture Notes in Computer Science  
In this paper, we present a formal tool called KupC for modeling and verifying dynamic updating of C programs. The tool is built on K-a formal semantic framework for programming languages.  ...  The formalization automatically yields an interpreter and several verification tools, which can be used to formally analyze the correctness of dynamic updating for C programs.  ...  KUPC Usage KupC is equipped with an interpreter to execute updatable C programs, a state space explorer to search for all possible updating results, and an LTL model checker to verify temporal properties  ... 
doi:10.1007/978-3-030-16722-6_17 fatcat:p2ak6hl3vbgqlirijxfq7axkta

Computing Environment-Aware Agent Behaviours with Logic Program Updates [chapter]

José J. Alferes, Antonio Brogi, João A. Leite, Luís M. Pereira
2002 Lecture Notes in Computer Science  
We show how such language can be used to model the more reactive behaviours, while keeping the more deliberative features provided by its underlying Dynamic Logic Programming paradigm.  ...  Logic program updates are specified, in our setting, by the language of updates LUPS.  ...  One difference between such approach and ours is that in [21] the semantics is a proof-theoretic operational one, while our approach provides a declarative, model-theoretic characterization of environment-aware  ... 
doi:10.1007/3-540-45607-4_12 fatcat:z3hrk22me5gvrm3dudi4lxuhbe

AGM postulates in Answer Sets

Juan Carlos Acosta Guadarrama
2008 Latin-American Workshop on Non-Monotonic Reasoning  
As a result, various researchers have proposed Answer Set Programming as one of their key components to set up their approaches.  ...  Revising and updating beliefs and knowledge bases is an important topic in knowledge representation and reasoning that requires a solid theoretical basis.  ...  Last, the associated models S of an epistemic state (an updating pair) corresponds to the answer sets of a • o -update program as follows. Definition 2 (• o -update Answer Set).  ... 
dblp:conf/lanmr/Guadarrama08 fatcat:s3xdiuez65emjckjedoiar6ah4

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 compare our approach with the well-known upd operator (due to Eiter et al.) . Finally, we discuss how to compute our updated models by means of a simple transformation to ordered disjunctions.  ...  The reason is that a semantics is customarily defined by specifying a certain class of intended models which are merely set-theoretic entries used to interpret the vocabulary of the program (eg. minimal  ... 
dblp:journals/engl/FloresRE07 fatcat:3l4gv27yxfhpdc554beoi5scnu

Operational Semantics for DyLPs [chapter]

F. Banti, J. J. Alferes, A. Brogi
2005 Lecture Notes in Computer Science  
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs.  ...  shown to be a useful paradigm for modelling NP-complete problems.  ...  Moreover, the transformed program can be used also for "reading" a DyLP as a normal logic program, a task for which a program transformation with many more auxiliary rules and predicates would not be suitable  ... 
doi:10.1007/11595014_5 fatcat:jxma4xvinbf4ljvmljvcrj4v74

Attribute Computations in the DPoPb Graph Transformation Engine

Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
2010 Electronic Communications of the EASST  
However, for the sake of efficiency considerations and convenient uses, these systems do not generally implement the whole attribute computations but rely on programs written in a host language.  ...  In previous works we introduced the Double Pushout Pullback (DPoPb) framework which integrates attributed graph rewriting and computation on attributes in a unified categorical approach.  ...  GraBaTs 2010 11 / 14 The DPoPb prototype To validate the theoretical model DPoPb, we have developed a prototype in Haskell language.  ... 
doi:10.14279/tuj.eceasst.32.511 dblp:journals/eceasst/TranPDFS10 fatcat:cxme6lkusnexddfpklmq5anbta

A Brief History of Updates of Answer-Set Programs

JOÃO LEITE, MARTIN SLOTA
2022 Theory and Practice of Logic Programming  
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,  ...  methods, which have prevented a unifying framework that could embrace both belief and rule updates.  ...  Acknowledging rules as first-class objects by viewing a program as the set of sets of their models essentially amounts to adopting the view used by base revision operators (Gärdenfors 1992; Hansson 1993  ... 
doi:10.1017/s1471068422000060 fatcat:oi36jih3cra3tjggy6auhin7we

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,  ...  methods, which have prevented a unifying framework that could embrace both belief and rule updates.  ...  The authors were partially supported by Fundac ¸ão para a Ciência e Tecnologia through projects FORGET (PTDC/CCI-INF/32219/2017) and RIVER (PTDC/CCI-COM/30952/2017), and strategic project NOVA LINCS (UIDB  ... 
arXiv:2112.13477v2 fatcat:ketwl6uunreozctkubxwxahvki

Splitting and updating hybrid knowledge bases

MARTIN SLOTA, JOÃO LEITE, TERRANCE SWIFT
2011 Theory and Practice of Logic Programming  
AbstractOver the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm.  ...  In this paper, motivated by real world applications, we introduce an update operator for a large class of hybrid knowledge bases where both the DL component as well as the rule component are allowed to  ...  In page 3 the authors wrote: "While classical updates are performed on the models of a knowledge base, .... , forces rule update methods to refer to the syntactic structure of underlying programs."  ... 
doi:10.1017/s1471068411000317 fatcat:s7sps267aff6fjxhjntmv5qeuy

In Silico Experimental Modeling of Cancer Treatment

Trisilowati, D. G. Mallet
2012 ISRN Oncology  
In this paper, we discuss the use of in silico modeling as a precursor to traditional clinical and laboratory research, allowing researchers to refine their experimental programs with an aim to reducing  ...  We explain the methodology of in silico experimental trials before providing an example of in silico modeling from the biomathematical literature with a view to promoting more widespread use and understanding  ...  Acknowledgment The authors wish to thank Masoum Bagher Oskouei for assistance and discussions with regard to the second section of the paper.  ... 
doi:10.5402/2012/828701 pmid:22523709 pmcid:PMC3302021 fatcat:ondtfh7s5bbthjwwpr3ofobg2q

Towards a Logic-programming System to Debug ASP Knowledge Bases

Juan Carlos Acosta Guadarrama
2011 Latin-American Workshop on Non-Monotonic Reasoning  
programs.  ...  Accordingly, the two-fold contribution of this work is to show a simpler theoretical framework of preferences characterised in DLV, as well as general foundation to debug both static and dynamic logic  ...  To begin with, an approach to implement an update semantics in MGAS was first suggested in [9] by means of preferred disjunctive logic programs in Brewka's ODLP semantics.  ... 
dblp:conf/lanmr/Guadarrama11 fatcat:4so6q5y76zh5vavpy6ixxtpxwm

Automated Error Interpretation in Flaw Response Models for Ultrasonic NDT

Robert J. Robinson
2003 AIP Conference Proceedings  
Theoretical modelling programs are used to validate test procedures during Inspection Qualification and to aid interpretation of results.  ...  NDT Workbench Inference Engine Input File Model Selected Updated Results Rule File Old Results  ...  THEORETICAL MODELLING PROGRAMS Four validated modelling programs are available within the Expert System, which can be used to simulate the ultrasonic inspection.  ... 
doi:10.1063/1.1570357 fatcat:mx5mimxwejdgniphzrhbvdwsyi
« Previous Showing results 1 — 15 out of 225,604 results