An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKI.
Sameera BasitYuichi GotoPublished in: ACIIDS (1) (2022)
Keyphrases
- trust model
- proof theoretic
- public key infrastructure
- proof theory
- automated reasoning
- deductive reasoning
- intuitionistic logic
- computational properties
- probabilistic logic
- order of magnitude reasoning
- logical framework
- reasoning engine
- human reasoning
- logical inference
- truth maintenance systems
- case study
- knowledge base
- test bed
- classical logic
- logic programming
- abductive reasoning
- horn logic
- reasoning about actions
- reasoning tasks
- commonsense reasoning
- knowledge representation formalisms
- probabilistic reasoning
- linear time temporal logic
- causal reasoning
- public key
- knowledge representation
- nonmonotonic reasoning
- information exchange
- logical rules
- natural deduction
- logic programs
- modal logic
- derivation rules
- key technologies
- trust relationships
- proof procedure
- linear logic
- reasoning problems
- model theoretic
- knowledge representation and reasoning
- default reasoning
- probability theory