Special Purpose, but Domain Independent, Inference Mechanisms

Alan Bundy; L. Byrd; C. Mellish

Special Purpose, but Domain Independent, Inference Mechanisms

Alan Bundy, L. Byrd, C. Mellish

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely on special properties of the domain, but on logical properties of predicates and rules, ~Ihich make them equally applicable to other domains. These logical properties include: transitivity, functionality and unarit.y. The union of the~e mechanisms handles nearly all the inference required in the Mecho project for solving mechanics problems stated in English.

Original language	English
Title of host publication	Proceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982
Volume	XXXI
Publication status	Published - 1987

Keywords / Materials (for Non-textual outputs)

Inference
Combinatorial explosion
Meta-level Reasoning
Problem Solving
Mechanics

Access to Document

Full textAccepted author manuscript, 3.57 MB

Cite this

@inproceedings{231e9a1940f84ab0b09aea3814e7845f,

title = "Special Purpose, but Domain Independent, Inference Mechanisms",

abstract = "vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely on special properties of the domain, but on logical properties of predicates and rules, ~Ihich make them equally applicable to other domains. These logical properties include: transitivity, functionality and unarit.y. The union of the~e mechanisms handles nearly all the inference required in the Mecho project for solving mechanics problems stated in English.",

keywords = "Inference, Combinatorial explosion, Meta-level Reasoning, Problem Solving, Mechanics",

author = "Alan Bundy and L. Byrd and C. Mellish",

year = "1987",

language = "English",

volume = "XXXI",

booktitle = "Proceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982",

}

TY - GEN

T1 - Special Purpose, but Domain Independent, Inference Mechanisms

AU - Bundy, Alan

AU - Byrd, L.

AU - Mellish, C.

PY - 1987

Y1 - 1987

N2 - vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely on special properties of the domain, but on logical properties of predicates and rules, ~Ihich make them equally applicable to other domains. These logical properties include: transitivity, functionality and unarit.y. The union of the~e mechanisms handles nearly all the inference required in the Mecho project for solving mechanics problems stated in English.

AB - vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely on special properties of the domain, but on logical properties of predicates and rules, ~Ihich make them equally applicable to other domains. These logical properties include: transitivity, functionality and unarit.y. The union of the~e mechanisms handles nearly all the inference required in the Mecho project for solving mechanics problems stated in English.

KW - Inference

KW - Combinatorial explosion

KW - Meta-level Reasoning

KW - Problem Solving

KW - Mechanics

M3 - Conference contribution

VL - XXXI

BT - Proceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982

ER -

Special Purpose, but Domain Independent, Inference Mechanisms

Abstract / Description of output

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this