Abstracting Web Agent Proofs into Human-Level Justifications
نویسندگان
چکیده
ing Web Agent Proofs into Human-Level Justifications Vasco Furtado, Paulo Pinheiro da Silva, Deborah McGuinness, Priyendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vladia Pinheiro, CynthiaChang 1 Universidade de Fortaleza, Fortaleza, CE, Brazil on sabbatical at Stanford University University of Texas, El Paso, TX, USA 3 KSL, Stanford University, Stanford, CA, USA Google Inc., Palo Alto, CA, USA [email protected], [email protected], [email protected],[email protected], [email protected], [email protected], [email protected], [email protected]
منابع مشابه
Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications
The Logic of Proofs, LP, and its successor, Justification Logic, is a refinement of the modal logic approach to epistemology in which proofs/justifications are taken into account. In 2000 Kuznets showed that satisfiability for LP is in the second level of the polynomial hierarchy, a result which has been successfully repeated for all other one-agent justification logics whose complexity is know...
متن کاملTowards Reusable Explanation Services in Protege
We present several extensions of the explanation facility of the ontology editor Protege. Currently, explanations of OWL entailments in Protege are provided as justifications—minimal subsets of axioms that entail the given axiom. The plugin called ‘explanation workbench’ computes justifications using a black-box algorithm and displays them in a convenient way. Recently, several other (mostly gl...
متن کاملClustering-Aided Page Object Generation for Web Testing
To decouple test code from web page details, web testers adopt the Page Object design pattern. Page objects are facade classes abstracting the internals of web pages (e.g., form fields) into high-level business functions that can be invoked by test cases (e.g., user authentication). However, writing such page objects requires substantial effort, which is paid off only later, during software evo...
متن کاملThe Presentation of Proofs at theAssertion Level
Most automated theorem provers suuer from the problem that they can produce proofs only in formalisms diicult to understand even for experienced mathematicians. EEorts have been made to transform such machine generated proofs into natural deduction (ND) proofs. Although the single steps are now easy to understand, the entire proof is usually at a low level of abstraction, containing too many te...
متن کاملGuiding User Choice During Discussion by Silence, Examples and Justifications
This paper describes an approach for guiding human choice-making by a computerized agent, in a conversational setting, where both user and agent provide meaningful input. In the proposed approach, the agent attempts to convince a person by providing examples for the person to emulate or by providing justifications for the person to internalize and build or change her preferences accordingly. Th...
متن کامل