Publications Search

54 results

A Cognitivist Reply To Behaviorism
Robert C. Moore

The objections to mentalistic psychology raised by Skinner in "Behaviorism at Fifty" [Skinner, 1984] are reviewed, and it is argued that a "cognitivist" perspective offers a way of constructing mentalistic theories that overcome these objections.

Mar, 1985 Journal Download PDF Details
A Deductive Approach To Program Synthesis
Zohar Manna, & Richard J. Waldinger

Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs.

Dec, 1978 Journal Download PDF Details
A Formal Theory Of Knowledge and Action
Robert C. Moore

Most work on planning and problem solving within the field of artificial intelligence assumes that the agent has complete knowledge of all relevant aspects of the problem domain and problem situation.

Feb, 1984 Journal Download PDF Details
A Lisp-Fortran-Macro Interface for The PDP-10 Computer
John H. Munson

An Interface has been devised for use on the PDP-10 computer that allows FORTRAN (or FORTRAN-compatible MACRO) subroutines and functions to be run under the LISP operating system.

Nov, 1969 Journal Download PDF Details
A Semantic-Head-Driven Generation Algorithm For Unification-Based Formalisms
Stuart M. Shieber, Gertjan Van Noord, Robert C. Moore, & Fernando C. N. Pereira

We present an algorithm for generating strings from logical form encodings that improves upon previous algorithm in that it places fewer restrictions on the class of grammars to which it is applicable.

May, 1989 Journal Download PDF Details
Applying Learning Curves to Modeling Future Coal and Gas Power Generation Technologies
Ripudaman Malhotra, John Chase, Chris Ordowich, Daniel Steele, Michiaki Harada, & Keiji Makino

To forecast competing technologies under various scenarios of electricity demand, fuel cost, and research investment, SRI International researchers and partners have created a Power Technology Futures Model (PTFM).

Jan, 2012 Journal Details
Topics: Carbon Capture + Separation Economic + Technical Analysis Energy + Sustainability Energy Efficiency Industry Competitiveness + Positioning
Automatic Deduction For Commonsense Reasoning: An Overview
Robert C. Moore

This article provides an overview of the issues involved in drawing conclusions by means of deductive inference from bodies of commonsense knowledge represented by logical formulas.

Apr, 1981 Journal Download PDF Details
Computational Models Of Beliefs and The Semantics Of Belief-Sentences
Robert C. Moore, & Gary G. Hendrix

This paper considers a number of problems in the semantics of belief sentences from the perspective of computational models of the psychology of belief.

Jun, 1979 Journal Download PDF Details
Deductive Synthesis Of The Unification Algorithm
Zohar Manna, & Richard J. Waldinger

The deductive approach is a formal program construction method in which the derivation of a program from a given specification is regarded as a theorem-proving task.

Jul, 1981 Journal Download PDF Details
Dialogic: A Core Natural-Language Processing System
Barbara J. Grosz, Norman Haas, Gary G. Hendrix, Jerry R. Hobbs, Paul Martin, Robert C. Moore, Jane J. Robinson, & Stanley J. Rosenschein

The DIALOGIC system translates English sentences into representations of their literal meaning in the context of an utterance.

Nov, 1982 Journal Download PDF Details