%0 Book Section %1 Akman2002Context %A Akman, Varol %B La Svolta Contestuale %D 2002 %E Penco, Carlo %K context d22 l3s_context_workshop model survey %T Context in AI: A Fleeting Overview %U http://www.cs.bilkent.edu.tr/ãkman/book-chapters/mcgraw/mcgraw2002.doc %7 McGraw-Hill

@inbook{Akman2002Context, added-at = {2009-03-12T15:42:50.000+0100}, author = {Akman, Varol}, biburl = {https://www.bibsonomy.org/bibtex/20f2f4803c30f8dc414dd3b3a6333d433/lillejul}, booktitle = {La Svolta Contestuale}, citeulike-article-id = {1689016}, comment = {Gives an overview of the views of context from different disciplines == Natural language * context allows do disambiguate == Categorisation * context influences it == Information Retrieval * context defines relevance == Knowledge representation Also provides overview of grounding works about context usage == McCarthy: relativised truth within a context * ist(p,c) means proposition p is true in context c. * He also defines a partial order on contexts and introduced the notion of lifting (moving a proposition from one context to a more general one) == Guha: Micro-theories * Small theories with axioms, predicate and functions * They are true in one context * Lifting rules stated in an outer-context allow to 'transform' micro-theories == Buvac: Logical (mathematical) investigation * Model theory with soundness and completeness proofs * Also provides a proof system for this language}, edition = {McGraw-Hill}, editor = {Penco, Carlo}, interhash = {456b4a39969068878e9eb50d36525735}, intrahash = {0f2f4803c30f8dc414dd3b3a6333d433}, keywords = {context d22 l3s_context_workshop model survey}, posted-at = {2007-09-24 10:48:02}, priority = {0}, timestamp = {2009-04-22T10:29:52.000+0200}, title = {Context in AI: A Fleeting Overview}, url = {http://www.cs.bilkent.edu.tr/\~{}akman/book-chapters/mcgraw/mcgraw2002.doc}, year = 2002 }