---
title: "Taxonomic Reasoning"
authors:
  - "Josh D. Tenenberg"
doi: ""
url: "https://ijcai.org/proceedings/1985/35"
pdf: "https://ijcai.org/proceedings/1985/0035.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "191-192"
track: "Automated Reasoning"
keywords:
---

# Taxonomic Reasoning

Josh D. Tenenberg

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 191-192.

## Abstract

In formalizing knowledge for common sense reasoning, one often needs to partition some domain. An instance of this from the Blocks World is the statement "All blocks are either held, on the table, or on another block." Although we can write this axiom in predicate calculus or in clause form for input to a theorem prover, such representations are highly space inefficient. In this paper we present a generalized clause form that allows for the compact representation of arbitrary partitions, along with a set of corresponding inference rules. Additionally, a theorem prover imp lem enting these rules is described that demonstrates their utility with certain kinds of common sense rule bases.