[Crm-sig] CRM HW: issue 252
martin
martin at ics.forth.gr
Wed Feb 4 17:19:47 EET 2015
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>
More information about the Crm-sig
mailing list