1 / 13

Remarks on Bringsjord’s NIMD R&D

Remarks on Bringsjord’s NIMD R&D. Selmer Bringsjord (w/ JW, WG, MS,…) Professor of Logic, Cognitive Science, and Computer Science Rensselaer AI & Reasoning (RAIR) Laboratory (Director) Department of Cognitive Science (Chair) Department of Computer Science

ponce
Download Presentation

Remarks on Bringsjord’s NIMD R&D

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. Remarks on Bringsjord’s NIMD R&D Selmer Bringsjord (w/ JW, WG, MS,…) Professor of Logic, Cognitive Science, and Computer Science Rensselaer AI & Reasoning (RAIR) Laboratory (Director) Department of Cognitive Science (Chair) Department of Computer Science Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA 4.21.03 @ RPI

  2. Top-Level Architecture Sketch

  3. Top-Level Architecture Sketch Need both pair of P/A arrows perpetually: ° horizontal makes assisting human IA possible ° vertical makes simulating reasoning of human IA possible

  4. Very Rough

  5. Scenario Structure Needed

  6. Remember: Scenario Has to be Formalized Proof 1

  7. Step #2 in Scenario Formalization Proof 2

  8. Demonstrating this w/ OTTER… First please note:

  9. Selmer’s Hypotheses • Non-analysts with three or more courses in formal logic will outperform trained analysts will years of experience when both groups’ performance is measured in connection with well-defined scenarios. • The training of analysts is more efficacious when extensive training in formal logic (three or more courses) is provided.

  10. (Mini) Scenario #1 (1) The following three assertions are either all true or all false: If Billy is an Al Qaeda sleeper, Doreen is. If Doreen is an Al Qaeda sleeper, Frank is as well. If Frank is an Al Qaeda sleeper, so is Emma. (2) The following assertion is definitely true: Billy is an Al Qaeda sleeper. Can it be inferred from (1) and (2) that Emma is an Al Qaeda sleeper?

  11. (Mini) Scenario #2 If one of the following assertions is true then so is the other: (1) There is an Al Qaeda sleeper in United Airlines’ baggage crew if and only if there is an employee who is a member of Ayran Brotherhood in UA’s baggage crew. (2) There is an Al Qaeda sleeper in UA’s baggage crew. Which is more likely to be in the UA crew, if either: the sleeper or the employee who is a member of AB?

  12. THE END

More Related