Bibliography

[WL+00] A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results

Wooldridge.fapr00 (In proceedings)
Author(s)	Woolridge, M. and Lomuscio, A.
Title	« A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results »
In	Formal and Applied Practical Reasoning -- Proceedings of the Third International Conference (FAPR-2000)
Year	2000

Wooldridge.fapr00 (In proceedings)

Author(s)

Woolridge, M. and Lomuscio, A.

Title

« A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results »

Formal and Applied Practical Reasoning -- Proceedings of the Third International Conference (FAPR-2000)

Year

2000

Abstract & Keywords
VSK logic is a family of multi-modal logics for reasoning about the information properties of computational agents situated in some environment. Using VSK logic, we can represent what is objectively true of the environment, the information that is visible, or knowable about the environment, information the agent perceives of the environment, and finally, information the agent actually knows about the environment. The semantics of VSK logic are given in terms of a general, automata-like model of agents. In this paper, we prove completeness for an axiomatisation of VSK logic, and present correspondence results for a number of VSK interaction axioms in terms of the architectural properties of the agent that they represent. This completeness proof is novel in that we are able to prove completeness with respect to the automata-like semantics of the formalism. We give an example to illustrate the formalism, and present conclusions and issues for further work. Keywords: Logics for Pratical Reasoning

Abstract & Keywords

VSK logic is a family of multi-modal logics for reasoning about the information properties of computational agents situated in some environment. Using VSK logic, we can represent what is objectively true of the environment, the information that is visible, or knowable about the environment, information the agent perceives of the environment, and finally, information the agent actually knows about the environment. The semantics of VSK logic are given in terms of a general, automata-like model of agents. In this paper, we prove completeness for an axiomatisation of VSK logic, and present correspondence results for a number of VSK interaction axioms in terms of the architectural properties of the agent that they represent. This completeness proof is novel in that we are able to prove completeness with respect to the automata-like semantics of the formalism. We give an example to illustrate the formalism, and present conclusions and issues for further work.

Keywords: Logics for Pratical Reasoning

BibTeX code

@inproceedings{Wooldridge.fapr00,
  domains = {Multi-Agent Systems/Model:Formal Specification/Logic-based:},
  booktitle = {Formal and Applied Practical Reasoning -- Proceedings of the
               Third International Conference (FAPR-2000)},
  title = {A Logic of Visibility, Perception, and Knowledge: Completeness and
           Correspondence Results},
  author = {Woolridge, M. and Lomuscio, A.},
  year = 2000,
}

Documents in the same domains

Root

Formal Specification/Logic-based

[WL+00] Woolridge M. et al., "A Logic of Visibility, Perception, and..." (2000)

Multi-Agent Systems/Model

		[WL+00] Woolridge M. et al., "A Logic of Visibility, Perception, and..." (2000)
		[WT+03] Wagner G. et al., "Agent-Oriented Modeling and Agent-Based..." (2003)