FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W132642259> ?p ?o ?g. }

• W132642259 endingPage "1432" @default.
• W132642259 startingPage "1426" @default.
• W132642259 abstract "The agent paradigm has recently increased its influence in the research and development of computational logicbased systems. A clear and correct specification is made through Logic Programming (LP) and Non-nomotonic Reasoning that have been brought (back) to the spotlight. Also, the recent significant improvements in the efficiency of LP implementations for Non-monotonic Reasoning (De Schreye, Hermenegildo & Pereira, 1999) have helped to this resurgence. However, the agents need update constantly their knowledge base and, particularly the intentional base (rules) such that our agent has the ability to reacting to changes in dynamic environments is of crucial importance within the context of software agents. Such feature should correspond to a deliberative rational behavior wanted for our agents. The quality of the service that an agent offers is based on the form in which an agent combines rationality and reactivity. A reactive agent can offer well evaluated recommendations but, this response is based on outdated information, while a rational behavior may generate recommendations based on the most recently acquired information. So, we are interested in developing environment-aware agents. For this reason, is very important to have an update process for agents, i.e., that it allows us to design agents with its rational component. Over recent years, several semantics for logic program updates have been proposed (Brewka, Dix, & Knonolige 1997) (De Schreye, Hermenegildo, & Pereira, 1999) (Katsumo & Mendelzon, 1991). All these semantic ones coincide in considering the AGM proposal as the standard model in the update theory, for their wealth in properties. The AGM approach, introduced in (Alchourron, Gardenfors & Makinson, 1985) is the dominating paradigm in the area, but in the context of monotonic logic. All these proposals analyze and reinterpret the AGM postulates under the Answer Set Programming (ASP) such as (Eiter, Fink, Sabattini & Thompits, 2000). However, the majority of the adapted AGM and update postulates are violated by update programs, as shown in (De Schreye, Hermenegildo, & Pereira, 1999). For this reason, we have been working in finding properties that our update operator satisfies (Osorio & Zacarías, 2003) (Zacarías & Osorio, 2005) (Arrazola & Zacarias, 2005). Our purpose is to build a semantics based on structural properties. This is our main objective in the update theory. In (De Schreye, Hermenegildo, & Pereira, 1999) (Osorio & Zacarias, 2003) (Zacarías, Osorio & Arrazola, 2005) (Zacarias, 2005) the authors present a set of properties that the update operator satisfies. In this paper we continue with this same research line presenting a novel proposal with the aim to enrich the update theory that we have begun in (Osorio & Zacarias, 2003) (Zacarías, Osorio & Arrazola, 2005) (Zacarias, 2005). This novel proposal contributes with two benefits. First, we conserve many of the properties presented in previous works (Osorio & Zacarias, 2003) (Zacarías, Osorio & Arrazola, 2005) (Zacarias, 2005), such as: Weak Irrelevance of Syntax (WIS). This property is similar to one postulate proposed by AGM, but in this case for nonmonotonic logic and under Answer Set Programming (ASP) introduced and defined by (Gelfond & Lifschitz, 1988)." @default.
• W132642259 created "2016-06-24" @default.
• W132642259 creator A5021665013 @default.
• W132642259 creator A5032979384 @default.
• W132642259 creator A5037663414 @default.
• W132642259 creator A5091505110 @default.
• W132642259 date "2011-05-24" @default.
• W132642259 modified "2023-09-24" @default.
• W132642259 title "Signed Formulae as a New Update Process" @default.
• W132642259 cites W1976624377 @default.
• W132642259 cites W1980054641 @default.
• W132642259 cites W1985274317 @default.
• W132642259 cites W2004301675 @default.
• W132642259 cites W2016377072 @default.
• W132642259 cites W2149420462 @default.
• W132642259 doi "https://doi.org/10.4018/978-1-59904-849-9.ch209" @default.
• W132642259 hasPublicationYear "2011" @default.
• W132642259 type Work @default.
• W132642259 sameAs 132642259 @default.
• W132642259 citedByCount "0" @default.
• W132642259 crossrefType "book-chapter" @default.
• W132642259 hasAuthorship W132642259A5021665013 @default.
• W132642259 hasAuthorship W132642259A5032979384 @default.
• W132642259 hasAuthorship W132642259A5037663414 @default.
• W132642259 hasAuthorship W132642259A5091505110 @default.
• W132642259 hasConcept C199343813 @default.
• W132642259 hasConcept C199360897 @default.
• W132642259 hasConcept C2777686260 @default.
• W132642259 hasConcept C33923547 @default.
• W132642259 hasConcept C41008148 @default.
• W132642259 hasConcept C71924100 @default.
• W132642259 hasConcept C98045186 @default.
• W132642259 hasConceptScore W132642259C199343813 @default.
• W132642259 hasConceptScore W132642259C199360897 @default.
• W132642259 hasConceptScore W132642259C2777686260 @default.
• W132642259 hasConceptScore W132642259C33923547 @default.
• W132642259 hasConceptScore W132642259C41008148 @default.
• W132642259 hasConceptScore W132642259C71924100 @default.
• W132642259 hasConceptScore W132642259C98045186 @default.
• W132642259 hasLocation W1326422591 @default.
• W132642259 hasOpenAccess W132642259 @default.
• W132642259 hasPrimaryLocation W1326422591 @default.
• W132642259 hasRelatedWork W1578430302 @default.
• W132642259 hasRelatedWork W2023125132 @default.
• W132642259 hasRelatedWork W2990518766 @default.
• W132642259 isParatext "false" @default.
• W132642259 isRetracted "false" @default.
• W132642259 magId "132642259" @default.
• W132642259 workType "book-chapter" @default.