Sciweavers

1316 search results - page 52 / 264
» Intelligent Agents: Issues and Logics
Sort
View
AAAI
1996
14 years 11 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...
JELIA
2004
Springer
15 years 3 months ago
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
Natasha Alechina, Brian Logan, Mark Whitsey
AMI
2009
Springer
15 years 4 months ago
SAGE: A Logical Agent-Based Environment Monitoring and Control System
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
Krysia Broda, Keith Clark, Rob Miller 0002, Alessa...
ATAL
2009
Springer
14 years 11 months ago
Towards a Logical Model of Social Agreement for Agent Societies
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
Emiliano Lorini, Mario Verdicchio
ATAL
2003
Springer
15 years 3 months ago
Argumentation-Based Communication between Agents
One approach to agent communication is to insist that agents not only send messages, but support them with reasons why those messages are appropriate. This is argumentation-based c...
Simon Parsons, Peter McBurney