MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Wayne Wobcke" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Belief revision, conditional logic, and nonmonotonic reasoning  
  • by Wayne Wobcke — 1995 — Notre Dame Journal of Formal Logic
  • …Abstract We consider the connections between belief revision, conditional logic and nonmonotonic reasoning, using as a foundation the approach to theory change developed by Alchourrón, Gärdenfors and Makinson (the AGM approach). This is first generalized to allow the iteration of theory change opera…
  • Cited by 2 (0 self) – Add To MetaCart
  • An Analysis of Three Puzzles in the Logic of Intention  
  • by Wayne Wobcke — 2006 — AI 2006: Advances in Artificial Intelligence
  • …Abstract. In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concreteness of the connection between an agent’s mental states and formal models, using three “puzzles ” in the logic o…
  • Cited by 1 (0 self) – Add To MetaCart
  • Intention and Rationality for PRS-Like Agents  
  • by Wayne Wobcke — 2002 — Eds) AI 2002: Advances in Artificial Intelligence
  • …Abstract. In this paper, we elaborate on our earlier work on modelling the mental states of PRS-like agents by considering the logical properties of intentions and various rationality postulates for PRS-like agents that are a consequence of this modelling, in particular Bratman’s asymmetry thesis, t…
  • Cited by 1 (1 self) – Add To MetaCart
  • Modelling PRS-Like Agents’ Mental States  
  • by Wayne Wobcke — 2002 — in Ishizuka, M. & Sattar, A. (Eds) PRICAI 2002: Trends in Artificial Intelligence
  • …Abstract. In recent years, there have been increased efforts towards defining rigorous operational semantics for a range of agent programming languages. At the same time, there have been increased efforts to develop logical frameworks for modelling belief, desire and intention (and related notions) …
  • Cited by 6 (4 self) – Add To MetaCart
  • Model Checking for PRS-Like Agents  
  • by Wayne Wobcke, Krystian Ji — 2005 — Eds) AI 2005: Advances in Artificial Intelligence
  • …Abstract. The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure that not only includes the possible behaviours of the agent in its environment, but which also captures appropri…
  • Cited by 2 (1 self) – Add To MetaCart
  • A BDI Agent Architecture for Dialogue Modelling and Coordination in a Smart Personal Assistant  
  • by Wayne Wobcke, Van Ho, Anh Nguyen, Alfred Krzywicki — 2005 — In Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
  • …In this paper, we discuss the architectural aspects of a Smart Personal Assistant (SPA) system that enables users to access a range of applications from a range of devices using multi-modal natural language dialogue. Each back-end application is a personal assistant specializing in one specific task…
  • Cited by 1 (0 self) – Add To MetaCart
  • A Call Handling Assistant for Mobile Devices  
  • by Wayne Wobcke, Rita Chan, Andrew Limaru — 2006 — In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
  • …With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. The convenience this provides for people to more effectively combine different aspects of their lives has the consequence of an increased blurring of boundaries, for example between work and home. Thus, as…
  • Cited by 1 (1 self) – Add To MetaCart
  • Multi-Agent Reinforcement Learning with Vicarious Rewards  
  • by Kevin Irwig, Wayne Wobcke, Martlesham Heath, Ipswich Ip Re
  • …Reinforcement learning is the problem faced by an agent that must learn behaviour through trial-and-error interactions with a dynamic environment. In a multi-agent setting, the problem is often further complicated by the need to take into account the behaviour of other agents in order to learn to pe…
  • Add To MetaCart
  • The Implementation of a First-Order Logic AGM Belief Revision System  
  • by Simon Dixon And, Simon Dixon, Wayne Wobcke — 1993 — In Proceedings of the Fifth IEEE International Conference on Tools in Artificial Intelligence
  • …Belief revision is increasingly being seen as central to a number of fundamental problems in Artificial Intelligence such as nonmonotonic reasoning, reasoning about action, truth maintenance and database update. This paper describes the first implementation of an AGM belief revision system. The syst…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB