Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle

@inproceedings{Moses2015RelatingKA,
  title={Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle},
  author={Yoram Moses},
  booktitle={TARK},
  year={2015}
}
  • Yoram Moses
  • Published in TARK 2015
  • Computer Science, Mathematics
  • The Knowledge of Preconditions principle (KoP) is proposed as a widely applicable connection between knowledge and action in multi-agent systems. Roughly speaking, it asserts that if some condition is a necessary condition for performing a given action A, then knowing that this condition holds is also a necessary condition for performing A. Since the specifications of tasks often involve necessary conditions for actions, the KoP principle shows that such specifications induce knowledge… CONTINUE READING

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
    A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
    6
    Game Description Language and Dynamic Epistemic Logic Compared
    10
    Deviator Detection under Imperfect Monitoring Extended
    Deviator Detection under Imperfect Monitoring
    1
    Computation as social agency: What, how and who
    4
    Hierarchical information and the synthesis of distributed strategies
    10
    Mutual exclusion as a matter of priority
    On Using Time Without Clocks via Zigzag Causality
    2

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 32 REFERENCES
    The Shape of Reactive Coordination Tasks
    5
    Agent-Time Epistemics and Coordination
    17
    Knowledge and common knowledge in a distributed environment
    874
    Reasoning about knowledge
    4041
    SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
    1745