Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules.
M. I. GolovanovAnna V. KoshelevaVladimir V. RybakovPublished in: Log. J. IGPL (2005)
Keyphrases
- inference rules
- probabilistic knowledge
- modal logic
- logical framework
- truth values
- horn clauses
- sequent calculus
- natural deduction
- probability theory
- proof procedures
- first order logic
- epistemic logic
- theorem proving
- proof search
- cut elimination
- knowledge representation
- expert systems
- theorem prover
- logic programming language
- legal reasoning
- probabilistic logic
- linear logic
- binary relations
- relational databases
- search algorithm