Finding Hypothetical Answers with a Resolution Theorem Prover

Table of Contents

Finding Hypothetical Answers with a Resolution Theorem Prover

Specific (Extensional) Answers

Generic (Intensional) Answers

Hypothetical Answers

Background: Specific Answers

Background: Generic Answers

Are Specifics and Generics the Whole Story?

Original ANSWER not informative enough

A more informative ANSWER

Answers: more precisely

Classifying answer clauses - 1

Classifying answer clauses - 2

Classifying answer clauses - 3

Discussion: Specific Answers

Discussion: Generic Answers

Discussion: Generic Answers

Discussion: Generic Answers

Discussion: Hypothetical Answers

Discussion: Hypothetical Answers

A Better Characterization of Answers

A Better Characterization of Answers

A Better Characterization of Answers

Control Strategies

Criteria for prioritizing answers

Using priorities

Incorporating priorities into search strategies

Discharging Hypotheticals

Summary

Future Work

Author: Debra T. Burhans and Stuart C. Shapiro