Network Truth Maintenance for Deduction and Modelling
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
Logical dependency based "Truth Maintenance" is applied to network representations of symoolic logic relations, resulting in reduced structural manipulation. Logical support is determined dynamically within existing structure by procedural specialists attached to the truth functional connectives which attempt to maintain consistency in the network. The use of context layers in addition to dependencies allows more accurate world-modelling than previous dependency-based modelling schemes. Focus of attention in deductive search and planning is accomplished by the propagation of control information through the network i n addition to normal truth values.
@inproceedings{ijcai1979p193,
title = {Network Truth Maintenance for Deduction and Modelling},
author = {Thompson, Alan M.},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/193},
}
TY - CPAPER TI - Network Truth Maintenance for Deduction and Modelling AU - Thompson, Alan M. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/193 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
