Metabuscador

Filtrado por:

Temas

No aplica (373)
Revistas (277)
Artes y Humanidades (117)
Facultad de Humanidades y Educación (99)
Más...

Idiomas

Inglés (1537)
Español (1003)
en (230)
Francés (189)
Portugués (132)
Más...

Recursos

Universidad de los Andes Venezuela (292)
MIT (282)
RUA Docencia (246)
Unversidad Nacional de La Plata (243)
Université de Montreal (217)

Más...

Año

2014 (31)
2012 (337)
2011 (147)
2010 (178)
2008 (114)
2007 (54)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Computer System for Visual Recognition Using Active Knowledge
Freuder, Eugene C.

Formato:
Enlaces:	A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Consensus Knowledge Acquisition
Trice, Andrew - Davis, Randall

Formato:
Enlaces:	We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

The Structure of Mathematical Knowledge
Michener, Edwina Rissland

Formato:
Enlaces:	This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

The Role of Knowledge in Visual Shape Representation
Saund, Eric

Formato:
Enlaces:	This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Qualitative Knowledge, Casual Reasoning and the Localization of Failures
Brown, Allen

Formato:
Enlaces:	This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. WATSONs task is to isolate failures in radio receivers whose…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Using Analogy to Acquire Commonsense Knowledge from Human Contributors
Chklovski, Timothy

Formato:
Enlaces:	The goal of the work reported here is to capture the commonsense knowledge of non-expert human contributors. Achieving this goal will enable more intelligent human-computer interfaces and pave the way for computers to reason about our world. In the domain…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Qualitative and Quantitative Knowledge in Classical Mechanics
Kleer, Johan De

Formato:
Enlaces:	This thesis investigates what knowledge is necessary to solve mechanics problems. A program NEWTON is described which understands and solves problems in mechanics mini-world of objects moving on surfaces. Facts and equations such as those given in mechanics text need…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Knowledge Base Integration: What Can We Learn from Database Integration Research?
Lee, Jintae

Formato:
Enlaces:	This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Learning Commonsense Categorical Knowledge in a Thread Memory System
Stamatoiu, Oana L.

Formato:
Enlaces:	If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

10.

Reasoning from Incomplete Knowledge in a Procedural Deduction System
Moore, Robert Carter

Formato:
Enlaces:	One very useful idea in AI research has been the notion of an explicit model of a problem situation. Procedural deduction languages, such as PLANNER, have been valuable tools for building these models. But PLANNER and its relatives are very…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

11.

Roles of Knowledge in Motor Learning
Atkeson, Christopher Granger

Formato:
Enlaces:	The goal of this thesis is to apply the computational approach to motor learning, i.e., describe the constraints that enable performance improvement with experience and also the constraints that must be satisfied by a motor learning system, describe what is…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

12.

Representing Knowledge of Large-Scale Space
Kuipers, Benjamin J.

Formato:
Enlaces:	This dissertation presents a model of the knowledge a person has about the spatial structure of a large-scale environment: the "cognitive map". The functions of the cognitive map are to assimilate new information about the environment, to represent the current…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

13.

Introduction to the Calculus of Knowledge
Raphael, Bertram

Formato:
Enlaces:	This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

14.

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

15.

A Study of Qualitative and Geometric Knowledge in Reasoning about Motion
Forbus, Kenneth D.

Formato:
Enlaces:	Reasoning about motion is an important part of our commonsense knowledge, involving fluent spatial reasoning. This work studies the qualitative and geometric knowledge required to reason in a world that consists of balls moving through space constrained by collisions with…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

16.

Artificial Intelligence, Language and the Study of Knowledge
Goldstein, Ira - Papert, Seymour

Formato:
Enlaces:	This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence is based on the ability to use large amounts…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

17.

Capturing Intuitive Knowledge in Procedural Description
Bamberger, Jeanne

Formato:
Enlaces:	Trying to capture intuitive knowledge is a little like trying to capture the moment between what just happened and what is about to happen. Or to quote a famous philosopher, "You can't put your foot in the same river once."…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

18.

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

19.

Generating Circuit Tests by Exploiting Designed Behavior
Shirley, Mark Harper

Formato:
Enlaces:	This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

20.

Toward A Model Of Children's Story Comprehension
Charniak, Eugene

Formato:
Enlaces:	How does a person answer questions about children's stories? For example, consider 'Janet wanted Jack's paints. She looked at the picture he was painting and said 'Those paints make your picture look funny.' The question to ask is 'Why did…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

21.

A Computational Model of Skill Acquisition
Sussman, Gerald J.

Formato:
Enlaces:	This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a computational performance model, HACKER, is displayed. Hacker is a computer…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

22.

BUILD: A Tool for Maintaining Consistency in Modular Systems
Robbins, Richard Elliot

Formato:
Enlaces:	Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a procedural description of a task to…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

23.

ONTIC: A Knowledge Representation System for Mathematics
McAllester, David Allen

Formato:
Enlaces:	Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

24.

Computational Structure of Human Language
Ristad, Eric Sven

Formato:
Enlaces:	The central thesis of this report is that human language is NP-complete. That is, the process of comprehending and producing utterances is bounded above by the class NP, and below by NP-hardness. This constructive complexity thesis has two empirical consequences.…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

25.

A System for Representing and Using Real-World Knowledge
Fahlman, Scott E.

Formato:
Enlaces:	This report describes a knowledge-base system in which the information is stored in a network of small parallel processing elements ??de and link units ??ich are controlled by an external serial computer. This network is similar to the semantic network…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

26.

A Comparative Analysis of Reinforcement Learning Methods
Mataric, Maja

