Results 1 - 10
of
349
Towards a Theory of Resource-Bounded Belief Revision
- In preparation
, 1997
"... this paper we proceed towards a theory of belief revision for resource-bounded agents, where we take in consideration limited memory and capacity of inference. There are several different ways in which a process of belief revision may take place. It may be necessary to revise one's beliefs due ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
this paper we proceed towards a theory of belief revision for resource-bounded agents, where we take in consideration limited memory and capacity of inference. There are several different ways in which a process of belief revision may take place. It may be necessary to revise one's beliefs due
Resource-Bounded Reasoning about Knowledge
, 2001
"... The main goal of the thesis is to develop a framework for modeling resource-bounded reasoning of realistic agents and to provide formal theories of rational agency with a solid epistemic foundation. The concept "agent" has turned out to be a very useful abstraction for conceptualization in ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
The main goal of the thesis is to develop a framework for modeling resource-bounded reasoning of realistic agents and to provide formal theories of rational agency with a solid epistemic foundation. The concept "agent" has turned out to be a very useful abstraction for conceptualization
From Simple Associations to Systematic Reasoning: a Connectionist Representation of Rules, Variables and Dynamic Bindings Using Temporal Synchrony
- Behavioral and Brain Sciences
, 1993
"... Abstract: Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency — as though these inferences are a reflex response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remark ..."
Abstract
-
Cited by 273 (32 self)
- Add to MetaCart
Abstract: Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency — as though these inferences are a reflex response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge
Remote Agent: To Boldly Go Where No AI System Has Gone Before
, 1998
"... Renewed motives for space exploration have inspired NASA to work toward the goal of establishing a virtual presence in space, through heterogeneous effets of robotic explorers. Information technology, and Artificial Intelligence in particular, will play a central role in this endeavor by endowing th ..."
Abstract
-
Cited by 231 (16 self)
- Add to MetaCart
significant step toward enabling this future. This architecture addresses the unique characteristics of the spacecraft domain that require highly reliable autonomous operations over long periods of time with tight deadlines, resource constraints, and concurrent activity among tightly coupled subsystems
Making Adversary Decision Modeling Tractable with . . .
- IN PROC. OF THE 11TH CONFERENCE ON COMPUTER GENERATED FORCES AND BEHAVIORAL REPRESENTATION
, 2002
"... Military and domestic security analysts and planners are facing threats whose asymmetric nature will sharply increase the challenges of establishing an adversary's intent. This complex environment will severely limit the capabilities of the classic doctrinal approach to diagnose adversary act ..."
Abstract
-
Cited by 16 (2 self)
- Add to MetaCart
activity. Instead, a more dynamic approach is required - adversary decision modeling (ADM) - that, while a critical capability, poses a range of daunting technological challenges. We are developing methodologies and tools that represent a tractable approach to ADM using intelligent software
Towards tractable Boolean games
- In AAMAS
, 2012
"... Boolean games are a compact and expressive class of games, based on propositional logic. However, Boolean games are computationally complex: checking for the existence of pure-complete, and it is co-NP-complete to check whether a given outcome for a Boolean game is a pure Nash equilibrium. In this p ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
. In this paper, we consider two possible avenues to tractability in Boolean games. First, we consider the development of alternative solution concepts for Boolean games. We introduce the notion of k-bounded Nash equilibrium, meaning that no agent can benefit from deviation by altering fewer than k variables
From logic programming towards multi-agent systems
- Annals of Mathematics and Artificial Intelligence
, 1999
"... In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational " component of a single agent but also for the "reactive " component and that can encompass multi-agent systems. We modify an earlier abductive proof proced ..."
Abstract
-
Cited by 81 (25 self)
- Add to MetaCart
-action type behaviour. The agent cycle provides a resource-bounded mechanism that allows the agent's thinking to be interrupted for the agent to record and assimilate observations as input and execute actions as output, before resuming further thinking. We argue that these extensions of LP, accommodating
Intelligence by Design: Principles of Modularity and Coordination for Engineering Complex Adaptive Agents
, 2001
"... All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the primary source of bias is engineering. T ..."
Abstract
-
Cited by 81 (27 self)
- Add to MetaCart
All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the primary source of bias is engineering
Combining Power With Tractability in Belief Models
, 1996
"... Belief models are used in AI computer applications in a great many roles, both to keep track of the beliefs of users and to simulate the belief states of agents modelled by the system. Epistemic logic is often used as a paradigm for the behaviour of such models, but has problems of computational ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
the computational problems and restrict inferences to those most plausible in humans. However, in order to reap the computational advantages of restricting inferences, a model-building approach similar to a compiler must be used. A description of the domain and the agents' knowledge is entered in a formal
Towards a Tractable Appraisal-Based Architecture for Situated Cognizers
- WORKSHOP: GROUNDING EMOTIONS IN ADAPTIVE SYSTEMS
, 1998
"... This paper introduces TABASCO, an architecture for software agents aimed at integrating results from functional theories in emotion research and insights on the impact of the capacities and limitations of perception in a framework orientated along the situated "New AI"/ALife approach. This ..."
Abstract
-
Cited by 21 (0 self)
- Add to MetaCart
This paper introduces TABASCO, an architecture for software agents aimed at integrating results from functional theories in emotion research and insights on the impact of the capacities and limitations of perception in a framework orientated along the situated "New AI"/ALife approach
Results 1 - 10
of
349