Evolving Logic Programs with Temporal Operators 195. From logic programs updates to action description. Logic programming can be viewed as controlled deduction. How To Install Mouse Themes there. Find answers to frequently asked questions about Windows Update. Drivers for your Windows PC. Windows Update automatically. >Programs, and then.
• • Part of the book series (LNCS, volume 3487) Abstract An important branch of investigation in the field of agents has been the definition of high level languages for representing effects of actions, the programs written in such languages being usually called 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. English Upper Intermediate Test Pdf. Starting from the update language Evolp, in this work we propose a new paradigm for reasoning about actions called Evolp action programs.
We provide translations of some of the most known action description languages into Evolp action programs, and underline some peculiar features of this newly defined paradigm. One such feature is that Evolp action programs can easily express changes in the rules of the domains, including rules describing changes.