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

Abstract

Presentation Approach

Outline

Twenty Questions

Twenty Questions in FOPL?

andor

Twenty Questions in SNePSLOG

Twenty Questions in SNePSLOG II

Equivalent Statements

Equivalent Statements in FOPL?

thresh

thresh Abbreviation

Equivalent Statements in SNePSLOG 1

Equivalent Statements in SNePSLOG 2

Putative Inclusive or

or-entailment

Hilda and Kathy in SNePSLOG

Outline

Disappointed Voter Problem

Hillary and Elizabeth Vote

FOPL Disappointment

Unique Variable Binding Rule (UVBR)

Outline

Sisters

Sisters in FOPL

Reduction Inference

Sisters in SNePSLOG

Outline

Inadequacy of FOPL 1

Term Logic

SNePSLOG Transitivity Rule

Inadequacy of FOPL 2

Quantifying Over Propositions

Outline

Opaque Contexts

Intensional Representation

Uniqueness Principle

McCarthy’s Telephone Number Problem

Correct Answer to Telephone Number Problem

Outline

Reasoning by Elimination

Numerical Quantifiers

Numerical Quantifier Rule of Inference 1

Numerical Quantifier Rule of Inference 2

Numerical Quantifier Forms

Reasoning by Elimination in SNePSLOG 1

Reasoning by Elimination in SNePSLOG 2

Committee Problem Answer

Outline

Contexts

Pegasus in the Real and Mythological Worlds

Bellerophon in the Real and Mythological Worlds

Initialize Mythology

Riding in the Real World

Riding in Mythology

Outline

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

Outline

Information Provided by Real People

Circular Definitions

Using a Circular Definition

Recursive Rules

Using a Recursive Rule

In the Other Direction

Summary

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