A Glimpse of Truth Maintenance

Many procedurally-oriented problem solving systems can be viewed as performing a mixture of computation and deduction, with much of the computation serving to decide what deductions should be made. This results in bits and pieces of deductions being strewn throughout the program text and exec...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Doyle, Jon
Լեզու:en_US
Հրապարակվել է: 2004
Առցանց հասանելիություն:http://hdl.handle.net/1721.1/6287