Results 1 
3 of
3
Modal Logics for Representing Incoherent Knowledge
 In Handbook of Defeasible Reasoning and Uncertainty Management
, 1995
"... In this paper we review ways of representing incoherent 'knowledge' in a consistent way, where the use of modal logic and Kripkestyle semantics is put central. Starting with a presentation of the basic modal framework, we discuss the basic modal systems K, KD (with an excursion to the rep ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
In this paper we review ways of representing incoherent 'knowledge' in a consistent way, where the use of modal logic and Kripkestyle semantics is put central. Starting with a presentation of the basic modal framework, we discuss the basic modal systems K, KD (with an excursion to the representation of conflicting norms in deontic logic) and Chellas' minimal modal logic D. Next we look at the epistemic logics KD45, S4 and S5, including the logical omniscience problem and several nonstandard modal logics to overcome this problem. After this we turn to the issue of reasoning by default, where a conflict of defaults (or default beliefs) may arise. We give an epistemic treatment of default reasoning, and treat the way conflicts of defaults can be solved viewed from the more general perspective of resolving conflicts in meta level reasoning. Furthermore, special attention is paid to specificity in default reasoning as a principle to solve these conflicts, for which we develop an extension of Halpern & Moses' theory of honest formulas. Finally, we discuss several numerical modal logics in their capacity of ways of representation of incoherent information.
Trends and Developments in Computational Geometry
 COMPUTER GRAPHICS FORUM
, 1995
"... This report discusses some trends and achievements in computational geometry during the past five years, with emphasis on problems related to computer graphics. Furthermore, a direction of research in computational geometry is discussed, which could help in bringing the fields of computational ge ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This report discusses some trends and achievements in computational geometry during the past five years, with emphasis on problems related to computer graphics. Furthermore, a direction of research in computational geometry is discussed, which could help in bringing the fields of computational geometry and computer graphics closer together.
Local Nondeterminism in Asynchronously Communicating Processes
, 1996
"... . In this paper we present a simple compositional Hoare logic for reasoning about the correctness of a certain class of distributed systems. We consider distributed systems composed of processes which interact asynchronously via unbounded FIFO buffers. The simplicity of the proof system is due to th ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. In this paper we present a simple compositional Hoare logic for reasoning about the correctness of a certain class of distributed systems. We consider distributed systems composed of processes which interact asynchronously via unbounded FIFO buffers. The simplicity of the proof system is due to the restriction to local nondeterminism in the description of the sequential processes of a system. To illustrate the usefulness of the proof system we use PVS (Prototype Verification System, see [ORS92]) to prove in a compositional manner the correctness of a heartbeat algorithm for computing the topology of a network. 1 Introduction In [dBvH94] we have shown that a certain class of distributed systems composed of processes which communicate asynchronously via (unbounded) FIFO buffers, can be proved correct using a simple compositional proof system based on Hoarelogic. The class of systems introduced in [dBvH94] is characterized by the restriction to deterministic control structures in the d...