TPTP meeting, 2008-07-16

From Tetherless World Wiki

Event Info [ Edit ]
Type	Tetherless Event
Title	TPTP meeting
Location	Skype
When	2008/07/16 12:00:00 PM - 2008/07/16 12:50:00 PM
Abstract
Webpage
More Details (out-links) Known participant(s) Deborah L. McGuinness, Li Ding, Cynthia Chang, Geoff Sutcliffe What Links Here (in-links)

This is a protected page. Content of the page can only be seen by registered users.

Related project: TPTP-PML

agenda

• versioning in TPTP inference engine
• video demo
• IWSearch in TPTP space
• are any of the tptp provers working with common logic
• omdoc
• next meeting

notes

versioning in TPTP inference engine

• done
• Cynthia and Geoff

IW tools demo

• not yet
• content? 5 minutes for each of the tools mentioned Australia paper (August); use agatha example as theme
• todo: produce video (geoff)
• todo: need demo script: IWBrowser (Cynthia), NodeSet Browser(Geoff), ProbeIt(Nick/Paulo), IWsearch(Li)
• note: demo Script == URLs, rough sequence of things to show, reasons why to show it.
• date: first draft due before the next TPTP meeting(by Sunday);
• date: Geoff can start produce the video by the end of July

are any of the tptp provers working with common logic

• Yes - the prover Tau uses it.
• There is is export from TPTP to CL
• Randall Schulz (Randy); Jay Halcomb
• http://hsinfosystems.com/taujay/index.html
• http://en.wikipedia.org/wiki/Tau_(theorem_prover)
• Randy and Jay have written an extension to CL to express ATP problems.
• Jay Halcomb, Randall Schulz, "Tau: A Web-Deployed Hybrid Prover for First-Order Logic with Identity, with Optional Inductive Proof", 2005, http://www.hsinfosystems.com/Workshop.pdf.

omdoc

• https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2/examples/
• geoff has initated a email without heard back, we guess everyone are busy on their work
• we should better finished we have started before move the next target

next meeting

• todo: discuss the IW tools demo scripts (due mid-night sunday )
• noon Moday ET (July 21)
• paulo and nick are expected

outcome

• next meeting Moday ET (July 21), will discuss the demo scripts
• todo: need demo script: IWBrowser (Cynthia), NodeSet Browser(Geoff), ProbeIt(Nick/Paulo), IWsearch(Li)