Reasoning about Actions
1. The Problem
declarative knowledge and procedural knowledge
action/operation and goal
desirability and plausibility
2. Proposed Solutions
decision theory, expected utility
goal derivation/regression, procedural interpretation, logic programming
planning, STRIPS
temporal reasoning, scheduling
agent, BDI model
3. Issues
uncertainty: randomness and ignorance
frame problem
goal conflicts and functional autonomy
4. Readings
Section 6.5, 9.4, 10.3, 11.1-2, 12.1-3, 15.1, 16.1, 17.1
5. Ideas
Actions and goals can be the subject of reasoning
reasonable:
- unified treatment of declarative and procedural knowledge
- unified treatment of belief and goal derivation
- information about an action is in its precondition and consequence
- decision is based on desirability and plausibility
problematic:
- to request complete information on states
- to demand advanced specification of operations
- to assume consistency among goals
in NARS:
- statement, event (temporal statement), operation (executable event)
- sufficient and necessary conditions of a statement
- statement as partial meaning of an operation
- desirability and plausibility as special truth value, both revisable
- planning, skill learning, and goal derivation as reasoning
- decision-making turns desirable and plausible events into goals
Toward a Unified Artificial Intelligence