【目標WFF】
英語翻譯：goalwff（well-formedformula）
【辭書名稱】資訊與通信術語辭典
在人工智慧系統中，常用述詞演算來求問題之解答。
亦即將目標陳述用合適的公式表達，然後再將此合適公式變換為子句集。