On 7/30/13 9:52 AM, John F Sowa wrote:
> The title of my talk in that planning session was "Relating Classical
> and Nonmonotonic Logic." As a result of the discussion with the other
> participants, I added six more slides to my talk, and I changed the
> title to emphasize the point I was trying to make:
>
> http://www.jfsowa.com/talks/sharing.pdf
> Knowledge Sharing Among Heterogeneous Agents
>
> My new title emphasizes the goal: Use a classical logic, such as
> Common Logic, as the basis for message passing among agents that
> use an open-ended variety of different logics -- or no explicit
> logic of any kind. That was the original goal of the proposal
> for the Semantic Web by Tim Berners-Lee in February 2000.
>
> My primary claim is that knowledge sharing among agents that use any
> kind of reasoning method -- classical, nonmonotonic, probabilistic,
> statistical, heuristic, case-based, fuzzy, or quirky (procedural) --
> can and should be based on passing messages that are stated in
> classical FOL, possibly supplemented with metadata stated in FOL.
>
> Slide 20 (copy below) summarizes the conclusions. Slide 19 says
> that there is more to come. I would appreciate any comments,
> suggestions, or complaints.
>
> John
> ______________________________________________________________________
>
> Source: Slide 20 of http://www.jfsowa.com/talks/sharing.pdf
>
> FOUNDATION FOR KNOWLEDGE SHARING
>
> Model-theoretic semantics is key to all versions of logic:
>
> ● Classical logic has a fixed set of axioms (assumptions and
> constraints) and a fixed set of models.
>
> ● Nonmonotonic methods may change the assumptions, constraints,
> and models during the reasoning process.
>
> ● Heuristics, probability, statistics, case-based reasoning, and
> fuzzy logic use a wider range of metalevel reasoning.
>
> ● But the semantics of every method of reasoning is based on an
> evaluation function that determines truth values in terms of models.
>
> Basis for message passing among heterogeneous agents:
>
> ● All agents can reason with statements in FOL or some subset of FOL.
>
> ● All agents can assert statements in FOL.
>
> ● Messages should consist of FOL statements with FOL metadata.
>
> ● The metadata may state assumptions, constraints, and qualifications,
> such as probabilities, error bounds, or fuzzy values.
>
> ● Any agent may use its own methods to interpret any message.
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> (01)
Great presentation! (02)
Can I upload to slideshare on your behalf? (03)
-- (04)
Regards, (05)
Kingsley Idehen
Founder & CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca handle: @kidehen
Google+ Profile: https://plus.google.com/112399767740508618350/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen (06)
smime.p7s
Description: S/MIME Cryptographic Signature
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|