Filters








51 Hits in 1.3 sec

EVOLP: An Implementation [chapter]

Martin Slota, João Leite
2008 Lecture Notes in Computer Science  
In this paper we present an implementation of EVOLP under the Evolution Stable Model semantics, based on the transformation defined in [1]. We also discuss optimizations used in the implementation.  ...  Conclusion and Future Work We presented an implementation of EVOLP that is based on a transformation into an equivalent normal logic program.  ...  We also discussed some basic optimizations performed in the implementation.  ... 
doi:10.1007/978-3-540-88833-8_16 fatcat:3tvg53znpzef3fmnj7vp5bkg3y

Non-Markovian Agent Evolution with EVOLP

José Alferes, Alfredo Gabaldon
unpublished
In this paper, after motivating the need for non-Markovian changes, we extend EVOLP-The Logic Programming Update Language at the heart of an existing MAS-with LTL-like temporal operators that allow referring  ...  We then show that with a suitable introduction of new propo-sitional variables it is possible to embed the extended EVOLP into the original one, thus demonstrating that EVOLP itself can already be used  ...  On the other hand, given the existing implementations of EVOLP, the transformation readily provides a means to implement EVOLP T , and this way to easily and directly express non-Markovian conditions over  ... 
fatcat:3gmnxjjrhvdwrpv5buqgok4xge

Evolving Logic Programming Based Agents with Temporal Operators

José Júlio Alferes, Alfredo Gabaldon, João Leite
2008 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology  
In this paper, after motivating the need for non-Markovian changes, we extend EVOLP -The Logic Programming Update Language at the heart of an existing MAS -with LTL-like temporal operators that allow referring  ...  We then show that with a suitable introduction of new propositional variables it is possible to embed the extended EVOLP into the original one, thus demonstrating that EVOLP itself can already be used  ...  On the other hand, given the existing implementations of EVOLP, the transformation readily provides a means to implement EVOLP T , and this way to easily and directly express non-Markovian conditions over  ... 
doi:10.1109/wiiat.2008.123 dblp:conf/iat/AlferesGL08 fatcat:3p2spn3lrvhdjkjnvdbn3fcdq4

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 current implementation of EVOLP is a meta-interpreter that runs under XSB-Prolog.  ...  -Polynomial data complexity with efficient existing implementations, namely the SLG-WAM engine implemented in XSB [30] . -Good structural properties. -It has an undefined truth-value.  ... 
doi:10.1007/978-3-540-24572-8_2 fatcat:fcn3m4zgxfa6lil3yyygvkbu7e

An Evolvable Rule-Based E-mail Agent [chapter]

J. J. Alferes, A. Brogi, J. A. Leite, Luís Moniz Pereira
2003 Lecture Notes in Computer Science  
We make our case by exhibiting a detailed application example of how EVOLP can be used to express updateable RuleML rule bases, employing it to define an evolving e-mail Personal Assistant Agent.  ...  rule bases, bringing an important added value to RuleML.  ...  We have run and tested the example, with an EVOLP implementation available at: http://centria.di.fct.unl.pt/˜jja/updates/. where A is an atom, not L denotes the complement w.r.t. default negation of the  ... 
doi:10.1007/978-3-540-24580-3_45 fatcat:qas72qbd2fbubccjm6qvlv4ipq

Logic Programming for Evolving Agents [chapter]

Jose J. Alferes, Antonio Brogi, Joao A. Leite, Luis M. Pereira
2003 Lecture Notes in Computer Science  
To illustrate the usage and power of EVOLP, and its ability to model agents' specifications, we elaborate on variations in the modelling of a Personal Assistant Agent for e-mail management.  ...  In this paper we describe Evolving Logic Programs (EVOLP), a simple though quite powerful extension of logic programming, which allows for modelling the dynamics of knowledge bases expressed by programs  ...  Also beyond the scope is the issue of how to implement EVOLP, though an implementation already exists, available from http://centria.fct.unl.pt/˜jja/updates/ E-mail Agent Forthwith, EVOLP is employed  ... 
doi:10.1007/978-3-540-45217-1_21 fatcat:qc5hm5jebrcf7gwdkgjgfnozbi

Joint Tabling of Logic Program Abductions and Updates [article]

Ari Saptawijaya, Luís Moniz Pereira
2014 arXiv   pre-print
A prototype of the integrated system is implemented in XSB Prolog.  ...  The integration is based on and benefits from the two implementation techniques we separately devised previously, viz., tabled abduction and incremental tabling for query-driven propagation of logic program  ...  Like Tabdual, Evolp/r is implemented by a compiled program transformation plus a library of reserved predicates.  ... 
arXiv:1405.2058v1 fatcat:k6cejelv45evfiiibllgovb5de

A Methodology to Create Legal Ontologies in a Logic Programming Based Web Information Retrieval System

José Saias, Paulo Quaresma
2004 Artificial Intelligence and Law  
EVOLP is a dynamic logic programming framework allowing the definition of rules for actions and events.  ...  An application of the proposed methodology to the legal web information retrieval system of the Portuguese Attorney General's Office is described.  ...  As an example, the toSave presented previously is translated into the following fact: toSaveðID ¼ s5; subject ¼ '#m11'; object ¼ '#c2'Þ: For each defined class a set of Prolog predicates implementing the  ... 
doi:10.1007/s10506-005-4162-1 fatcat:bv4an56zfvffnpg5iaos3wifoy

