Metabuscador

Filtrado por:

Temas

Idiomas

Inglés (204)
Más...

Año

2005 (15)
2004 (186)
2003 (19)
2002 (9)
1997 (3)
1995 (3)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Using English For Indexing and Retrieving
Katz, Boris

Formato:
Enlaces:	This paper describes a natural language system START. The system analyzes English text and automatically transforms it into an appropriate representation, the knowledge base, which incorporates the information found in the text. The user gains access to information stored in…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Taxonomic Syntax for First-Order Inference
McAllester, David - Givan, Robert

Formato:
Enlaces:	Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Procedures as a Representation for Data in a Computer Program for Understanding Natural Language
Winograd, Terry

Formato:
Enlaces:	This paper describes a system for the computer understanding of English. The system answers questions, executes commands, and accepts information in normal English dialog. It uses semantic information and context to understand discourse and to disambiguate sentences. It combines a…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Intelligence in Scientific Computing
Abelson, Harold - Eisenberg, Michael - Halfact, Mathew - Katzenelson, Jacob - Sacks, Elisha - Sussman, Gerald Jay - Wisdom, Jack - Yip, Ken

Formato:
Enlaces:	Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for scientists and engineers. These tools autonomously prepare simulation experiments from high-level specifications of…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

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

Intelligence by Design: Principles of Modularity and Coordination for Engineerin
Bryson, Joanna J.

Formato:
Enlaces:	All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the…
Fecha:	2004-10-20
Recurso:	MIT

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

MindShare : knowledge sharing via personalized views on a composite ontology, Knowledge sharing via personalized views on a composite ontology
Van Dyke, Neil William, 1971-

Formato:	Thesis
Enlaces:	by Neil William Van Dyke., Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2000., "February 2000.", Includes bibliographical references (p. 87-91).
Fecha:	2005-08-22
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

10.

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

11.

D-SCRIPT: A Computational Theory of Descriptions
Moore, Robert C.

Formato:
Enlaces:	This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

12.

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

13.

Explicit Control of Reasoning
Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay

Formato:
Enlaces:	The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some knowledge…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

14.

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

15.

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

16.

Toward a Stakeholder Theory of the Firm: The Case of the Saturn Partnership
Kochan, Thomas - Rubinstein, Saul

Formato:
Enlaces:	This paper seeks to engage the organization theory community in contemporary debates over the role of the corporation in American society by building a stakeholder theory of the firm. We develop a set of normative premises and positivist propositions derived…
Fecha:	2002-07-11
Recurso:	MIT

Recurso libre

17.

A Computational Model for the Acquisition and Use of Phonological Knowledge
Yip, Kenneth - Sussman, Gerald Jay

Formato:
Enlaces:	Does knowledge of language consist of symbolic rules? How do children learn and use their linguistic knowledge? To elucidate these questions, we present a computational model that acquires phonological knowledge from a corpus of common English nouns and verbs. In…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

18.

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

19.

Heuristic communications support systems for knowledge management
Sekioka, Yasuyuki

Formato:	Thesis
Enlaces:	by Yasuyuki Sekioka., Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1997., Includes bibliographical references (leaves 128-134).
Fecha:	2005-08-18
Recurso:	MIT

Recurso libre

20.

Spatial Knowledge
Kuipers, Benjamin

Formato:
Enlaces:	This paper introduces a model of spatial cognition to describe the states of partial knowledge that people have about the spatial structure of a large-scale environment. Spatial knowledge has several different representations, each of which captures one aspect of the…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

21.

Meta-Rules: Reasoning About Control
Davis - Randall

Formato:
Enlaces:	How can we insure that knowledge embedded in a program is applied effectively? Traditionally the answer to this question has been sought in different problem solving paradigms and in different approaches to encoding and indexing knowledge. Each of these is…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

22.

Improving Data Quality Through Effective Use of Data Semantics
Madnick, Stuart E.

Formato:	Article
Enlaces:	Data quality issues have taken on increasing importance in recent years. In our research, we have discovered that many “data quality” problems are actually “data misinterpretation” problems – that is, problems with data semantics. In this paper, we first illustrate…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

23.

Jokes and the Logic of the Cognitive Unconscious
Minsky, Marvin

