type of logic

Have new ideas for the next release of IHMC CmapTools and IHMC CmapServer?
We welcome your suggestions and we will carefully consider whether to incorporate them into the software.
Post Reply
Posts: 3
Joined: Tue Oct 06, 2020 12:18 pm

type of logic

Post by metaphorz99 »

For the concept map, has anyone written on how this fits into formal logic? I just finished some videos for my class on logic
and will next branch into knowledge representation (where I will include CMAPTools). I know of some debates on what
counts as "knowledge representation" but from a common sense perspective, CMAPs would seem to qualify despite not having
symbolic inference, quantification, and variables.
Posts: 753
Joined: Tue Mar 17, 2009 5:52 pm

Re: type of logic

Post by acanas »

Concept maps are a knowledge representation that mediates between humans. That is, concept maps are meant to be read by other humans, not by machines. As such, they are less formal, have few rules, and thus are hard to interpret by machines. Once you start formalizing concept maps you end up with ontologies, that are meant to be a way to mediate with computers, not with other humans.
Post Reply