https://ontologforum.com/index.php?title=OntologySummit2017_Communique/Processes&feed=atom&action=historyOntologySummit2017 Communique/Processes - Revision history2024-03-29T12:10:14ZRevision history for this page on the wikiMediaWiki 1.39.0https://ontologforum.com/index.php?title=OntologySummit2017_Communique/Processes&diff=3484&oldid=previmported>KennethBaclawski at 03:18, 11 May 20172017-05-11T03:18:28Z<p></p>
<p><b>New page</b></p><div>This is a chapter of the [[OntologySummit2017_Communique|Ontology Summit 2017 Communiqu&eacute;]].<br />
<br />
== Processes involving Learning, Reasoning and Ontologies ==<br />
<br />
It should be obvious that learning, reasoning and ontologies occur within<br />
larger processes where they, and the relationships between them, form steps of<br />
the process. John Sowa proposed that “For intelligent systems, the cognitive<br />
cycle is more fundamental than any particular notation or algorithm.” Then he<br />
concluded that “By integrating perception, learning, reasoning, and action, the<br />
cycle can reinvigorate AI research and development.” [1] There are many<br />
examples of cognitive cycles where learning, reasoning and ontologies all<br />
occur. The scientific discovery process is an example with a long history. A<br />
great many other activities can be regarded as decision making cycles in which<br />
each iteration improves understanding and awareness. In the past, a single<br />
iteration of a cognitive cycle, such as the scientific discovery process, could<br />
take decades. Today, cognitive cycles occur more quickly, much more data must<br />
be processed and the data is more complex. Learning, reasoning and ontologies,<br />
and the relationships between them that are the subject of this Ontology<br />
Summit, can play important roles in cognitive cycles. Several previous summits<br />
are also relevant to the cognitive cycle, including the need to deal with<br />
massive amounts of data [[OntologySummit2014]] which come from large<br />
collections of sensors [[Ontology Summit 2015]] and require many steps that<br />
must interoperate [[OntologySummit2016]].<br />
<br />
=== Opportunities ===<br />
<br />
Combining learning, reasoning and ontologies within cognitive cycles introduces new opportunities.<br />
<br />
# The cognitive cycle is a process made up of interrelated steps. This can be modeled using process and workflow ontologies. For scientific discovery, ontologies for scientific materials and methods were developed in [2], and the process was represented using a workflow ontology in [3]. In [4], decision making processes are represented using an ontology. Capturing scientific knowledge about data and analytic processes can assist scientists in analyzing data systematically and efficiently. There are similar advantages for capturing knowledge about decision making processes. In both cases, formalization can help ensure that the questions being asked and conclusions being made are [http://ontologforum.org/index.php?title=OntologySummit2017_Communique&oldid=23838#hid1B8 precise]. In addition, by modeling the processes and workflows one can automate discovery and decision making processes.<br />
# By developing a domain-independent ontology of functions, structures and behavior, one can reuse the same techniques for other problems and in other domains. Indeed, one can use the cognitive cycle recursively, such as a cognitive cycle where the steps in the cycle are themselves cognitive cycles or a a higher-level cognitive cycle that manages another cognitive cycle [5].<br />
# Because a cognitive cycle has multiple steps as well as many iterations of the cycle, it is important to keep of record of what has been done. This has long been a fundamental requirement of scientific discovery, but it has been expressed in natural language in lab notebooks. Capturing the provenance of cognitive cycles in a more formal manner would have significant advantages, such as unambiguously determining priority and responsibility. Other advantages are to monitor and prevent misconduct and to ensure that inferences are [http://ontologforum.org/index.php?title=OntologySummit2017_Communique&oldid=23838#hid1B7 properly performed]. However, the most important advantage is the need to explain why steps were performed. Humans remain important in any cognitive cycle whose ultimate goal is to improve [http://ontologforum.org/index.php?title=OntologySummit2017_Communique&oldid=23838#hid1B3 understanding and awareness]. This is only possible if the cognitive cycle can explain itself.<br />
<br />
=== Challenges ===<br />
<br />
While combining learning, reasoning and ontologies within cognitive cycles has potential advantages, it is not commonly practiced. To the extent that such processes are automated at all, they are generally ad hoc and informal. For the scientific discovery process, it is necessary to use NLP to extract the materials and methods used by experiments [2] and the scientific hypotheses that are generated [3]. The challenge is to develop the required ontologies, to standardize them, to formulate best practices, and to convince communities to use them. In some cases, such as PROV-O for provenance [6], the ontology has been standardized, but other requirements of the cognitive cycle are less advanced. None of them are frequently used, and best practices are only starting to emerge.<br />
<br />
=== Future Prospects ===<br />
<br />
There are many roles that learning, reasoning and ontologies can play in<br />
the cognitive cycle. These include:<br />
<br />
Reasoning is fundamental for each of the steps in the cognitive cycle as well<br />
as the transition from one step to another step. Reasoning determines which<br />
facts produced by the sensors are relevant to the goal, whether scientific<br />
discovery or decision making. Reasoning is responsible for determining the<br />
best hypothesis or hypotheses that are supported by the relevant facts.<br />
Reasoning is used for making the decision about which hypothesis is the best<br />
and what should be done next.<br />
<br />
Learning can be used for processing the relevant sensor data. Learning can<br />
also be used for developing the ontology that organizes the data and gives it<br />
meaning. Learning can be used at a meta-level to optimize the cognitive cycle,<br />
to detect problems with the cycle, and to help correct problems. Still another<br />
use for learning is to develop a library of optimized modules that are<br />
available for constructing new cognitive processes. Ontologies and reasoning<br />
can be used to ensure that the modules [http://ontologforum.org/index.php?title=OntologySummit2017_Communique&oldid=23838#hid1B5 interoperate] with one another correctly<br />
in a new cognitive process.<br />
<br />
Ontologies play many roles in the cognitive cycle. They can formalize the<br />
whole process in a domain-independent manner which promotes reuse. Ontologies<br />
are closely connected with reasoning and [http://ontologforum.org/index.php?title=OntologySummit2017_Communique&oldid=23838#hid1B5 interoperability]. Ontologies can be<br />
the basis for maintaining provenance and for explaining the process, both of<br />
which promote human [http://ontologforum.org/index.php?title=OntologySummit2017_Communique&oldid=23838#hid1B3 understanding].<br />
<br />
=== References ===<br />
<br />
[1] John Sowa, Why Has AI Failed? And How Can It Succeed? <br />
<br />
[2] Baclawski, K. et al, Database techniques for biological materials &<br />
methods, First Int. Conf. Intell. Sys. Molecular Biology, pp 21-28. 1993.<br />
<br />
[3] Gil, Y., [https://s3.amazonaws.com/ontologforum/OntologySummit2017/TrackC/Gil-AutomatedDiscovery-OntologySummit2017_20170419.pdf]<br />
<br />
[4] Baclawski, K. et al, Framework for Ontology-Driven Decision Making, Journal<br />
of Applied Ontology, to appear.<br />
<br />
[5] K. Baclawski et al, Self-Adaptive Dynamic Decision Making Processes. In CogSIMA 2017. [http://cogsima2017.ieee-cogsima.org/files/2016/01/1570328101_Baclawski.pdf]<br />
<br />
[6] The PROV ontology at [https://www.w3.org/TR/prov-o/]</div>imported>KennethBaclawski