Posted by
Marcus G. Daniels on
Feb 21, 2015; 12:45am
URL: http://friam.383.s1.nabble.com/Fwd-Share-Your-Knowledge-Taxonomy-Boot-Camp-tp7586090p7586094.html
Steve writes:
> Most recently, I worked with other UNM Researchers, Dr's Caudell,
> Gilfeather, Lugar, Taha, et al on a project ultimately entitled "Faceted
> Ontologies" which was primarily about building, from open source
> Intelligence, knowledge structures, developing a normalized model for
> them, and providing tools for extracting specific aggregate knowledge
> *from* those sources, and very specifically presented *as* a structure,
> not simply a list of factoids or simple linear report. The tools from
> my former two projects were to be developed further to support the
> visualization, as it were, from multiple conceptual viewpoints (aka
> "facets" of the ontology). This was a *very* ambitious project and the
> basic underpinnings (building formal models of ontologies on top of
> Category Theory) were done.
I imagine starting with unstructured graphs of entities and creating
functions. Or in category speak, from objects and edges to precise,
well-typed edges -- morphisms. What is the information agents act upon,
and what are the causal relationships? Can a particular set of agents
and actions be shown to be sound or unsound in the model? More
importantly, the automated means to abductively propose that model.
For example, reject unlikely things like "The Columbian cartel kingpin
arrested the DEA agent."
Dependent type languages like Agda, or functional logic programming
languages like Mercury would seem like good tools -- so that if it
compiles (type-checks), it is sound within the ontology.
Yeah, really diving in to this is complex on many dimensions.
Marcus
============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
to unsubscribe
http://redfish.com/mailman/listinfo/friam_redfish.com