Formalizing potential of agents. The KARO framework revisited. We revisit the (KARO) framework that we proposed before to reason about Knowledge, Abilities, Results and Opportunities of agents. In our original proposal, the treatment of ability was completely different from that of opportunity, while they seem rather symmetric beforehand. That proposal also yielded a rather non-standard proof system for the logic including so-called ω-rules, i.e. rules with infinitely many premises. Finally, the approach suffered from some strange properties regarding the ability of the agent to perform sequentially composed actions. In this chapter, we reconsider these matters and come up with a logic that (1) treats opportunity and ability on a par, (2) allows for a much more standard complete proof system (3) does not suffer from strange properties regarding sequentially composed actions, and (4) otherwise leaves many properties from the original framework intact.

References in zbMATH (referenced in 20 articles , 1 standard article )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about agent deliberation (2011)
  2. Dix, Jürgen; Fisher, Michael: Where logic and agents meet (2011)
  3. Aucher, Guillaume: An internal version of epistemic logic (2010)
  4. Adam, C.; Herzig, A.; Longin, D.: A logical formalization of the OCC theory of emotions (2009)
  5. Bordini, Rafael H. (ed.); Dastani, Mehdi (ed.); Dix, Jürgen (ed.); El Fallah Seghrouchni, Amal (ed.): Multi-agent programming. Languages, tools and applications (2009)
  6. Goré, Rajeev; Nguyen, Linh Anh: Clausal tableaux for multimodal logics of belief (2009)
  7. Hindriks, Koen V.; Meyer, John-Jules Ch.: Toward a programming theory for rational agents (2009)
  8. Van Riemsdijk, M.Birna; Dastani, Mehdi; Meyer, John-Jules Ch.: Goals in conflict: semantic foundations of goals in agent programming (2009)
  9. Meyer, John-Jules Ch.: Our quest for the holy grail of agent verification (2007)
  10. Dixon, Clare: Using temporal logics of knowledge for specification and verification -- a case study (2006)
  11. Nguyen, Linh Anh: Reasoning about epistemic states of agents by modal logic programming (2006)
  12. Bordini, Rafael H. (ed.); Dastani, Mehdi (ed.); Dix, Jürgen (ed.); El Fallah Seghrouchni, Amal (ed.): Multi-agent programming. Languages, platforms and applications. (2005)
  13. Fisher, Michael: Temporal development methods for agent-based. (2004)
  14. Mascardi, Viviana; Martelli, Maurizio; Sterling, Leon: Logic-based specification languages for intelligent software agents (2004)
  15. Schmidt, Renate A.; Tishkovsky, Dmitry; Hustadt, Ullrich: Interactions between knowledge, action and commitment within agent dynamic logic (2004)
  16. Laureano-Cruces, Ana Lilia; Barceló-Aspeitia, Axel Arturo: Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (2003)
  17. Dixon, Clare; Fisher, Michael; Bolotov, Alexander: Clausal resolution in a logic of rational agency (2002)
  18. Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John-Jules; van der Hoek, Wiebe: Verification within the KARO agent theory (2001)
  19. Meyer, John-Jules; de Boer, Frank; van Eijk, Rogier; Hindriks, Koen; van der Hoek, Wiebe: On programming KARO agents (2001)
  20. van der Hoek, W.; Meyer, J.-J.Ch.; van Schagen, J.W.: Formalizing potential of agents. The KARO framework revisited (2000)