Interest-driven Reasoning Based on Commitment Alternating Temporal Logic in the P2P Reputation System.
Yu BaoGuosun ZengKe ZhangPublished in: J. Comput. (2010)
Keyphrases
- temporal logic
- temporal knowledge
- model checking
- reputation management
- modal logic
- trust management
- peer to peer
- satisfiability problem
- trust relationships
- verification method
- mazurkiewicz traces
- transition systems
- concurrent systems
- predicate logic
- reasoning tasks
- knowledge representation
- knowledge base
- reactive systems
- automated reasoning
- linear temporal logic
- model checker
- formal specification
- belief revision
- computation tree logic
- reputation systems
- qualitative reasoning
- artificial intelligence