Representing and Reformulating Diagonalization Methods

Abstract

Finding an appropriate representation of planning operators is crucial for theorem provers that work with proof planning. We show a new representation of operators and demonstrate how diagonalization can be represented by operators. We explain how a diagonalization operator used in one proof-plan can be analogically transferred to an operator used in another proof- plan. Finally, we find an operator that is common to all the proof-plans and thus might be considered as the Diagonal Method.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1994
Accession Number
ADA283916

Entities

People

  • Erica Melis

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Arithmetic
  • Automata
  • Comprehension
  • Computer Science
  • Consistency
  • Construction
  • Databases
  • Language
  • Machines
  • Numbers
  • Real Numbers
  • Sequences
  • Splitting
  • Universities

Fields of Study

  • Mathematics

Readers

  • Artificial Intelligence
  • Linear Algebra