返回Google圖書搜尋

An Overview of Nonmonotonic Reasoning and Logic Programming

University of Maryland at College Park. Department of Computer ScienceJack Minker

出版	University of Maryland, 1991
URL	http://books.google.com.hk/books?id=u-N_HAAACAAJ&hl=&source=gbs_api

註釋Abstract: "The focus of the paper is the subject matter of nonmonotonic reasoning as it relates to logic programming. I discuss the pre-history of nonmonotonic reasoning starting from approximately 1958. I then review the research that has been accomplished in the areas of circumscription, default theory, model theories and logic programming. The overview includes the major results developed including complexity results that are known about the various theories. I then provide a summary which includes an assessment of the field and what must be done to further nonmonotonic research, particularly practical implementations of the theories."