Gruber quote on ontology
February 8, 2011 Leave a comment
“An ontology is an explicit specification of a conceptualization. The term is borrowed from philosophy, where an Ontology is a systematic account of Existence. For AI systems, what “exists” is that which can be represented. When the knowledge of a domain is represented in a declarative formalism, the set of objects that can be represented is called the universe of discourse. This set of objects, and the describable relationships among them, are reflected in the representational vocabulary with which a knowledge-based program represents knowledge. Thus, in the context of AI, we can describe the ontology of a program by defining a set of representational terms. In such an ontology, definitions associate the names of entities in the universe of discourse (e.g., classes, relations, functions, or other objects) with human-readable text describing what the names mean, and formal axioms that constrain the interpretation and well-formed use of these terms. Formally, an ontology is the statement of a logical theory.”
bold is mine. Tom Gruber, Stanford, from here
So to develop AI further, and enable an electrochemical computer, we need a boundless ontology. Or perhaps boundless/finite and bounded/infinite are each acceptable. Either way, the logical structure needs to have an exponentially emergent universe of discourse.
It seems that a combination of a vast universe of discourse and a powerful entrainment mechanism are central parts of human acculturation. Can we specify/design their counterparts in an artificial system?