[Crm-sig] CRM HW: issue 252

[martin]

Dear Simon

On 4/2/2015 4:15 μμ, Simon Spero wrote:
>
> I think the use of "about" may be confusing  (at least to me).
>
May be a question to clarify with native English speakers?
>
> I've got a vague feeling that there might be some benefit in
>
> (a)  making explicit the quotational nature of the elements of a 
> belief , in the way that the "(that <sentence>)" operator in IKL does.
>
How would you express that?:-)
>
> (b) making explicit what may be inferred about what a Believer 
> believes, based on set of believed sentences.
> Doxastic logics (logics about belief) have many of the same problems 
> as epistemic logics.
>
> For example,
>     if Fred believes that "P" and
>        Fred believes that "Q"
>    it may not be the case that Fred believes that "P and Q", even 
> though the latter is entailed by classical propositional logic.
>
> CRM doesn't need the fancy stuff, but it might be good to make the 
> rules a little bit more explicit (this seems to be the direction the 
> edit is going).
>
I agree with the problems, but I'd argue the intention of CRMInf is 
monitoring arguments, not commiting
to explicit rules. We take here a more empirical stance towards how 
scholars and scientists argue, and not
what rules could be machine-evaluated. First we need to document, then 
we can select what we can reason about. I hope I have interpreted 
correctly what you mean by "rules" ?
>
> Cyc has the useful concept of the propositional content of a work, 
> which denoted the microtheory containing all the propositions 
> expressed by the work.  This seems to be close to what is being 
> described here.
>
Could you give us an explicit reference:-) ? I think we should make more 
references in our documents.

Best,

martin
>
> Simon
>
> On Feb 3, 2015 7:54 AM, "martin" <martin at ics.forth.gr 
> <mailto:martin at ics.forth.gr>> wrote:
>
>     Dear All,
>
>     I'd like to revise:
>     Scope note:This class comprises the sets of formal, binary
>     propositions that an I2 Belief is held about. It              
>     could be implemented as a named graph, a spreadsheet or any other
>     structured data-set.                                   Regardless
>     the specific syntax employed, the effective propositions it
>     contains should be constituted  by unambiguous identifiers,
>     concepts of a formal ontology and constructs of logic.
>
>     On 2/2/2015 5:20 μμ, martin wrote:
>>     Dear All,
>>
>>     CRM Inf I4 Proposition Set has the following scope note:
>>
>>     Scope note:This class comprises the sets of propositions that an
>>     I2 Belief is held about. It could be implemented as a named
>>     graph, a spreadsheet or any other structured data-set.
>>
>>     I believe this is not clear enough in contrast to E89
>>     Propositional Object.
>>
>>     I propose:
>>
>>     Scope note:This class comprises the sets of formal, binary
>>     propositions that an I2 Belief is held about. It could be
>>     implemented as a named graph, a spreadsheet or any other
>>     structured data-set. Regardless the specific
>>     syntax employed, the effective propositions it contains should be
>>     constituted  by unambiguous identifiers and concepts of a formal
>>     ontology.
>>
>>
>>
>>
>>
>
>
>     -- 
>
>     --------------------------------------------------------------
>       Dr. Martin Doerr              |  Vox:+30(2810)391625        |
>       Research Director             |  Fax:+30(2810)391638        |
>                                     |  Email:martin at ics.forth.gr  <mailto:martin at ics.forth.gr>  |
>                                                                   |
>                     Center for Cultural Informatics               |
>                     Information Systems Laboratory                |
>                      Institute of Computer Science                |
>         Foundation for Research and Technology - Hellas (FORTH)   |
>                                                                   |
>                     N.Plastira 100, Vassilika Vouton,             |
>                      GR70013 Heraklion,Crete,Greece               |
>                                                                   |
>                   Web-site:http://www.ics.forth.gr/isl            |
>     --------------------------------------------------------------
>
>
>     _______________________________________________
>     Crm-sig mailing list
>     Crm-sig at ics.forth.gr <mailto:Crm-sig at ics.forth.gr>
>     http://lists.ics.forth.gr/mailman/listinfo/crm-sig
>


-- 

--------------------------------------------------------------
  Dr. Martin Doerr              |  Vox:+30(2810)391625        |
  Research Director             |  Fax:+30(2810)391638        |
                                |  Email: martin at ics.forth.gr |
                                                              |
                Center for Cultural Informatics               |
                Information Systems Laboratory                |
                 Institute of Computer Science                |
    Foundation for Research and Technology - Hellas (FORTH)   |
                                                              |
                N.Plastira 100, Vassilika Vouton,             |
                 GR70013 Heraklion,Crete,Greece               |
                                                              |
              Web-site: http://www.ics.forth.gr/isl           |
--------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20150204/45c5dd89/attachment-0001.html>