Note that in this glossary, many terms are given special meanings for SPaDE which may differ from their general usage.
Knowledge captured in propositions expressed by sentences in a well defined declarative language.
The process of deriving logical conclusions from premises known or assumed to be true.
An approach to engineering design and construction in which the formal modelling of requirements is progressed concurrently with automated deductively verified design and implementation. Design methods are implemented as derived inference rules which prove compliance of designs with system specifications from premises about the characteristics of components and subsystems, thus progressively refining specifications into designs and implementations.
Concerning the entire cosmic reach of the progeny of a single origin of intelligence, such as Planet Earth.
The philosophical study of knowledge
A conceptual framework for understanding how abstract deductive reasoning contributes to deduction in all domains of declarative knowledge.
Giving particular attention to parts of a whole.
AI systems specialising in specific perfect information spaces, producing formally verified solutions to problems within those spaces.
The application of focal intelligence to engineering design problems (broadly construed).
A conceptual framework for understanding how focal engineering can be applied to problems in various domains, by identifying the perfect information spaces within those domains and applying appropriate focal AI techniques to solve problems within those spaces.
A hypothesised future point at which technological progress, particularly in AI, becomes so rapid and profound that it defies human understanding and control. Often associated with the acceleration of AI development expected when AI is able to improve its own capabilities or design its succesors autonomously.
The use of focal intelligence to approach [The Singularity)(#the-singularity), by giving priority to the capabilities which enable AI to improve its own design and implementation.
An acronym for Synthetic Philosophy and Deductive Engineering. The name of an open source knowledge engineering project with a repository at github.com/rbj/SPaDE.
Those part of synthetic philosophy seeking to understand knowledge by designing the epistemic engines of the future.
A constructive philosophy seeking to understand the future by shaping it, primarily through deductive engineering including synthetic epistemology.
Concerning Planet Earth.
Terran Diaspora: The intelligent progeny of homo sapiens.
Terran Diasporic Repository: The distributed repository encompassing the declarative knowledge of the terran diaspora.