The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
Benchmark problems for formal nonmonotonic reasoning
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Logic and information
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Conditional logics for default reasoning and belief revision
Conditional logics for default reasoning and belief revision
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
State spaces, local logics, and non-monotonicity
Logic, language and computation, vol. 2
Fundamenta Informaticae
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
| Hi-index | 0.00 |
Since its inception, situation theory has been concerned with the situated nature of meaning and cognition, a theme which has also recently gained some prominence in Artificial Intelligence. Channel theory is a recently developed framework which builds on concepts introduced in situation theory, in an attempt to provide a general theory of information flow. In particular, the channel theoretic framework offers an account of fallible regularities, regularities which provide enough structure to an agent‘s environment to support efficient cognitive processing but which are limited in their reliability to specific circumstances. This paper describes how this framework can lead to a different perspective on defeasible reasoning: rather than being seen as reasoning with incomplete information, an agent makes use of a situated regularity, choosing to use the regularity that seems best suited (trading off reliability and simplicity) to the circumstances it happens to find itself in. We present a formal model for this task, based on the channel theoretic framework, and sketch how the model may be used as the basis for a methodology of defeasible situated reasoning, whereby agents reason with simple monotonic regularities but may revise their choice of regularity on learning more about their circumstances.