SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning

10/14/99

Click here to start

Table of Contents

SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning

Presentation Approach

Twenty Questions

Twenty Questions in FOPL?

Twenty Questions in SNePSLOG

Twenty Questions in SNePSLOG II

Equivalent Statements

Equivalent Statements in FOPL?

thresh Abbreviation

Equivalent Statementsin SNePSLOG 1

Equivalent Statementsin SNePSLOG 2

Putative Inclusive or

Hilda and Kathy in SNePSLOG

Disappointed Voter Problem

Hillary and Elizabeth Vote

FOPL Disappointment

Unique Variable Binding Rule (UVBR)

Sisters in FOPL

Reduction Inference

Sisters in SNePSLOG

Inadequacy of FOPL 1

SNePSLOG Transitivity Rule

Inadequacy of FOPL 2

Quantifying Over Propositions

Opaque Contexts

Intensional Representation

Uniqueness Principle

McCarthy’s Telephone Number Problem

Correct Answer to Telephone Number Problem

Reasoning by Elimination

Numerical Quantifiers

Numerical QuantifierRule of Inference 1

Numerical QuantifierRule of Inference 2

Numerical Quantifier Forms

Reasoning by Eliminationin SNePSLOG 1

Reasoning by Eliminationin SNePSLOG 2

Committee Problem Answer

Pegasus in the Real and Mythological Worlds

Bellerophon in the Real and Mythological Worlds

Initialize Mythology

Riding in the Real World

Riding in Mythology

Relevance Logic:A Paraconsistent Logic

Opus Flies and Doesn’t

Opus is Feathered and Swims, but the Earth isn’t Flat

The Inconsistent Belief Space

Information Provided by Real People

Circular Definitions

Using a Circular Definition

Recursive Rules

Using a Recursive Rule

In the Other Direction

Basic SNePS Principles

Specialized Syntax

Specialized Inference Rules

Specialized Semantics

Specialized Inference Mechanism

For More Information

Author: Dr. Stuart Shapiro

Email: shapiro@cse.buffalo.edu

Home Page: http://www.cse.buffalo.edu/~shapiro