David Israel

The SRI MUC-5 JV-FASTUS In-formation Extraction System

Muc, 1993

Download

The Role(s) of Logic in Artificial Intelligence

Handbook of Logic in Artificial Intelligence and Logic Programming, Aug 5, 1993

Abstract: this paper has been made possible by a gift from the System Development Foundation and ... more

Critical issues in nonmonotonic reasoning

Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Dec 1, 1989

Joel Riedesel, Book review: Knowledge Representation and Defeasible Reasoning. Edited by Henry E.... more

Where monsters dwell

Download

Description of the fastus system used for muc-6

Muc, 1995

Notes on Inference: A Somewhat Skewed Survey

Data Base Workshops, 1985

Concepts and Stereotypes Georges Key

Concepts seem to be the very stuff of which cognitions are made. At any rate, cognitive states li... more

Some Remarks on the Semantics of Representation Languages

Data Base Workshops, 1982

Appears in Computational Intelligence, 4(4):349-355, 1988

ABSTRACT An architecture for a rational agent must allow for means-end reason- ing, for the weigh... more ABSTRACT An architecture for a rational agent must allow for means-end reason- ing, for the weighing of competing alternatives, and for interactions between these two forms of reasoning. Such an architecture must also address the problem of resource boundedness. We sketch a solution of the first problem that points the way to a solution of the second. In particular, we present a high-level specification of the practical-reasoning component of an archi- tecture for a resource-bounded rational agent. In this architecture, a major role of the agent&#39;s plans is to constrain the amount of further practical reasoning she must perform.

Principles of Template Design

Proceedings of the Workshop on Human Language Technology, Mar 8, 1994

The functionality of systems that extract information from texts can be specified quite simply: t... more The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the information to be extracted. Hence, the problem of template design is an instance of the problem of knowledge representation. In particular, it is the problem of representing essential facts about situations in a way that can mediate between texts that describe those situations and a vaxiety of applications that involve reasoning about them. The research on which we report here is directed at elucidating principles of template design and at compiling these, with examples, in a manual for template designers.

Download

Information and Architecture

Incremental and re exive information Elwood lies on a hospital bed, a thermometer|we'll call it t... more Incremental and re exive information Elwood lies on a hospital bed, a thermometer|we'll call it t|in his mouth. Bad news about Elwood: (1) The fact that the mercury in t is above 98.6 carries the information that Elwood has a fever. The fact referred to we call the signal or indicating fact. The thermometer is the carrier, the property of containing mercury that has risen past 98.6 is the indicating property. The proposition that Elwood has a fever is the incremental informational content of the signal. The property of having a fever is the indicated property; Elwood is the subject matter. A signal has incremental content, given a connecting fact and relative to a constraint. 1 In this case, the connecting fact is that the thermometer is in Elwood's mouth, the connecting relation is that of one thing being in the mouth of another, and the constraint C 1 is: (C 1) Given that a thermometer is in a person's mouth, if the mercury goes above 98.6, that person has a fever.

Download

AI Knowledge Bases And Databases

Data Base Workshops, 1985

Language on trial

Computer Networks the International Journal of Computer and Telecommunications Networking, May 17, 1999

What is information?

Description of the FASTUS system used for MUC-4

Muc, 1992

A Question-Answering System for AP Chemistry

ABSTRACT KR&amp;R) has steadily advanced over the years, but it has been difficult to assess ... more ABSTRACT KR&amp;R) has steadily advanced over the years, but it has been difficult to assess the capability of fielded systems derived from this research. In this paper, we present a knowledge-based question-answering system that we developed as part of a broader effort by Vulcan Inc. to assess KR&amp;R technologies, and the result of its assessment. The challenge problem presented significant new challenges for knowledge representation, compared with earlier such assessments, due to the wide variability of question types that the system was expected to answer.

AI Knowledge Bases And Databases

Review: William J. Rapaport, Logical Foundations for Belief Representation

Journal of Symbolic Logic

The Very Idea of Dynamic Semantics: An Overview from the Underground

Machine for DRT? In our discussion of correctness and full abstractness, we noted that one must s... more Machine for DRT? In our discussion of correctness and full abstractness, we noted that one must specify some notion of behavior and of behavioral equivalence and that one could do this in many different ways and at many different levels of abstraction. In the case mentioned above, of partial correctness behavior, we are interested only in the input-output behavior of programs, with respect only to highly abstract properties of undecomposed states. To get a feel for what might be involved in a more ful-bodied conception of behavior, let us turn briefly to a consideration of Kamp's conception, which, though certainly not straightforwardly computational, is `mentalistic' and oriented toward issues of cognitive processes. One can think of the discourse representation construction algorithm as specifying the reader or parser for an interpreter for an abstract machine whose input is a stream of sentences and whose output (when it is initialized with a starting DRS) is a stream of ...

Download

Interpretation of Discourse and Proof Theory: Questions and Directions

... Still, as I noted above, there has been a troubling asymmetry in the work on game semantics, ... more

Uploads

Papers by David Israel

Log In