ML Anthology

Network Truth Maintenance for Deduction and Modelling

Alan M. Thompson
IJCAI 1979 pp. 877-879
/ijcai/1979/thompson1979ijcai-network/

Abstract

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 in addition to normal truth values.

Semantic Scholar

Cite

Text

Thompson. "Network Truth Maintenance for Deduction and Modelling." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Thompson. "Network Truth Maintenance for Deduction and Modelling." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/thompson1979ijcai-network/)

BibTeX

@inproceedings{thompson1979ijcai-network,
  title     = {{Network Truth Maintenance for Deduction and Modelling}},
  author    = {Thompson, Alan M.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {877-879},
  url       = {https://mlanthology.org/ijcai/1979/thompson1979ijcai-network/}
}