Metabuscador

Filtrado por:

Temas

Año

2012 (16)
2006 (1)
2005 (1)
2004 (2)
1999 (1)
Más...

Aproximadamente 19 registro(s) hasta el momento: (knowledge)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Construction of revisions by explanations
Falappa, Marcelo Alejandro - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how to modify our beliefs when we recieve new information. The main problem arises when the information is inconsistent with beliefs that represents our epistemic state.…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Revisions of orders in dynamic systems
Falappa, Marcelo Alejandro - Simari, Patricio D.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	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…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Intelligent alarms detection for the analysis of system fault impact on business
Pace, C. - Russo, I. - Fernández, V. - Britos, Paola Verónica - Rossi, Bibiana D. - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The tools for fault impact analysis are important for the deployment of critical mission systems. These tools can be also used as a development phase aid. We introduce several concepts related to "business alarms". Business alarms are an approximation to…
Fecha:	2012-11-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Actions and arguments: preliminaries and examples
Simari, Guillermo Ricardo - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

An argumentative formalism for implementing rational agents
Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The design of intelligent agents is a key issue for many applications. Although there is no universally accepted de nition of intelligence, a notion of rational agency has been proposed as an alternative for the characterization of intelligent agency. Modeling…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A sufficient condition for belief function construction from conditional belief functions
Klopotek, Mieczyslaw A. - Wierzchon, Slawomir T.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	It is commonly acknowledged that we need to accept and handle uncertainty when reasoning with real world data. The most profoundly studied measure of uncertainty is the probability. However, the general feeling is that probability cannot express all types of…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Overview of a framework to hypermedia process modeling
Olsina Santos, Luis Antonio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this work, we discuss aspects of a framework to support the understanding and the improvement in hypermedia development processes. The framework is built taking into account two modeling approaches and four domain levels. The modeling approaches are called prescriptive…
Fecha:	2012-11-13
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A parsimonious generation of combinatorial neural model
Prado, Hércules A. - Frigeri, Sandra - Engel, Paulo Martins

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper presents a new approach to reduce the space problem due to combinatorial explosion of CNM (Combinatorial Neural Model) method. First we show a description of CNM, proposed by Machado and Rocha [MAC 91], [MAC 92], [MAC 92a], [MAC…
Fecha:	2012-11-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Negation in logic programs: is it necessary two connectives?
Fillottrani, Pablo Rubén - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

Building precompiled knowledge in ODeLP
Capobianco, Marcela - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Argumentation systems have substantially evolved in the past few years, resulting in adequate tools to model some forms of common sense reasoning. This has sprung a new set of argument-based applications in diverse areas. In previous work, we defined how…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

Sources of parallelism in defeasible argumentation
García, Alejandro Javier - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

Disjunctive logic programming with negation as failure in the head
Cecchi, Laura - Fillottrani, Pablo Rubén - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

A taxonomy for argumentative frameworks based on labelled deduction
Chesñevar, Carlos Iván

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Artificial Intelligence has long dealt with the issue of finding a suitable formalization for reasoning with incomplete and potentially inconsistent information. Defeasible argumentation [SL92,CML00,PraVre99] has proven to be a successful approach in many respects, since it naturally resembles many aspects…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

Modeling argumentation with labeled deduction: formalization and theoretical considerations
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a °exible methodology…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

15.

Consequence operators for defeasible argumentation: characterization and logical properties
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

The agent routering process of a dynamic distributed decision support system
Stegmayer Machado, Georgina S. - Taverna, María Laura - Chiotti, Omar Juan Alfredo - Galli, María Rosa

Formato:	Articulo, Articulo
Enlaces:	When certain enterprise domain needs to make an unusual decision, it will probably require new kind of information. If the interaction model among domains cannot be defined because the decision scenarios are unpredictable, the system itself must search the required…
Fecha:	2004-03-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

Darwinism and the molecular revolution
Salzano, Francisco M

Formato:	Articulo, Articulo
Enlaces:	The main characteristics of Darwin's life and work will be examined, as well as the developments which occurred after his death, especially neodarwinism and the synthetic theory of organic change. In which ways the extraordinary progress made in the field…
Fecha:	2005-06-13
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

Pattern recognition in medical images using neural networks
Lanzarini, Laura Cristina - De Giusti, Armando Eduardo

Formato:	Articulo, Articulo
Enlaces:	The proposal of this research line is the search for alternatives to the resolution of complex problems where human knowledge should be apprehended in a general fashion. In particular, the activities developed so far can be included in the area…
Fecha:	2004-03-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Notions of relevance for modeling the dynamics of belief
Falappa, Marcelo Alejandro - Maguitman, Ana Gabriela

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed.
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata