RGBDF: RESOURCE GOAL AND BEHAVIOUR DESCRIPTION FRAMEWORKOlena Kaykova, Oleksiy Khriyenko, Vagan Terziyan, Andriy Zharko Jyväskylä, Finland 25 August 2005, Industrial Ontologies Group, Department of Mathematical Information Technology, University of Jyväskylä, FINLAND
RGBDF: RESOURCE GOAL AND BEHAVIOUR DESCRIPTION FRAMEWORK
Olena Kaykova, Oleksiy Khriyenko, Vagan Terziyan, Andriy Zharko Jyväskylä, Finland 25 August 2005, Industrial Ontologies Group, Department of Mathematical Information Technology, University of Jyväskylä, FINLAND
Our Team and Consortium University of Jyväskylä Industrial Ontologies Group http://www.cs.jyu.fi/ai/OntoGroup/
MAIN RESEARCH OBJECTIVE Our intention is to provide tools and solutions to make heterogeneous industrial resources (files, documents, services, devices, processes, systems, human experts, etc.) web-accessible, proactive and cooperative in a sense that they will be able to analyze their state independently from other systems or to order such analysis from remote experts or Web-services to be aware of own condition and to plan behavior towards effective and predictive maintenance. GUN Global Understanding eNvironment
GUN Concept: All GUN resources “understand” each other…
Two Stages of Adaptation
… XML1 XML2 XMLn XML0 Based on Unified State/Condition Description XML Schema Syntactic Adaptation:
XSLT-Transformation Semantic Adaptation:
Based on Ontology of Templates and Mapping Rules General Adaptation Framework (GAF) Semantic Resource Adaptation Framework is a generic ontology-based approach to design adapters for heterogeneous Web resources.
Semantic Resource Adapters suppose to “wrap” data retrieved from external resources with semantic templates and deliver semantically annotated data from outside to a resource stripping out semantic markup.
Evolution of RDF
SR_Statement: statement context
rscdfs:Context_SR_Container rscdfs:SR_Statement is a subclass of the rdf:Statement. It also describe a statement but has a very innovative and useful addition – Statement Context. Via trueInContext property an instance of the rscdfs:SR_Statement points on a context container of other contextual statements. rscdfs:SR_Statement rdfs:Resource rscdfs:SR_Property subject object predicate rdfs:Resource rscdfs:SR_Statement Container of a context rscdfs:SR_Statement rscdfs:SR_Statement rscdfs:SR_Statement … trueInContext rscdfs:Context_SR_Container rscdfs:SR_Statement domain range rdf:Property type trueInContext Extension of the rdf:Statement to rscdfs:SR_Statement with a trueInContext property
Statement is a true statement just if the statement context is TRUE. Statement (about ”Service #1 sets diagnosis Emergency”) makes sense in context, that Model #1 was used, a diagnostic was based on State #1 of Device #1 in certain time t1. RDF Reification – RSCDF TrueInContext Service #1 Emergency diagnosis useModel inTime basedOn Model #1 t1 State #1 Environment hasTime Device #1 hasState Service #1 Emergency diagnosis Service #1 Model #1 hasModel Environment t1 hasTime Device #1 State #1 hasState hasModel … TRUEINCONTEXT RDF Reification trueInContext
Behavior and mental state description
Resource Agent Extension with a non factual statement for desires description. It is not a fact, it is a goal that Agent intends to achieve. rgbdfs:Goal_Statement SSS PPP rdf:subject rdf:object rscdfs:predicate rscdfs:Context_SR_Container rscdfs:trueInContext OOO Extension with a Behaviour Statement for defining goal dependent actions. Necessary and sufficient conditions dependent rule description. rgbdfs:Behaviour_Statement rscdfs:ResourceAgent rscdfs:Context_SR_Container rgbdfs:Behaviour_Container rdf:object rgbdfs:hasBehaviour rgbdfs:falseInContext rgbdfs:Goal_Container rscdfs:trueInContext rgbdfs:predicate rgbdfs:subject
RDF Evolution towards GUN
Introduction to RG/BDFS
Smart Resource 2005 Scenario (3 scenes) “Expert” “Service” Labelled data Labelled data Diagnostic model Querying diagnostic results Labelled data Watching and querying diagnostic data Labelled data History data “Device” Querying data for learning Learning sample and Querying diagnostic results “Knowledge Transfer from Expert to Service” Agent plays roles:
Scene 1: “patient”;
Scene 2: “teacher”;
Scene 3: “patient” Agent plays roles:
Scene 1: “diagnostic expert”;
Scene 2: “no play”;
Scene 3: “no play” Agent plays roles:
Scene 1: “no play”;
Scene 2: “student”;
Scene 3: “diagnostic expert”
BDI (Beliefs-Desires-Intensions): Underlying Model for RGBDF Profiles Desires Intensions Actions Beliefs Observation Communication Goals Behavior Execution Context Roles RSCDF RSCDF RSCDF RSCDF RGBDF Jonker C., Terziyan V., Treur J., Temporal and Spatial Analysis to Personalize an Agent’s Dynamic Belief, Desire and Intention Profiles, In: M. Klush et al. (eds.), Cooperative Information Agents VII: Proceedings of the 7-th International Workshop on Cooperative Information Agents (CIA-2003), Helsinki, Finland, August 27-29, 2003, Lecture Notes in Artificial Intelligence, V. 2782, Springer-Verlag, pp. 289-315.
RG/BDFS Goal Statement
rgbdfs:Goal_Statement is a class of the “goal” instances. This class is similar to rscdfs:SR_Statement and is a subclass of it. Triple describes some fact-statement which is not true in the current resource state, but resource is aimed to make it true (an Agent intends to achieve this goal). Each goal is dynamic and can be aimed by resource in a certain context. rgbdfs:Goal_Statement SSS PPP rdf:subject rdf:object rscdfs:predicate rscdfs:Context_SR_Container rscdfs:trueInContext OOO rscdfs:falseInContext rscdfs:Context_SR_Container
RG/BDFS Goal Statement Example
rgbdfs:Goal_Statement Mirja has rdf:subject rdf:object rscdfs:predicate Mirja has birthday
Mirja likes flowers rscdfs:trueInContext flowers rscdfs:falseInContext Mirja has flowers
RG/BDFS Behaviour Statements rgbdfs:Behaviour_Statement is a class of the behaviour instances. This class is a subclass of rscdfs:SR_Statement with extended properties. rscdfs:ResourceAgent class plays role of the subject range. Range of the statement’s predicate is restricted by rgbdfs:B_Property class (subclass of the rscdfs:SR_Property). An object of the behaviour statement can be represented by rgbdfs:Behaviour_Container (container of nested behaviour statements if root behaviour is complex) or atomic execution. rscdfs:falseInContext property makes a link to goal container, which contains goal statement(s) (because behaving has a sense when a goal is not achieved). If the presence of a Goal is a necessary condition for the behaviour, then context statements (condition of the environment) is a sufficient condition (which is represented by contextual container via the rscdfs:trueInContext property). rgbdfs:Behaviour_Statement rscdfs:ResourceAgent rscdfs:Context_SR_Container rgbdfs:Behaviour_Container rdf:object rgbdfs:hasBehaviour rgbdfs:falseInContext rgbdfs:Goal_Container rscdfs:trueInContext rgbdfs:predicate rgbdfs:subject
Behaviour Statement Example rgbdfs:Behaviour_Statement rscdfs:ResourceAgent Agent has money Agent buys flowers
Agent comes to Mirja
Agent presents flowers to Mirja rdf:object rgbdfs:hasBehaviour rgbdfs:falseInContext Agent has presented flowers to Mirja rscdfs:trueInContext rgbdfs:predicate rgbdfs:subject
RG/BDFS Containers
rgbdfs:Behaviour_Statement rgbdfs:Behaviour_Statement rgbdfs:Behaviour_Statement rgbdfs:Goal_Statement rgbdfs:Goal_Statement rgbdfs:Goal_Statement rgbdfs:Goal_Container is a class of the goal container instances. This class is a subclass of rscdfs:SR_Container in general. It represents a container of goal statements, which define the goals. Such container plays a role of context (via rscdfs:falseInContext property) for a behaviour statement till the goal will be achieved, and that is why it is a direct subclass of rscdfs:Context_SR_Container. rgbdfs:gMember property is a redefined from rscdfs:member property and defines instance of the rgbdfs:Goal_Statement class as a member of the container.
rgbdfs:Behaviour_Container is a class of the behaviour container instances. As a subclass of rscdfs:SR_Statement it has a redefined rgbdfs:bMember property. A main role of the behaviour container is to collect the nested behaviours for a complex behaviour (represented by behaviour statement). rgbdfs:Goal_Container rgbdfs:gMember rgbdfs:Behaviour_Container rgbdfs:bMember
RG/BDFS Complex (nested) Goals
Some complex goals can be divided to the set of component sub-goals. Thus, goal container plays role of the goal set, members of which are sub goals of complex goal. A property rgbdfs:subGoal is defined in RG/BDFS-lite to specify the set of sub goals for a complex goal. The domain and range for this property are rgbdfs:Goal_Statement and rgbdfs:Goal_Container classes correspondingly. rscdfs:SR_Statement rscdfs:SR_Statement rscdfs:SR_Statement rgbdfs:Goal_Statement SSS PPP rdf:subject rdf:object rscdfs:predicate rscdfs:Context_SR_Container rscdfs:trueInContext OOO rgbdfs:Goal_Statement rgbdfs:Goal_Statement rgbdfs:Goal_Statement rgbdfs:Goal_Container rdf:object rscdfs:predicate rgbdfs:subGoal rdf:subject rscdfs:SR_Statement rscdfs:Context_SR_Container rscdfs:trueInContext
Comments