Tags / 3 quotes from 3 sources
#formal-language
Formal Ontology
Formal ontology
In philosophy, the term formal ontology is used to refer to an ontology defined by axioms in a formal language with the goal to provide an unbiased (domain- and application-independent) view on reality, which can help the modeler of domain- or application-specific ontologies…
Introducing Artificial Intelligence (Henry Brighton and Howard Selina)
Leibniz's Characteristica Universalis
Hobbes’s “parcels” were the basic units of thought, just as symbols are basic to Newell and Simon’s Physical Symbol Systems Hypothesis. Hobbes’s ideas were furthered by the mathematician and philosopher Gottfried Wilhelm Leibniz (1646–1716) who tried to identify an appropriate…
Where Are The Semantics In The Semantic Web?
Publicly declared concepts in the semantic web
The assumption that there will be terms whose meaning is publicly declared and thus sharable is critical to making the Semantic Web work. Although we brought up this issue in the context of machine processible semantics, it is equally important when the semantics are hardwired…