Revisions of orders in dynamic systems

Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a part of it. In consequence, an agent that i...

Descripción completa

Detalles Bibliográficos
Autores principales: Falappa, Marcelo Alejandro, Simari, Patricio D.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Revisions of Orders
Theory of Computation
Dynamic Systems
Distributed Systems
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21645
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21645
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Revisions of Orders
Theory of Computation
Dynamic Systems
Distributed Systems
spellingShingle Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Revisions of Orders
Theory of Computation
Dynamic Systems
Distributed Systems
Falappa, Marcelo Alejandro
Simari, Patricio D.
Revisions of orders in dynamic systems
topic_facet Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Revisions of Orders
Theory of Computation
Dynamic Systems
Distributed Systems
description Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a part of it. In consequence, an agent that is a part of a reasoning system must have the following components: a knowledge base where its knowledge of the world is stored, a communication mechanism with the environment and other agents in it, and a means of modifying its knowledge of the environment. Knowledge may be represented by a logic language which is propositional, first order, modal or extentions of these. Each one of these alternatives has advantages as well as disadvantages. The higher the expressive power of a given language, the more computational problems there are regarding complexity and decidability. Communication mechanisms can be varied, depending on the environment being modeled. They can be multimedia mechanisms such as microphones, speakers, video cameras, infrared sensors, motion detectors and even wired or wireless systems where information is transmitted without any kind of preprocessing. They are irrelevant, however, for the purpose of our research because we are focused in the development of the knowledge system. Mechanisms for modifying knowledge may be modeled by what is known as Belief Change Theory. Belief Change Theory assumes that the underlying language is at least propositional. An agent's knowledge is represented as a set of sentences and new information as a single sentence. In turn, every change operator takes a set of sentences and a single sentence and produces a new set of sentences as a result.
format Objeto de conferencia
Objeto de conferencia
author Falappa, Marcelo Alejandro
Simari, Patricio D.
author_facet Falappa, Marcelo Alejandro
Simari, Patricio D.
author_sort Falappa, Marcelo Alejandro
title Revisions of orders in dynamic systems
title_short Revisions of orders in dynamic systems
title_full Revisions of orders in dynamic systems
title_fullStr Revisions of orders in dynamic systems
title_full_unstemmed Revisions of orders in dynamic systems
title_sort revisions of orders in dynamic systems
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/21645
work_keys_str_mv AT falappamarceloalejandro revisionsofordersindynamicsystems
AT simaripatriciod revisionsofordersindynamicsystems
bdutipo_str Repositorios
_version_ 1764820464772841476

Ejemplares similares