1 / 6

Diagrammatic Natural Deduction

Diagrammatic Natural Deduction. Heterogeneous Representations. People use both diagrams and text when they solve problems Any intelligent system must do the same Some problems are more efficiently solved with diagrams, others with text

ataret
Télécharger la présentation

Diagrammatic Natural Deduction

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Diagrammatic Natural Deduction

  2. Heterogeneous Representations • People use both diagrams and text when they solve problems • Any intelligent system must do the same • Some problems are more efficiently solved with diagrams, others with text • So we need a hybrid framework where we can combine the two

  3. What we want A framework that will allow us to: • Represent arbitrary diagrams • Represent arbitrary text • Derive new textual information from diagrams • Derive new diagrams from text and previous diagrams

  4. DNDL • A new framework for heterogeneous problem-solving • Formal syntax and semantics based on attribute structures and assumption bases • Arbitrary diagrams captured as system states • Users can reason with incomplete knowledge: three-valued logic

  5. Simple example 1: Thinning {4,5,6}:28 5:45 t2 t1 t1after t2 6:28 t1

  6. Simple example 2: Observe 6:28 5:45 t2 t1 | t1 – t2 | = 43 minutes

More Related