Formato:
Enlaces:	Freud's theory of jokes explains how they overcome the mental "censors" that make it hard for us to think "forbidden" thoughts. But his theory did not work so well for humorous nonsense as for other comical subjects. In this essay…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

24.

The Progressive Construction of Mind
Lawler, Robert W.

Formato:
Enlaces:	We propose a vision of the structure of knowledge and processes of learning based upon the particularity of experience. Highly specific cognitive structures are constructed through activities in limited domains of experience. For new domains, new cognitive structures develop from…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

25.

On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor
diSessa, Andrea A.

Formato:
Enlaces:	The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns including procedural modes of knowledge representation and control knowledge ??owing…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

26.

Frame-based Text Processing
Rosenberg, Steven T.

Formato:
Enlaces:	This paper presents an overview of a theory of discourse structure, and discusses a model for assimilating text into a frame-based data structure. The model has been applied to the analysis of news articles. The theory assumes sentences contain links…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

27.

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

28.

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

29.

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

30.

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

31.

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

32.

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

33.

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

34.

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

35.

Spectroscopic investigations of the X and A state dynamics of ¹³C₂H₂
Silva, Michelle Lee, 1974-

Formato:	Thesis
Enlaces:	The objective of the experiments described in this thesis is to perform a detailed spectroscopic study of the dynamics on the A and X state surfaces of 13C2H2 in order to further understand the acetylene - vinylidene isomerization process in…
Fecha:	2005-08-23
Recurso:	MIT

Recurso libre

36.

Chondrocyte metabolism and matrix nano-electromechanics : the response to cartilage tissue shear deformation
Jin, Moonsoo, 1971-

Formato:	Thesis
Enlaces:	Cartilage functions as a load bearing and friction reducing material in synovial joints and it is constantly exposed to in vivo loading which is coupled to electromechanical and physicochemical forces. The swelling pressure of cartilage originates from proteoglycans containing negatively…
Fecha:	2005-08-23
Recurso:	MIT

Recurso libre

37.

Mechanical and optical behavior of a novel optical fiber crack sensor and an interferometric strain sensor
Olson, Noah Gale, 1969-

Formato:	Thesis
Enlaces:	The proper interpretation of measurements from an optical fiber sensor requires a full understanding of its mechanical response to external action and the corresponding change in optical output. To quantify the mechanical behavior it is necessary to know the mechanical…
Fecha:	2005-10-14
Recurso:	MIT

Recurso libre

38.

A Hybrid Intelligent System for Stamping Process Planning in Progressive Die Design
Zhang, W.Y. - Tor, Shu Beng - Britton, G.A.

Formato:	Article
Enlaces:	This paper presents an intelligent, hybrid system for stamping process planning in progressive die design. The system combines the flexibility of blackboard architecture with case-based reasoning. The hybrid system has the advantage that it can use past knowledge and experience…
Fecha:	2003-12-14
Recurso:	MIT

Recurso libre

39.

Understanding Understanding Mathematics
Michener, Edwina Rissland

Formato:
Enlaces:	In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

40.

NUDGE, A Knowledge-Based Scheduling Program
Goldstein, Ira P. - Roberts, R. Bruce

Formato:
Enlaces:	Traditional scheduling algorithms (using the techniques of PERT charts, decision analysis or operations research) require well-defined quantitative, complete sets of constraints. They are insufficient for scheduling situations where the problem description is ill-defined, involving incomplete, possibly inconsistent and generally qualitative…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

41.

A Frame for Frames: Representing Knowledge for Recognition
Kuipers, Benjamin J.

Formato:
Enlaces:	This paper presents a version of frames suitable for representing knowledge for a class of reconition problems. An initial section gives an intuitive model of frames, and illustrates a number of desirable features of such a representation. A more technical…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

42.

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

43.

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

44.

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

45.

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

46.

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

47.

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

48.

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

49.

Automated Acquisition of Evolving Informal Descriptions
Reubenstein, Howard B.

Formato:
Enlaces:	The Listener is an automated system that unintrusively performs knowledge acquisition from informal input. The Listener develops a coherent internal representation of a description from an initial set of disorganized, imprecise, incomplete, ambiguous, and possibly inconsistent statements. The Listener can…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

50.

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