Исследования в области систем поддержки истинности начались с создания систем TMS [409] и RUP [1003], которые по существу представляли собой системы JTMS. Подход на основе систем ATMS был описан в ряде статей Йохана де Клеера [345-347]. В работе Building Problem Solvers [479] подробно объяснено, как могут применяться системы TMS в приложениях искусственного интеллекта. В [1117] показано, что использование эффективной системы TMS обеспечило возможность планирования операций космического корабля агентства NASA в реальном времени.

По очевидным причинам в данной главе подробно не рассматривается каждая область представления знаний. Ниже описаны три основные темы, которые в ней не представлены.

• Качественная физика. Это подобласть представления знаний, которая главным образом относится к формированию логической, нечисловой теории физических объектов и процессов. Этот термин был предложен Йоханом де Клеером [344], хотя вполне можно считать, что это направление исследований началось с создания Фалманом [450] программы Build— развитого планировщика для построения сложных башен из блоков. В процессе проектирования этой программы Фалман открыл, что основная часть усилий (по его оценке, 80%) уходит на моделирование физических свойств мира блоков в целях вычисления устойчивости различных субфрагментов структур блоков, а не на само планирование как таковое. Он сформулировал набросок гипотетического процесса, подобного проведению рассуждений в рамках наивной физики, для объяснения причин того, почему дети младшего возраста способны решать задачи, подобные рассматриваемым в программе Build, без обращения к быстродействующей арифметике с плавающей точкой, которая используется в физическом моделировании программой Build. Хейс [636] применил "истории" (четырехмерные фрагменты пространства-времени, аналогичные событиям Дэвидсона) для построения довольно сложной наивной физической теории жидкостей. Хейсу впервые удалось доказать в рамках искусственного интеллекта, что ванна с заткнутым сливом в конечном итоге переполнится, если вода из крана будет продолжать бежать, и что человек, упавший в озеро, весь вымокнет. В [349] и [478] описаны попытки создать нечто подобное общей теории физического мира на основе качественных абстракций физических уравнений. За последние годы качественная физика была разработана до такой степени, что с ее помощью стало возможным анализировать сложные физические системы, разнообразие которых весьма впечатляет [1340], [1631]. Качественные методы использовались для разработки новейших проектов часов, дворников для ветрового стекла и шестиногих шагающих машин [1470], [1472]. Хорошим введением в эту область является сборник статей Readings in Qualitative Reasoning about Physical Systems [ 1570].