“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Executing temporal logic programs
Executing temporal logic programs
Formal theories of knowledge in AI and robotics
New Generation Computing
Temporal-logic theorem proving
Temporal-logic theorem proving
Coherent cooperation among communicating problem solvers
IEEE Transactions on Computers
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Representing and using organizational knowledge in DAI systems
Distributed artificial intelligence: vol. 2
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
A Survey of Agent-Oriented Methodologies
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agent orientation in software engineering
The Knowledge Engineering Review
Towards monitored data consistency and business processing based on declarative software agents
Software engineering for large-scale multi-agent systems
Co-ordination in artificial agent societies: social structures and its implications for autonomous problem-solving agents
| Hi-index | 0.00 |
This paper explores the specification and semantics of multiagent problem-solving systems, focusing on the representations that agents have of each other. It provides a declarative representation for such systems. Several procedural solutions to a well-known test-bed problem are considered, and the requirements they impose on different agents are identified. A study of these requirements yields a representational scheme based on temporal logic for specifying the acting, perceiving, communicating, and reasoning abilities of computational agents. A formal semantics is provided for this scheme. The resulting representation is highly declarative, and useful for describing systems of agents solving problems reactively.