登入選單

返回Google圖書搜尋

A New Approach to the Frame Problem in Procedure Specifications

Alexander Borgida

出版	Rutgers University, Department of Computer Science, Laboratory for Computer Science Research, 1992
URL	http://books.google.com.hk/books?id=eMG8HAAACAAJ&hl=&source=gbs_api

註釋

We adapt an idea from AI research -- the notion of explanation closure axioms -- to provide an approach in which one can state such conditions succinctly and modularly, with the added advantage of having the specifier be reminded of things that she may have omitted saying in procedure specifications. Our approach is based on standard First Order Logic, and therefore does not require the development of special-purpose theorem provers. Finally, we provide one example of a formal semantics, based on 'circumscription', which can be used to incorporate into the specification language itself the 'frame axioms' (so that they need not be stated explicitly).