Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 7 of 7
Full-Text Articles in Physical Sciences and Mathematics
Performance Tuning In Answer Set Programming, Matt Buddenhagen, Yuliya Lierler
Performance Tuning In Answer Set Programming, Matt Buddenhagen, Yuliya Lierler
Computer Science Faculty Proceedings & Presentations
Performance analysis and tuning are well established software engineering processes in the realm of imperative programming. This work is a step towards establishing the standards of performance analysis in the realm of answer set programming -- a prominent constraint programming paradigm. We present and study the roles of human tuning and automatic configuration tools in this process. The case study takes place in the realm of a real-world answer set programming application that required several hundred lines of code. Experimental results suggest that human-tuning of the logic programming encoding and automatic tuning of the answer set solver are orthogonal (complementary) …
Subgoals, Context, And Worked Examples In Learning Computing Problem Solving, Briana B. Morrison, Lauren E. Margulieux, Mark Guzdial
Subgoals, Context, And Worked Examples In Learning Computing Problem Solving, Briana B. Morrison, Lauren E. Margulieux, Mark Guzdial
Computer Science Faculty Proceedings & Presentations
Recent empirical results suggest that the instructional material used to teach computing may actually overload students' cognitive abilities. Better designed materials may enhance learning by reducing unnecessary load. Subgoal labels have been shown to be effective at reducing the cognitive load during problem solving in both mathematics and science. Until now, subgoal labels have been given to students to learn passively. We report on a study to determine if giving learners subgoal labels is more or less effective than asking learners to generate subgoal labels within an introductory CS programming task. The answers are mixed and depend on other features …
Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman
Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman
Computer Science Faculty Proceedings & Presentations
Resolving attachment ambiguities is a pervasive problem in syntactic analysis. We propose and investigate an approach to resolving prepositional phrase attachment that centers around the ways of incorporating semantic knowledge derived from the lexico-semantic ontologies such as VERBNET and WORDNET.
An Abstract View On Modularity In Knowledge Representation, Yuliya Lierler, Miroslaw Truszczyński
An Abstract View On Modularity In Knowledge Representation, Yuliya Lierler, Miroslaw Truszczyński
Computer Science Faculty Proceedings & Presentations
Modularity is an essential aspect of knowledge representation and reasoning theory and practice. It has received substantial attention. We introduce model-based modular systems, an abstract framework for modular knowledge representation formalisms, similar in scope to multi-context systems but employing a simpler information-flow mechanism. We establish the precise relationship between the two frameworks, showing that they can simulate each other. We demonstrate that recently introduced modular knowledge representation formalisms integrating logic programming with satisfiability and, more generally, with constraint satisfaction can be cast as modular systems in our sense. These results show that our formalism offers a simple unifying framework for …
The Winograd Schema Challenge And Reasoning About Correlation, Dan Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael
The Winograd Schema Challenge And Reasoning About Correlation, Dan Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael
Computer Science Faculty Proceedings & Presentations
The Winograd Schema Challenge is an alternative to the Turing Test that may provide a more meaningful measure of machine intelligence. It poses a set of coreference resolution problems that cannot be solved without human-like reasoning. In this paper, we take the view that the solution to such problems lies in establishing discourse coherence. Specifically, we examine two types of rhetorical relations that can be used to establish discourse coherence: positive and negative correlation. We introduce a framework for reasoning about correlation between sentences, and show how this framework can be used to justify solutions to some Winograd Schema problems.
Subgoals Help Students Solve Parsons Problems, Briana B. Morrison, Lauren E. Margulieux, Barbara Ericson, Mark Guzdial
Subgoals Help Students Solve Parsons Problems, Briana B. Morrison, Lauren E. Margulieux, Barbara Ericson, Mark Guzdial
Computer Science Faculty Proceedings & Presentations
We report on a study that used subgoal labels to teach students how to write while loops with a Parsons problem learning assessment. Subgoal labels were used to aid learning of programming while not overloading students' cognitive abilities. We wanted to compare giving learners subgoal labels versus asking learners to generate subgoal labels. As an assessment for learning we asked students to solve a Parsons problem – to place code segments in the correct order. We found that students who were given subgoal labels performed statistically better than the groups that did not receive subgoal labels or were asked to …
Usability And Usage Of Interactive Features In An Online Ebook For Cs Teachers, Barbara Ericson, Steven Moore, Briana B. Morrison, Mark Guzdial
Usability And Usage Of Interactive Features In An Online Ebook For Cs Teachers, Barbara Ericson, Steven Moore, Briana B. Morrison, Mark Guzdial
Computer Science Faculty Proceedings & Presentations
There are too few secondary school computing teachers to meet international needs for growing secondary school computing education. Our group has created an ebook to help prepare secondary teachers to teach the programming and big data concepts in the new AP Computer Science Principles course. The ebook was designed using principles from educational psychology, specifically worked examples and cognitive load. The ebook interleaves worked examples and interactive practice activities, which we believe will lead to more efficient and effective learning than more typical approaches to learning programming. This paper reports the results from initial studies of our ebook. First, we …