Epistemic Logic of Know-Who
Epstein, Sophia, Naumov, Pavel
–arXiv.org Artificial Intelligence
The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities "knows who", "knows", and "for all agents". The main technical result is a completeness theorem for the proposed system.
arXiv.org Artificial Intelligence
Dec-11-2020
- Country:
- Asia > India
- Tamil Nadu > Chennai (0.04)
- Europe
- North America > United States
- California
- Los Angeles County > Los Angeles (0.04)
- Santa Barbara County > Santa Barbara (0.04)
- Hawaii (0.04)
- New York > Tompkins County
- Ithaca (0.04)
- California
- Asia > India
- Genre:
- Research Report (0.70)
- Technology: