A modal logic for epistemic tests - Archive ouverte HAL
Communication Dans Un Congrès Année : 2000

A modal logic for epistemic tests

Résumé

We study a modal logic of knowledge and action, fo-cussing on test actions. Such knowledge-gathering actions increase the agents' knowledge. We propose a semantics, and associate an ax-iomatics and a rewriting-based proof procedure.

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
A_modal_logic_for_epistemic_tests.pdf (286.05 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03523413

Soumis le : vendredi 14 janvier 2022-12:43:12

Dernière modification le : mercredi 10 janvier 2024-16:26:03

Archivage à long terme le : vendredi 15 avril 2022-18:44:19

Télécharger pour visualiser

Dates et versions

hal-03523413 , version 1 (14-01-2022)

Identifiants

  • HAL Id : hal-03523413 , version 1

Citer

Andreas Herzig, Jérôme Lang, Thomas Polacsek. A modal logic for epistemic tests. 14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.553-557. ⟨hal-03523413⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ADRIA IRIT-LILAC IRIT-IA IRIT-CNRS TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
51 Consultations
40 Téléchargements

Partager

More