title: Proving the existence of solutions in logical arithmetic

authors: Cleary, John G.

subjects: computer science

abstract: Logical arithmetic is a logically correct technique for real arithmetic in Prolog which uses constraints over interval representations for its implementation.  Four problems with the technique are considered: answers are conditional and uninformative; iterative computations may lead to unboundedly large constraint networks; it is difficult and ineffective to deal with negation; and computing extrema is often not effective.  A solution to these problems is proposed in the form of "existential intervals" which record the existence of a solution to a set of constraints within an interval.  It is shown how to operate on existential intervals and how they solve the four problems.

text: Proving the existence of solutions in logical arithmetic Logical arithmetic is a logically correct technique for real arithmetic in Prolog which uses constraints over interval representations for its implementation.  Four problems with the technique are considered: answers are conditional and uninformative; iterative computations may lead to unboundedly large constraint networks; it is difficult and ineffective to deal with negation; and computing extrema is often not effective.  A solution to these problems is proposed in the form of "existential intervals" which record the existence of a solution to a set of constraints within an interval.  It is shown how to operate on existential intervals and how they solve the four problems.

year: 1993-10

title: Getting students to engage with readings

authors: Weijers, Dan M.

abstract: Ever wondered how many of your students attempt or complete their readings? Ever worried that when students do attempt the readings that they fail to remember or even understand the important points? If we are to implement a flipped approach to our teaching, then we need our students to be able to read complex texts independently. I will discuss a strategy that I use in my philosophy classes to train students into becoming independent readers, and encourage them to complete all of the reading set for the class.

text: Getting students to engage with readings Ever wondered how many of your students attempt or complete their readings? Ever worried that when students do attempt the readings that they fail to remember or even understand the important points? If we are to implement a flipped approach to our teaching, then we need our students to be able to read complex texts independently. I will discuss a strategy that I use in my philosophy classes to train students into becoming independent readers, and encourage them to complete all of the reading set for the class.

year: 2017

title: AI: a new (r)evolution or the new colonizer for Indigenous peoples?

authors: Whaanga, Hēmi

abstract: We are often told that there is one constant in life and that is change; it is inevitable, inescapable. When the forces of power begin to blow and conditions are right, change will happen. As the planet undergoes a period of transformation brought about by the advances of data science and the convergence of technologies, the Internet of All Things and AI, the potential of AI to be change agent for Indigenous peoples is a thought-provoking, and to a certain degree, daunting proposition. The rapid progress of technology and innovation, in terms of its volume, complexity, and exponential growth in computing power, have drastically changed how we socialize, communicate, access, share, distribute and view knowledge and information. Is AI inevitable, inescapable, a fait accompli for Indigenous peoples?

text: AI: a new (r)evolution or the new colonizer for Indigenous peoples? We are often told that there is one constant in life and that is change; it is inevitable, inescapable. When the forces of power begin to blow and conditions are right, change will happen. As the planet undergoes a period of transformation brought about by the advances of data science and the convergence of technologies, the Internet of All Things and AI, the potential of AI to be change agent for Indigenous peoples is a thought-provoking, and to a certain degree, daunting proposition. The rapid progress of technology and innovation, in terms of its volume, complexity, and exponential growth in computing power, have drastically changed how we socialize, communicate, access, share, distribute and view knowledge and information. Is AI inevitable, inescapable, a fait accompli for Indigenous peoples?

year: 2020