Two logical theories of plan recognition

Journal of Logic and Computation

Volumn 12, Issue 3, 2002, Pages 371-412

  Wobcke, Wayne ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Belief revision; Nonmonotonic reasoning; Plan recognition

Indexed keywords

FORMAL LOGIC; MULTI AGENT SYSTEMS; PLANNING; SEMANTICS;

BELIEF REVISION; NONMONOTONIC REASONING; PLAN RECOGNITION;

SYSTEM THEORY;

EID: 0036608781     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.3.371     Document Type: Article

References (52)

1. Bayesian models for keyhole plan recognition in an adventure game
2. On the logic of theory change: Partial meet contraction and revision functions
3. Maintaining knowledge about temporal intervals
4. Towards a general theory of action and time
5. Temporal reasoning and planning
6. Weighted abduction for plan ascription
7. A Dempster-Shafer approach to modeling agent preferences for plan recognition
8. PHI - A logic-based tool for intelligent help systems
9. Partial logic
10. Incorporating default inferences into plan recognition
11. A Bayesian model of plan recognition
12. Beyond question answering
13. Injective models and disjunctive relations
14. Theoretical foundations for non-monotonic reasoning in expert systems
15. Nonmonotonic inferences based on expectations: A preliminary report
16. Revisions of knowledge systems using epistemic entrenchment
17. Nonmonotonic inference based on expectations
18. A bias towards relevance: Recognizing plans where goal minimization fails
19. Meaning
20. The automated mapping of plans for plan recognition
21. Describing plan recognition as nonmonotonic reasoning and belief revision
22. A circumscriptive theory of plan recognition
23. A formal theory of plan recognition and its implementation
24. Generalized plan recognition
25. Nonmonotonic reasoning, preferential models and cumulative logics
26. Naming and necessity
27. Satisfying first-order constraints about time intervals
28. Representation and reasoning with convex time intervals
29. What does a conditional knowledge base entail?
30. A sound and fast goal recognizer
31. A plan recognition model for subdialogues in conversations
32. General patterns in nonmonotonic reasoning
33. Relations between the logic of theory change and nonmonotonic logic
34. Circumscription - A form of non-monotonic reasoning
35. Iterated belief change based on epistemic entrenchment
36. A model of plan inference that distinguishes between the beliefs of actors and observers
37. Accounting for context in plan recognition, with application to traffic monitoring
38. Two methods of constructing contractions and revisions of knowledge systems
39. The nonlinear nature of plans
40. The plan recognition problem: An intersection of psychology and artificial intelligence
41. Recognizing intended meaning and speakers' plans
42. A theory of conditionals
43. RESC: An approach for real-time, dynamic agent tracking
44. Generating project networks
45. Plan recognition as belief revision