Reasoning about actions under uncertainty: A possibilistic approach.
Juan Carlos NievesMauricio OsorioUlises CortésFrancisco CaballeroAntonio López-NavidadPublished in: CCIA (2007)
Keyphrases
- reasoning about actions
- logic programming
- possibility theory
- situation calculus
- action language
- logic programs
- expected utility
- nonmonotonic reasoning
- dynamic logic
- probability theory
- indirect effects
- action theories
- fluent calculus
- possibilistic logic
- databases
- propositional dynamic logic
- possibility distributions
- belief functions
- answer sets
- action sequences
- uncertain data
- deductive databases
- classical logic
- answer set programming
- fuzzy numbers
- belief revision
- minimal change
- programming language
- decision theoretic
- software engineering
- knowledge base
- database
- default logic