FORMAL REPRESENTATION OF AN AGENT WHO PLANS AND ACTS
Haruyuki Fujii, Hiroshi Katsukura, Shoichi NAKAI · Journal of Architecture and Planning (Transactions of AIJ) · 1996
The objective ofeur research is to design and implement intelligent agents thaI support し hc design and research in architecture and civii engineering ． The agents are expec 【 ed to handle the large scale knowledge abouUhe 行elds by interac 廿ng wiIh each o 山er and also with 山 e user ． We propose a formalism for the wor ］ d concerning the 行elds and Ihe agenls based o 舳 c assump 【 ion that 血 e deep -structure of the world is formalized by higher - order logic from which the drawings and the ether forrn of representaliQn can be transfermed ． We show 呶 our agent solves a depth 一 而rst scarchlng problem ．