Washington and Lee University Library
    • Login
    View Item 
    •   Digital Archive Home
    • W&L University Student Scholarship
    • W&L Dept. of Computer Science
    • View Item
    •   Digital Archive Home
    • W&L University Student Scholarship
    • W&L Dept. of Computer Science
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Robot Socrates: Contradiction Identification with Minimum Questioning (thesis)

    Thumbnail
    View/Open
    Honors thesis (232.4Kb)
    Author
    Marmorstein, Richard J.
    Subject
    Washington and Lee University -- Honors in Computer Science
    Contradiction
    Paradox
    Questions and answers -- Computer programs
    Computer algorithms
    Metadata
    Show full item record
    Description
    Thesis; [FULL-TEXT RESTRICTED TO WASHINGTON AND LEE UNIVERSITY LOGIN]
     
    Richard J. Marmorstein is a member of the Class of 2014 of Washington and Lee University.
     
    I develop a concept of computer-assisted Socratic dialogue, aimed to enable productive and efficient argumentation. The goal is a framework for argumentation that is as rigorous as a formal debate, yet as convenient as an online quiz. A human specifies questions and answer choices, and designates certain sets of answer choices as contradictory. The computer's task is to end the dialogue asking as few questions as possible, by eliciting a set of answers from a questionee that either includes a contradiction, or eliminates the possibility of any contradiction. I formalize this minimum questioning problem, and prove it is NP-hard. I then analyze the problem in terms of a trade-off between asking questions that are most likely to achieve immediate progress towards termination, and asking questions which are most likely to yield knowledge which will lead towards greater progress towards termination in the future. I develop a greedy algorithm that maximizes a multi-objective utility function embodying this trade-off, and evaluate its performance on a set of randomly generated dialogues and questionees. Results suggest that favoring future progress over immediate progress is a better strategy only in contrived cases. The algorithm is able to adapt well between between contradictory and non-contradictory cases, requiring on average only a fifth as many questions as random question selection in the contradictory case, and less than half as many questions in the non-contradictory case.
     
    Richard Marmorstein
     
    URI
    http://hdl.handle.net/11021/27315
    Collections
    • W&L Dept. of Computer Science

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of the Digital ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV