回答集求解中的对称-破坏方法-北京大学哲学系.PDF

LOGO LOGO LLOOGGOO “ - ” “ - ” 回答集求解中的““对称--破坏””方法 2009 2009 北京大学哲学逻辑学硕士生 王淑庆 2011 2 22 2011 2 22 22月2222日 1 1 11 Anil Nerode,Richard A.Shore Anil Nerode,Richard A.Shore AAnniill NNeerrooddee,,RRiicchhaarrdd AA..SShhoorree Since the 1970s,the winds of change have been blowing new seeds into the logic garden from computer science,AI and linguistics. These winds have also uncovered a new topography with many prominences and depths,fertile soil for new logic subjects. �Logic for Applications. 2 2 22 本次报告的目的 Logic Program � Logic Program 介绍逻辑程序（LLooggiicc PPrrooggrraamm）的基本历史 70 70 逻辑程序出现于上个世纪7700年代初。 Prolog ASP Prolog ASP �介绍逻辑编程（PPrroolloogg，AASSPP）的基本思想 Prolog=Programming in logic Prolog=Programming in logic PPrroolloogg==PPrrooggrraammmmiinngg iinn llooggiicc