Formal theories of knowledge in AI and robotics
New Generation Computing
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
LISP 1.5 Programmer's Manual
Integrated systems based on behaviors
ACM SIGART Bulletin
An integrated architecture for intelligent agents
ACM SIGART Bulletin
Intelligent Agents: The Key Concepts
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Constraint-Based Agents: The ABC's of CBA's
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Time for action: on the relation between time, knowledge and action
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Integrating reaction plans and layered competences through synchronous control
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Computational research on interaction and agency
Artificial Intelligence
An architecture for adaptive intelligent systems
Artificial Intelligence
The artificial life roots of artificial intelligence
Artificial Life
Formal Specification and Verification of Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Robotics and Autonomous Systems
Situated agents can have goals
Robotics and Autonomous Systems
Internalized plans: A representation for action resources
Robotics and Autonomous Systems
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Learning to coordinate behaviors
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Cultural support for improvisation
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Polly: a vision-based artificial agent
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Non-alethic reasoning in distributed systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Automated monitoring of medical protocols: a secure and distributed architecture
Artificial Intelligence in Medicine
Hi-index | 0.00 |
Researchers using epistemic logic as a formal framework for studying knowledge properties of AI systems often interpret the knowledge formula K(x, φ) to mean that machine x encodes φ in its state as a syntactic formula or can derive it inferentially. By defining K(x, φ), instead, in terms of the correlation between the state of the machine and that of its environment, the formal properties of modal system S5 can be satisfied without having to store representations of formulas as data structures. In this paper, we apply the correlational definition of knowledge to machines with composite structure. In particular, we describe how epistemic properties of synchronous digital machines can be analyzed, starting at the level of gates and delays, by modeling the machine's components as agents in a multi-agent system and reasoning about the flow of information among them. We also introduce Rex, a language for recursively computing machine descriptions, and illustrate how it can be used to construct machines with provable knowledge properties.