Show simple item record

dc.contributor.authorCholvy, Laurence
dc.contributor.authorDemolombe, Robert
dc.date.accessioned2022-11-10T19:01:36Z
dc.date.available2022-11-10T19:01:36Z
dc.date.issued1994
dc.identifier.citationCholvy, L.; Demolombe, R. Reasoning about the safety of information: from logical formalization to operational definition. A: "Proceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994, p. 345-373.
dc.identifier.urihttp://hdl.handle.net/2117/376073
dc.description.abstractWe assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to represent information safety, and to derive answers to standard queries and to safety queries. The design of this logic is based on signaling act theory. Two strong simplifications lead to a logic S" with two modalities to represent explicit beliefs and implicit beliefs. Then, we present an operational view of S" in terms of First Order Logic, with meta predicates, which is implemented by a Prolog meta program. lt is proved that answers derived in S" and computed by the meta program are identical. This property gives a clea.r meaning to computed answers. Content areas: Epistemological foundations, Theorem proving, Logic programming, Multi-agent systems.
dc.format.extent29 p.
dc.languageAnglès
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.rightsOpen access
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.lcshInformation storage and retrieval systems
dc.subject.lcshManagement information systems
dc.subject.lcshDeductive databases
dc.titleReasoning about the safety of information: from logical formalization to operational definition
dc.typeConference report
dc.subject.lemacSistemes d'informació per a la gestió
dc.subject.lemacBases de dades
dc.subject.lemacBases de dades deductives
dc.subject.lemacInformació -- Sistemes d'emmagatzematge i recuperació
dc.rights.accessOpen Access
local.citation.publicationNameProceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases
local.citation.startingPage345
local.citation.endingPage373


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record