Metabuscador

Filtrado por:

Temas

Ciencias Informáticas (19)
argumentative systems (2)
defeasible reasoning (2)
knowledge representation (2)
Amblente de Desenvolvimento de Software (1)
Más...

Idiomas

Año

2012 (19)
2001 (1)
1998 (1)
1997 (1)
1996 (2)
1995 (6)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Prior knowledge in evolutionary fuzzy recurrent controllers design
Apolloni, Javier - Kavka, Carlos - Roggero, Patricia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. As it is well known, the use of prior knowledge can dramatically improve the performance and quality…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Reasoning module interface design considerations
Stankevicius, Alejandro G.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Embedding defeasible argumentation in the semantic web: an ontology-based approach
Gómez, Sergio Alejandro - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The SemanticWeb is a project intended to create a universal medium for information exchange by giving semantics to the content of documents on the Web by means of ontology definitions. Ontologies intended for knowledge representation in intelligent agents rely on…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Introducing multiple preference criteria in defeasible argumentation
Rotstein, Nicolás D. - Simari, Guillermo Ricardo - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this research line we are exploring the possibility of having multiple preference criteria to compare arguments in in Defeasible Argumentation. In this work we are assuming a goaloriented Argumentative System, to which an application or an agent may seek…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

How to solve it by knowledge mining
Sampaio, Pedro Rafael Falcone

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Frequently we become amazed with the increasing number of problems to be solved that fiourish while facing daily activities. Often, related to these problems we llave also an incredible amount oí data. Since we cannot allways afford time and resources…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A integração de conhecimento em um amblente de desenvolvimento de software
Falbo, Ricardo de Almeida - Travassos, Guilherme Horta

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	A medida que o processo de desenvolvimento de software toma-se mais complexo, passa a ser imprescindível que os Ambientes de Desenvolvimento de Software (ADSs) ofereçam suporte inteligente para a execução das atividades do processo. Entretanto, a maioria dos ADSs com…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Capturing reputation features in multiagent systems through emerging patterns
Grandinetti, Walter M. - Chesñevar, Carlos Iván

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Multiagent systems and online communities rely on rating systems to infer the reputation given to an individual within a particular context. The notion of reputation is essential for helping a given individual to trust in other individuals and for being…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Redefinition of basic modules of an intelligent tutoring system: the tutor module
Salgueiro, Fernando A. - Costa, Guido - Cataldi, Zulma - Lage, Fernando Javier - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	It has been noticed that during the initial semesters of Computing Engineering that the amount of human tutors is insufficient. The students/tutors ratio is very high and there is a great difference in the acquired knowledge and backgrounds. The idea…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

An interaction language for argumentation-based negotiation
Rueda, Sonia Vivian - Martínez, María Vanina

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Language is the medium used by heterogeneous and autonomous members of a community to communicate and to exchange knowledge. Social work allows members in a community to resolve problems that they could not face individually, but they must be able…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

Modelling argumentation lines in abstract frameworks
Martínez, Diego C. - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The area of Knowledge Representation and Reasoning has been enriched during the past two decades with the addition of Argument-Based Reasoning Systems. In formal systems of defeasible argumentation, arguments for and against a proposition are produced and evaluated to test…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

XPS/E- eXPert System/Environment: ambiente para desenvolvimento de sistemas especialistas para windows
Cazella, Silvio César - Filho, José Carlos Bins - Silva, Ovídio Eltz da

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artigo apresenta urn ambiente para o desenvolvimento e uso de Sistemas Especialistas que funciona no ambiente operacional Microsoft Windows e que portanto utiliza os recursos de interface convencionais deste ambiente operacional. O sistema foi desenvolvido comotrabalho de conclusao do…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

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

13.

On the use of contexts for representing knowledge in defeasible argumentation
Chesñevar, Carlos Iván

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The notion of context and its importance in knowledge representation and nonmonotonic reasoning was first discussed in Artificial Intelligence by John McCarthy. Ever since, contexts have found many applications in developing knowledge-based reasoning systems. Defeasible argumentation has gained wide acceptance…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

Distinguishing ground from nonground information in defeasible argumentation
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually prove useless. Morover, the performance of backward chainers degrades quickly…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

15.

Matrix proof method in annotated paraconsistent logic
Kaestner, Celso A. A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

Finite Presheaf categories as a nice setting for doing generic programming
Menni, Matías

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper. We explore the…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

SISPER – Sistema especialista para diagnóstico de disturbios de personalidade
Frozza, Rejane - Wanderley Moraes, Sílvia María

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	SISPER é o protótipo de um sistema especialista para Psicologia. É um sistema de cunho acadêmico que foi desenvolvido para diagnosticar Distúrbios de Personalidade. As pessoas com Distúrbios de Personalidade, na terminologia técnica, apresentam sintomas aloplásticos e ego-sintônicos, ou seja,…
Fecha:	2012-11-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

On the logic for utopia
Areces, Carlos Eduardo - Becher, Verónica

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals. They possess the singular properties of…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Una implementación de disputación basada en lógica default
Vaucheret, Claudio A. - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics: A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata