Making contextual intensional logic nonmonotonic

Authors:
Richmond H. Thomason
Affiliations:
Philosophy Department, University of Michigan, Ann Arbor, MI
Venue:
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Year:
2005

Citing 8
Cited 0

Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence
Circumscription

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning about knowledge

Reasoning about knowledge
Modeling the beliefs of other agents

Logic-based artificial intelligence
Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Circumscription in a modal logic

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Notes on formalizing context

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Dynamic contextual intensional logic: logical foundations and an application

CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper motivates and presents a nonmonotonic version of Contextual Intensional Logic, a type-theoretic logic intended as a general formalism for reasoning about context. In developing this logic, it is necessary to think through interactions between nonmonotonic and intensional logic that are interesting in their own right. The paper concludes with an extended example how nonmonotonic lifting rules can be deployed in inter-contextual reasoning.