Coursework Master’s Coursework Master’s Thesis Proposal Thesis Proposal December 1999 December 1999 University of South Australia University of South Australia School of Computer and Information Science School of Computer and Information Science Student: David Benn Student: David Benn Supervisor: Dan Corbett Supervisor: Dan Corbett Implementing Conceptual Graph Implementing Conceptual Graph Processes Processes
Coursework Master’s Thesis Proposal. December 1999 University of South Australia School of Computer and Information Science Student: David Benn Supervisor: Dan Corbett Implementing Conceptual Graph Processes. Plan. Conceptual Graphs Mineau’s Processes Implementing Processes - PowerPoint PPT Presentation
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
• Sowa [1984] introduced PROPOSITION concept type where referent is set of CGs.
• Mineau & Gerbe´ [1997] formalised contexts.• Intention constrains CGs in extension. (WoA)• Can be used to structure a KB.• Equations to extract graphs by intention, etc.• See Appendix A for overview of contexts.
David Benn, December 1999
17
Research IssuesResearch Issues• How to represent processes
– Syntactically? Algorithmically?
– Can actors, demons, processes have one syntax & representation? Will latter be inefficient? (see p. 11)
• Retraction mechanism– (to_do) vs (done) in algorithm example– Erasure: replacing any CG with “blank”. [Sowa 1999]
• When should process engine stop?– Specify ≥ 1 rules upon which to stop?
– No more matching preconditions?
– Always run to completion or permit stop & restart?
David Benn, December 1999
18
Research Issues (continued)Research Issues (continued)• Interaction with other systems (e.g. CharGer
[Delugach 1999]): CG import, export.• Behaviour of implementation vs original
conception. What has Mineau missed?• Applicability of process mechanism
– [Mineau 1998] only gave factorial as example.
– Needs to be demonstrated on more complex application, e.g. business processes, something more interesting?
David Benn, December 1999
19
Other Research IssuesOther Research Issues• Automatic generation of rule sets. Difficult.• Soundness and completeness
– Do two postconditions conflict?
– [Mineau 1999a]: constraints on processes
• Conceptual Programming Environment– Logic and imperative programming.
– How does current work fit in with this goal (stated in [Mineau 1998])?
• Relationship to other work on dynamic CGs, dataflow languages, etc?
• Higher order processes?
David Benn, December 1999
20
TimelineTimeline• Literature Review
(February, March)• Scope & features
(April)• Design & implement
(May, June, July)• Examples (August,
September)– Factorial– Business processes etc
• Write thesis (October, November)
Lit. Review
Scope
Implement
Examples
Write thesis
David Benn, December 1999
21
ReferencesReferences[Delugach 1999] Delugach, H. CharGer: A Conceptual Graph Editor, [Accessed Online: December 1999], URL: http://www.cs.uah.edu/~delugach/CharGer/
[Gerbe´, Keller & Mineau 1998] Gerbe´, O., Keller, R., Mineau, G. Conceptual Graphs for Representing Business Processes in Corporate Memories. In Proceedings of the 6th International Conference on Conceptual Structures, pp. 401-415, 1998.
[Mineau & Gerbe´ 1997] Mineau, G. & Gerbe´, O. Contexts: A Formal Definition of Worlds of Assertions. In Proceedings of the 5th International Conference on Conceptual Structures, pp. 80-94, 1997.
[Mineau 1998] Mineau, G. From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs. In Proceedings of the 6th International Conference on Conceptual Structures, pp. 65-79, 1998.
[Mineau 1999a] Mineau, G. Constraints on Processes: Essential Elements for the Validation and Execution of Processes. In Proceedings of the 7th International Conference on Conceptual Structures, pp. 66-82, 1999.
David Benn, December 1999
22
References (continued)References (continued)[Mineau 1999b] Mineau, G. E-mail correspondence from Guy Mineau to David Benn, 1st December, 1999.
[Southey & Linders 1999] Southey, F. & Linders, J.G., Notio — A Java API for developing CG tools. In Proceedings of the 7th International Conference on Conceptual Structures, 1999.
[Sowa 1984] Sowa, J., F. Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, 1984.
[Sowa 1999] Sowa, J.F. et al, Conceptual Graph Standard, draft proposed American National Standard (dpANS) NCITS.T2/98-003, 1999. [Accessed Online: November 1999], URL: http://www.bestweb.net/~sowa/cg/cgdpansw.htm
[Sowa 2000] Sowa, J., F. Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole, 2000.