Deductive reasoning, practical reasoning, ontologies Flashcards
define a ontology
a formal, explicit specification of a shared conceptualisation
What is the semantic web approach?
representing information in machine-readable form
What are the components of ontologies?
Individuals, Classes, Attributes, Relations
There are two types of ontologies. Which?
Formal and informal
There are 3 species of OWL, which?
OWL Full, OWL DL (description logic), OWL Lite
Which properties does OWL have?
object properties: which relate objects to other objects and data type properties, which relate object to datatype values
What does OWL stand for?
Web Ontology Language
How does OWL assume the world?
It follows an open-world assumption ; a formal, explicit specification of a shared conceptualisation due to big WWW correct. Also follows Unique names Assumption
Ontologies provide a shared understanding of a domain:
semantic interoperability; Overcome differences in terminology and mappings between ontologies are possible
What are the differences between the 3 species of OWL?
expressiveness & complexity => + features, completeness of reasoning, compatability with the others, decidability
Give one example for an alternative to OWL:
Cyc, Dublin Core, WordNet
The representation/reasoning problem:
How to symbolically represent information about complex real-world entities and processes, and how to get agents to reason with this information in time for the results to be useful?
Deductive Reasoning Agents
Decide what to do on the basis of a theory stating the best action to perform in any given situation. Example is the Vacuum cleaner.
Agent oriented programming:
programming agents with intentional notations like intention, belief and commitment => the intentional stance is used as an abstraction tool for programming!
Shoham suggested that a complete AOP system will have 3 components
logic for specifying agents and describing their mental states, an interpreted programming language for programming agents, for example AGENT0 and an ‘agentification’ process, for converting ‘neutral applications’ (databases etc) into agents.