In this paper we present a formal system S∆, in order to characterise the evolution of knowledge. In addition to the connectors of classical logic, we introduce two dynamic connectors- the mediate future and the immediate future-expressing the transformations that may affect data in the course of time. The axiomatisation of these connectors and their semantic characterisation lead us to define a model of interpretation for the formal system which is comparable to that of Kripke for modal logic. With this model we prove the intrinsic consistence and the validity of S∆. Similarly we demonstrate completeness and other propositions connecting the immediate future and the mediate future.The formal system S∆ is one of the component modules of the ARCHES system, a symbolic system for the representation and treatment of knowledge whose objective is to produce new knowledge through two modes of reasoning-deduction and analogy-based upon specific processes of inference.

This is the whole item.

Date created

• 1983

Type

• Document

Processing Activity

• Processing documentation available at: https://wiki.albany.edu/display/SCA/Processing+Ingested+Digital+Files

License

• Creative Commons BY-NC-ND Attribution-NonCommercial-NoDerivs 4.0 International

  
  Contact Us for questions or additional rights.

ITEM CONTEXT

Part of

b0aa2a699b54f0d19f6a9d93bdbcfa18

Scope and Contents

Part of

cf82ceba47eedd73f41b00918de16477

Scope and Contents

Part of

23d738ba88f8333bc39725f9cb5bd0b8

Scope and Contents

Collection

System Dynamic Society Records

Scope and Contents

Collecting area

• This collection is part of the University Archives