A Logic for Partial System Description

Brunet, Olivier

doi:10.1093/logcom/14.4.507

Cited by 3 publications

(5 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The role of intuitionistic Kripke models for knowledge representation based on partial descriptions has been highlighted in [11] and for the handling of inconsistencies in [23]. The general benefits of the Curry-Howard Isomorphism (proofs-as-computations) in DL have been argued in [8,13].…”

Section: Related Workmentioning

confidence: 99%

“…The work of [11] presents an intuitionistic epistemic logic based on several refinement relations coding multiple (partial) points of view. Here we only consider one dimension of refinement reflecting a two-player scenario (e.g., auditor and auditee) but in a more general sense than [11].…”

Section: Related Workmentioning

confidence: 99%

“…Here we only consider one dimension of refinement reflecting a two-player scenario (e.g., auditor and auditee) but in a more general sense than [11]. Our refinement ordering may have cycles and fallible descriptions.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Towards Constructive DL for Abstraction and Refinement

Mendler

Scheele

2009

J Autom Reasoning

View full text Add to dashboard Cite

This work explores some aspects of a new and natural semantical dimension that can be accommodated within the syntax of description logics which opens up when passing from the classical truth-value interpretation to a constructive interpretation. We argue that such a strengthened interpretation is essential to represent applications with partial information adequately and to achieve consistency under abstraction as well as robustness under refinement. We introduce a constructive version of ALC, called cALC, for which we give a sound and complete Hilbert axiomatisation and a Gentzen tableau calculus showing finite model property and decidability.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Towards Constructive DL for Abstraction and Refinement

Mendler

Scheele

2009

J Autom Reasoning

View full text Add to dashboard Cite

show abstract

“…Representation systems [Brunet, 2002, Brunet, 2004a, Brunet, 2004b are an algebraic structure whose purpose is to model partial knowledge about a system. They are based on two important related notions: points of view and partial information.…”

Section: Representation Systemsmentioning

confidence: 99%

“…A detailled presentation of these structures can be found in [Brunet, 2004a] and in [Brunet, 2004b].…”

Section: Representation Systemsmentioning

confidence: 99%

Representation Systems and Quantum Structures

Brunet

2005

Int J Theor Phys

View full text Add to dashboard Cite

Two important classes of quantum structures, namely orthomodular posets and orthomodular lattices, can be characterized in a classical context, using notions like partial information and points of view. Using the formalism of representation systems, we show that these quantum structures can be obtained by expressing conditions on the existence of particular points of view, of particular ways to observe a system.

show abstract

Representation Systems, Orthoposets and Quantum Logic

Brunet

2004

International Journal of Theoretical Physics

View full text Add to dashboard Cite

A Logic for Partial System Description

Cited by 3 publications

References 0 publications

Towards Constructive DL for Abstraction and Refinement

Towards Constructive DL for Abstraction and Refinement

Representation Systems and Quantum Structures

Representation Systems, Orthoposets and Quantum Logic

Contact Info

Product

Resources

About