Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents.
John FungePublished in: Reliab. Comput. (1999)
Keyphrases
- representing knowledge
- situation calculus
- interval valued
- epistemic logic
- modal logic
- fuzzy sets
- real valued
- modal operators
- group decision making
- partially ordered
- inference rules
- event calculus
- action theories
- representation scheme
- concurrent actions
- temporal logic
- reasoning tasks
- knowledge representation
- reasoning about actions
- logical framework
- initial state
- model checking
- aggregation operators
- knowledge base
- logic programming
- fuzzy logic
- partial order
- indirect effects
- fuzzy set theory
- multi agent
- machine learning
- rough sets
- action language