{"type":"ScholarlyArticle","title":"Network Truth Maintenance for Deduction and Modelling","authors":[{"name":"Alan M. Thompson","slug":"alan-m-thompson","given":"Alan M.","family":"Thompson","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1979/193","pdf":"https://ijcai.org/proceedings/1979/0193.pdf","markdown":"https://ijcai.org/proceedings/1979/193.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/193","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":193,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}