Evolving Logic Programs [chapter]

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2002 Lecture Notes in Computer Science  
In this paper we describe a simple though quite powerful approach to modelling the updates of knowledge bases expressed by generalized logic programs, by means of a new language, hereby christened EVOLP  ...  This formulation sets evolving programs on a firm basis in which to express, implement, and reason about dynamic knowledge bases, and opens up a number of interesting research topics that we brush on.  ...  The proposed formulation sets EVOLP on a firm formal basis in which to express, implement, and reason about dynamic knowledge bases, and opens up a number of interesting research topics that we brush on  ... 
doi:10.1007/3-540-45757-7_5 fatcat:ywruy57lkveg7di24pstdeqjta

A Methodology to Create Legal Ontologies in a Logic Programming Information Retrieval System [chapter]

José Saias, Paulo Quaresma
2005 Lecture Notes in Computer Science  
EVOLP is a dynamic logic programming framework allowing the definition of rules for actions and events.  ...  An application of the proposed methodology to the legal information retrieval system of the Portuguese Attorney General's Office is described.  ...  The logic programming framework is based on ISCO [10] and EVOLP [11] .ISCO is a new declarative language implemented over GNU Prolog with object-oriented predicates, constraints and allowing simple  ... 
doi:10.1007/978-3-540-32253-5_12 fatcat:bxqi6hwxevberfk6tizadc4qey

From Logic Programs Updates to Action Description Updates [chapter]

José Júlio Alferes, Federico Banti, Antonio Brogi
2005 Lecture Notes in Computer Science  
Starting from the update language Evolp, in this work we propose a new paradigm for reasoning about actions called Evolp action programs.  ...  Logic programming is an important area in the field of knowledge representation and some languages for specifying updates of Logic Programs had been defined.  ...  An Evolp program over L is any GLP over L assert . An Evolp sequence is a sequence (or DLP) of Evolp programs. The rules of an Evolp program are called Evolp rules.  ... 
doi:10.1007/11533092_4 fatcat:yj7dhksmy5gvdoowxmtenxgrtu

Towards Efficient Evolving Multi-Context Systems (Preliminary Report) [article]

Ricardo Gonçalves and Matthias Knorr and João Leite
2015 arXiv   pre-print
Recently, evolving Multi-Context Systems (eMCSs) have been introduced as an extension of mMCSs that add the ability to both react to, and reason in the presence of commonly temporary dynamic observations  ...  However, the general complexity of such an expressive formalism may simply be too high in cases where huge amounts of information have to be processed within a limited short amount of time, or even instantaneously  ...  Closely related to EVOLP, hence to eMCS, are the two frameworks of reactive ASP, one implemented as a solver clingo [14] and one described in [6] .  ... 
arXiv:1505.05502v1 fatcat:yja2dsauhvds7f4ecjgthqjr3q

Gene expression rearrangements denoting changes in the biological state

Augusto Gonzalez, Joan Nieves, Dario A. Leon, Maria Luisa Bringas Vega, Pedro Valdes Sosa
2021 Scientific Reports  
There is also an additional script located in the last of the previous directories where we collect the routines we implemented for the Principal Component Analysis method.  ...  /evolp/PCA_ecoli/, ../evolp/PCA_Alzheimer and ../evolp/PCA_cancer/ respectively.  ...  Writing an initial draft of the paper -A.G. Discussion of results and edition of the final version -All authors.  ... 
doi:10.1038/s41598-021-87764-0 pmid:33875699 fatcat:np2paqa765dipc2wsol6tk7lty

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report) [article]

Ricardo Gonçalves and Matthias Knorr and João Leite
2015 arXiv   pre-print
Since eMCSs combine heterogeneous KR formalisms, each of which may require different notions of minimal change, the study of minimal change in eMCSs is an interesting and highly non-trivial problem.  ...  Closely related to EVOLP, hence to eMCS, are the two frameworks of reactive ASP, one implemented as a solver clingo [11] and one described in [5] .  ...  The system clingo extends an ASP solver for handling external modules provided at runtime by a controller. The output of these external modules can be seen as the observations of EVOLP.  ... 
arXiv:1505.05368v1 fatcat:djqsgvwk2vdgrpimsry3fdoxj4

Modeling Ontology and Semantic Network of Regulations in Customs and Excise

Eva Maulina Aritonang, Kudang Boro Seminar, Sri Wahjuni, Onno Widodo Purbo
2017 TELKOMNIKA (Telecommunication Computing Electronics and Control)  
Regulations in customs and Excise have an important function in regulating legally every policy and decision making.  ...  This paper propose the design of an ontologybased semantic network using a graph database that use neo4j 2.3.1 as a solution.  ...  Ontology of this study was defined through OWL with logic programming framework using EVOLP + ISCO.  ... 
doi:10.12928/telkomnika.v15i4.6590 fatcat:ra6ghc7hbzfyhjd4il5c63xjeq
« Previous Showing results 1 — 15 out of 51 results