A Representation Theorem for Reasoning in First-Order Multi-Agent - PowerPoint PPT Presentation

A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Christoph Schwering Maurice Pagnucco UNSW Sydney, Australia 1 / 4

A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases Reasoning in multi-agent epistemic knowledge bases reduces to classical validity 1 / 4

A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases Reasoning in multi-agent epistemic knowledge bases reduces to classical validity ◮ Logical framework: K A α O A α logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing Levesque’s logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing logic of only-knowing 1 / 4

A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases Reasoning in multi-agent epistemic knowledge bases Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces to Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces Turing-reduces classical validity ◮ Logical framework: K A α O A α Levesque’s logic of only-knowing 1 / 4