Deductive reasoning, practical reasoning, ontologies Flashcards
(32 cards)
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.
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.
Agents in AGENT0 have four components:
a set of capabilities of the agent, initial beliefs, initial commitments (things the agent will do), commitment rules (each one containing a message)
Give a short description of METATEM
based on direct execution of logical formulas, temporal logic specification of the behavior an agent should exhibit. Works by some symbols indicating always, at some time, tomorrow, yesterday etc.
Define practical reasoning
reasoning directed towards actions (“what to do?”)
theoretical reasoning
directed towards beliefs
deliberation
deciding what state of affairs we want to achieve
Human practical reasoning consists of two activities
deliberation and means-end deliberation
What are the intentions in practical reasoning?
intentions drive means-end reasoning, intentions persists, intensions constrain future deliberation, Intentions influence beliefs upon which future practical reasoning is based
Plan:
given a planning problem (Beliefs, Goals, Possible Actions), a is a sequence of actions aimed at reaching the goal.