Formally an ontology is for Practically

In such an ontology, definitions associate the names of entities in the universe of discourse classes, relations, functions, or other objects with humanreadable text describing what the names mean, and formal axioms that constrain the interpretation and wellformed use of these terms. For pragmetic reasons, we choose to write an ontology as set of definitions of formal vocabulary. What is important is what an ontology is specification used for making ontological commitments.

Although this isnt the only way to specify conceptualization, it has some nice properties for knowledge sharing among AI software semantics independent of reader and context. The idea of ontological commitments is based on the KnowledgeLevel perspective Newell, 1982 We buildagents that commit to ontologies.

What is important is what an ontology is the statement of logical theory. We use common ontologies to describe ontological commitments for set of agents so that they can communicate about domain of discourse without necessarily operating on globally shared theory. Thus, in the context of AI, we can describe the ontology of program by defining set of representational terms. The term is borrowed from philosophy, where an Ontology is systematic account of Existence. We say that an agent commits to an ontology if its observable actions are consistent with the definitions in the ontology.

Although this isnt the only way to specify conceptualization, it has some nice properties for knowledge sharing among AI software semantics independent of reader and context. The actions of agentsincluding knowledge base servers and knowledgebased systemscan be seen through tell and ask functional interface Levesque, 1984 where client interacts with an agent by making logical assertions tell, and posing queries ask.. When the knowledge of an agent that is independent of the symbollevel representation used internally by the agent. For AI systems, what exists is that which can be represented.

For AI systems, what exists is that which can be represented. When the knowledge of an agent that is independent of the symbollevel representation used internally by the agent. This set of objects, and the describable relationships among them, are reflected in the representational vocabulary with which knowledgebased program represents knowledge. Knowledge is attributed to agents by observing their actions an agent knows something if it acts as if it had the information and is acting rationally to achieve its goals. The formal definition of ontological commitment is given below. Formally, an ontology is specification used for making ontological commitments.
No tags for this post.

No Comments »

No comments yet.

RSS feed for comments on this post. TrackBack URL

Leave a comment