Formato:
Enlaces:	This paper analyzes the suitability of reinforcement learning (RL) for both programming and adapting situated agents. We discuss two RL algorithms: Q-learning and the Bucket Brigade. We introduce a special case of the Bucket Brigade, and analyze and compare its…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

27.

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

28.

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

29.

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

30.

Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation
Bullwinkle, Candace

Formato:
Enlaces:	This paper presents a discussion of means of describing the discourse and its components which makes speech act interpretation and reference disambiguation possible with minimal search of the knowledge in the database. A portion of this paper will consider how…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

31.

The Conniver Reference Manual
McDermott, Drew V. - Sussman, Gerald Jay

Formato:
Enlaces:	This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, in…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

32.

Thesis Progress Report: A System for Representing and Using Real-World Knowledg
Fahlman, Scott E.

Formato:
Enlaces:	This paper describes progress to date in the development of a system for representing various forms of real-world knowledge. The knowledge is stored in the form of a net of simple parallel processing elements, which allow certain types of deduction…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

33.

Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities
Carr, Brian

Formato:
Enlaces:	Wusor II is the second program that has been developed to tutor students in the game of Wumpus. From the earlier efforts with Wusor I it was possible to produce a rule-based expert which processed a relatively complete mastery of…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

34.

New Progress in Artificial Intelligence
Winston, Patrick H.

Formato:
Enlaces:	This report concentrates on progress during the last two years at the M.I.T. Artificial Intelligence Laboratory. Topics covered include the representation of knowledge, understanding English, learning and debugging, understanding vision and productivity technology. It is stressed that these various areas…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

35.

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

36.

Creation of Computer Animation from Story Descriptions
Kahn, Kenneth Michael

Formato:
Enlaces:	This report describes a computer system that creates simple computer animation in response to high-level, vague, and incomplete descriptions of films. It makes its films by collecting and evaluating suggestions from several different bodies of knowledge. The order in which…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

37.

Hypothesis Formation and Evaluation in Medical Diagnosis
Rubin, Ann D.

Formato:
Enlaces:	This thesis describes some aspects of a computer system for doing medical diagnosis in the specialized field of kidney disease. Because such a system faces the spectre of combinatorial explosion, this discussion concentrates on heuristics which control the number of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

38.

The Use of Equality in Deduction and Knowledge Representation
McAllester, David Allen

Formato:
Enlaces:	This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

39.

A Lexical Conceptual Approach to Generation for Machine Translation
Dorr, Bonnie J.

Formato:
Enlaces:	Current approaches to generation for machine translation make use of direct-replacement templates, large grammars, and knowledge-based inferencing techniques. Not only are rules language-specific, but they are too simplistic to handle sentences that exhibit more complex phenomena. Furthermore, these systems are…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

40.

Topics in Model Theory
Levin, Michael

Formato:
Enlaces:	The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed speculatively. This paper represents an incomplete study…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

41.

Planner Implementation Proposal to ARPA 1972-1973
Hewitt, Carl

Formato:
Enlaces:	The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into the formalism. Several domains will…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

42.

Summary of MYCROFT: A System for Understanding Simple Picture Programs
Goldstein, Ira P.

Formato:
Enlaces:	A collection of powerful ideas??cription, plans, linearity, insertions, global knowledge and imperative semantics?? explored which are fundamental to debugging skill. To make these concepts precise, a computer monitor called MYCROFT is described that can debug elementary programs for drawing pictures.…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

43.

Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture
Solomon, Cynthia J.

Formato:
Enlaces:	Computers open up new ways to think about knowledge and learning. Learning computer science should draw upon and feed these new approaches. In a previous paper called "Leading a Child to a Computer Culture" I discuss some ways to do…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

44.

Learning New Principles from Precedents and Exercises: The Details
Winston, Patrick H.

Formato:
Enlaces:	Much Learning is done by way of studying precedents and exercises. A teacher supplies a story, gives a problem, and expects a student both to solve a problem and to discover a principle. The student must find the correspondence between…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

45.

Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs
Brown, Richard

Formato:
Enlaces:	A fundamental problem in artificial intelligence is obtaining coherent behavior in rule-based problem solving systems. A good quantitative measure of coherence is time behavior; a system that never, in retrospect, applied a rule needlessly is certainly coherent; a system suffering…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

46.

Flexibility and Efficiency in a Computer Program for Designing Circuits
Mcdermott, Drew Vincent

Formato:
Enlaces:	This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit design. The proposed solution is to provide a deduction-driven problem…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

47.

The Use of Grouping in Visual Object Recognition.
Jacobs, David W.

Formato:
Enlaces:	The report describes a recognition system called GROPER, which performs grouping by using distance and relative orientation constraints that estimate the likelihood of different edges in an image coming from the same object. The thesis presents both a theoretical analysis…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

48.

Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P
Zhao, Feng

Formato:
Enlaces:	I present a novel design methodology for the synthesis of automatic controllers, together with a computational environment---the Control Engineer's Workbench---integrating a suite of programs that automatically analyze and design controllers for high-performance, global control of nonlinear systems. This work demonstrates…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

49.

Automated Reasoning About Classical Mechanics
Wong, Leon

Formato:
Enlaces:	In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

50.

An Electronic Market-Maker
Chan, Nicholas Tung - Shelton, Christian

Formato:
Enlaces:	This paper presents an adaptive learning model for market-making under the reinforcement learning framework. Reinforcement learning is a learning technique in which agents aim to maximize the long-term accumulated rewards. No knowledge of the market environment, such as the order…
Fecha:	2004-10-20
Recurso:	MIT