Abstract
The SharedPlans theory provides an axiomatic framework of collaborative plans based on four types of intentional attitudes. However, there still lacks an adequate semantics for the 'potential intention' operators. In this paper, we give a formal semantics to potential intentions, and examine models that can validate various relations between beliefs, intentions, and potential intentions.
Original language | English (US) |
---|---|
Title of host publication | Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05 |
Pages | 71-76 |
Number of pages | 6 |
Volume | 1 |
State | Published - 2005 |
Event | 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05 - Pittsburgh, PA, United States Duration: Jul 9 2005 → Jul 13 2005 |
Other
Other | 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05 |
---|---|
Country/Territory | United States |
City | Pittsburgh, PA |
Period | 7/9/05 → 7/13/05 |
All Science Journal Classification (ASJC) codes
- Software