返回Google圖書搜尋

Contexts

其他書名	A Formalization and Some Applications
出版	Stanford University, 1991
URL	http://books.google.com.hk/books?id=gccgAQAAIAAJ&hl=&source=gbs_api

註釋Abstract: "Traditionally, logical formulas (and other structures) used in representation are supposed to be objective, decontextualized truths. In reality, however, they have many contextual aspects. Representations often assume a context of use, the assumptions they make depend on the context in which they were created, etc. The notion of 'context' appears in many guises across a wide spectrum of problems in AI. These contextual subtleties are usually ignored or explicitly put aside to keep matters simple. This thesis attempts to remedy this situation by formalizing and developing several applications for contexts. We incorporate contexts as rich objects in a first-order framework, extending the logic (semantics and proof theory) as required