Metabuscador

Filtrado por:

Temas

Recursos

Unversidad Nacional de La Plata (11)
MIT (9)

Más...

Año

2012 (11)
2008 (1)
2007 (1)
2006 (1)
2004 (10)
2002 (1)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Defeasible reasoning in dynamic domains
Capobianco, Marcela - Simari, Guillermo Ricardo

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

Recurso libre

Negation-as-failure considered harmful
Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also…
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Representing generalization relationships in logic programming
Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

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

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

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

Towards a comparison criteria for CDeLP
Cobo, María Laura - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Test Generation Guided Design for Testability
Wu, Peng

Formato:
Enlaces:	This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

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

10.

Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems
Zhao, Feng

Formato:
Enlaces:	We develop a novel autonomous control synthesis strategy called Phase Space Navigator for the automatic synthesis of nonlinear control systems. The Phase Space Navigator generates global control laws by synthesizing flow shapes of dynamical systems and planning and navigating system…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

11.

Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces
Zhao, Feng

Formato:
Enlaces:	We develop a qualitative method for understanding and representing phase space structures of complex systems and demonstrate the method with a program, MAPS --- Modeler and Analyzer for Phase Spaces, using deep domain knowledge of dynamical system theory. Given a…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

12.

The Programmer's Apprentice Project: A Research Overview
Rich, Charles - Waters, Richard C.

Formato:
Enlaces:	The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

13.

Toward a Theory of Representation Design
Baalen, Jeffrey Van

Formato:
Enlaces:	This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

14.

ARLO: Another Representation Language Offer
Haase, Kenneth W., Jr.

Formato:
Enlaces:	This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, including itself. A given representation language is specified in ARLO by a collection of structures…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

15.

TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
Haase, Kenneth W., Jr.

Formato:
Enlaces:	TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

16.

Causal Reconstruction
Borchardt, Gary C.

Formato:
Enlaces:	Causal reconstruction is the task of reading a written causal description of a physical behavior, forming an internal model of the described activity, and demonstrating comprehension through question answering. T his task is difficult because written d escriptions often do…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

17.

Analyzing the defeat relation in observation-based defeasible logic programming
Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In the last decade several ways to formalize defeasible reasoning have been studied. A particular approach, defeasible argumentation, has been particularly successful to achieve this goal. The inference process of argument-based systems is based on the interaction of ar- guments…
Fecha:	2012-10-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

Conclusions from the Commodity Expert Project
Stansfield, James L.

Formato:
Enlaces:	The goal of the commodity expert project was to develop a prototype program that would act as an intelligent assistant to a commodity market analyst. Since expert analysis must deal with very large, yet incomplete, data bases of unreliable facts…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

19.

Handling inconsistency on ontologies through a generalized dynamic argumentation framework
Moguillansky, Martín O. - Rotstein, Nicolás D. - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this article we present a generalized dynamic argumentation framework that handles arguments expressed in an abstract language assumed to be some first order logic fragment. Once the formalism is presented, we propose a reification to the description logic ALC…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

20.

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