Abstract
模擬是一個用以解題（Problem Solving ）之技術。在模擬技術之中，實際世界被抽象化成為模式（Model ）。透過特定之時間演進之演算法（Time Advancing Algori-thm ），收集並觀察模隨時間變化之性質（Property）。而另一種被廣泛應用及研究之解題工具，便是人工智慧技術（Artificial Intellig-ence Technique）。人工智慧之研究領域嘗試姞構化的方法來解決一般化（General-），非結構性（Ill-structured）之問題，並且發展出許多運用及處理知識（Knowl-edge）用以解題之技術。由於模擬所遭遇之問題性質人工智慧技術所欲處理之性質有相近之處：皆欲以適當之方式表達系統，並以適當之方法運作系統。因此倘若能在模擬與人工智慧之技術，可使此項工具具有人工智慧技術之優點而更強大且有效。本研究之基本觀念在將模擬與人工智慧之解題結合起來，發展出一個新的方法，並將之應用於模擬之中。本研究所提出之使用物體導向式知識性之模擬架構，是以物體導向觀念分析與表示模式之知識，再以分類首階述語邏輯描述之模式，而以解題技術來完作模擬過程。此一模擬架構之重點是在於將模式視為一理論體系，每一次實驗之終止條件之其假設，藉著證明， 特定定理之過程以做為模擬之過程。根據數理邏輯之性質，如此之模擬過程將會具有正確性及完備性。最後，本研究構建一模擬系統來驗証此一架構之可行性，並以一彈性製造系統做為範例。