謂詞/變遷網

謂詞/變遷網(predicate/transition net)一類高級網.它的網結構(稱為基網)滿足如下附加要求:

1. 每個位置對應著一個可變謂詞，其中的托肯代表使謂詞成真的個體.個體各不相同，亦即任何兩個托肯都不相同.
   
2. .每個變遷對應著有固定外延的靜態謂詞.這種謂詞中出現的自由變數可用個體來替換，每個可行替換對應著該變遷的一次引發，
   
3. .其弧上可以出現自由變數，它們的值由相應變遷上的可行替換決定.
   
4. .其初始標識(狀態M,可使得任意n元謂詞 pEP,Mo(p)是n元符號和.