A Survey on Transit Map Layout - from Design, Machine, and Human Perspectives.

Transit maps are designed to present information for using public transportation systems, such as urban railways. Creating a transit map is a time-consuming process, which requires iterative information selection, layout design, and usability validation, and thus maps cannot easily be customised or updated frequently. To improve this, scientists investigate fully- or semi-automatic techniques in order to produce high quality transit maps using computers and further examine their corresponding usability. Nonetheless, the quality gap between manually-drawn maps and machine-generated maps is still large. To elaborate the current research status, this state-of-the-art report provides an overview of the transit map generation process, primarily from Design, Machine, and Human perspectives. A systematic categorisation is introduced to describe the design pipeline, and an extensive analysis of perspectives is conducted to support the proposed taxonomy. We conclude this survey with a discussion on the current research status, open challenges, and future directions.

Deductive reasoning in children with specific language impairment.

The diagnosis of specific language impairment (SLI) requires non-verbal ability to be in the normal range, but little is known regarding the extent to which general reasoning skills are preserved during development. A total of 122 children were tested; 40 SLI, 42 age-matched controls, and 40 younger language-matched controls. Deductive reasoning tasks were given in both verbal and pictorial presentation types, namely the relational inference task and the reduced array selection task (RAST). Pictorial presentation facilitated all groups for all tasks equally. For the relational inference task, SLI performance was below both age and language matches. For the RAST, contextual information facilitated all groups equally. SLI performance was intermediate between age and language matches. It is concluded that the non-verbal versus verbal distinction is a complex one and that non-verbal reasoning can draw upon linguistic processes. It is also suggested that SLI reasoning depends upon precise task demands, here the need to sequence information in working memory, and the need for explicit reasoning with conditional rules. Reasoning processes may not be equivalent to normally developing children, even when tasks appear non-verbal.

Explaining inappropriate strategy selection in a simple reasoning task.

People's strategy selections appear to reflect attempts to maximize performance by selecting the most effective option for a particular task or format. Theories that account for such behaviour will be named rational models of strategy selection. However, it is possible to find instances where people are apparently biased towards using less effective strategies, and such behaviour appears to go against these models. Two experiments are reported in which participants were instructed to use first one, and then the other of two possible strategies for solving a compass point directions task (the instructed phase), and were subsequently permitted to use any strategy (the free-choice phase). A substantial minority of participants selected the less effective spatial strategy during the free-choice phase. Overall, it was found that people who rely on the spatial strategy when given a free-choice tend to be those who: (1) have not been given particular incentive to perform as well as possible; (2) have difficulty executing the better alternative, cancellation and (3) are particularly prone to making errors at the spatial strategy. Hence, although evidence was found in support of rational models of strategy selection, it is also suggested that these must additionally take account of the motivational and conceptual difficulties that people may have with a task.

Categorical reasoning from multiple diagrams.

Syllogistic reasoning from categorical premise pairs is generally taken to be a multistep process. Quantifiers (all, no, some, some ... not) must be interpreted, representations constructed, and conclusions identified from these. Explanations of performance have been proposed in which errors may occur at any of these stages. The current paper contrasts (a) representation explanations of performance, in which errors occur because not all possible representations are constructed, and/or mistakes are made when doing so (e.g., mental models theory), and (b) conclusion identification explanations, in which errors occur even when information has been correctly and exhaustively represented, due to systematic difficulties that people may have when identifying particular conclusions, or in identifying conclusions in particular circumstances. Three experiments are reported, in which people identified valid conclusions from diagrams analogous to Euler circles, so that the first two stages of reasoning from premise pairs were effectively removed. Despite this, several phenomena associated with reasoning from premise pairs persisted, and it is suggested that whereas representation explanations may account for some of these phenomena, conclusion identification explanations, which have never previously been considered, are required for others.

Expanding the universe of categorical syllogisms: a challenge for reasoning researchers.

Syllogistic reasoning, in which people identify conclusions from quantified premise pairs, remains a benchmark task whose patterns of data must be accounted for by general theories of deductive reasoning. However, psychologists have confined themselves to administering only the 64 premise pairs historically identified by Aristotle. By utilizing all combinations of negations, the present article identifies an expanded set of 576 premise pairs and gives the valid conclusions that they support. Many of these have interesting properties, and the identification of predictions and their verification will be an important next step for all proponents of such theories.

Belief bias and relational reasoning.

When people evaluate categorical syllogisms, they tend to reject unbelievable conclusions and accept believable ones irrespective of their validity. Typically, this effect is particularly marked for invalid conclusions that are possible, but do not necessarily follow, given the premises. However, smaller believability effects can also be detected for other types of conclusion. Three experiments are reported here, in which an attempt was made to determine whether belief bias effects can manifest themselves on the relational inference task. Subjects evaluated the validity of conclusions such as William the Conqueror was king after the Pyramids were built (temporal task) or Manchester is north of Bournemouth (spatial task) with respect to their premises. All of the major findings for equivalent categorical syllogism tasks were replicated. However, the overall size of the main effect of believability appears to be related to task presentation, a phenomenon not previously identified for categorical syllogisms and which current theories of belief bias have difficulty explaining.

The elusive matching bias effect in the disjunctive selection task.

When reasoning with conditional statements (i.e., if [not] p then [not] q), for example when solving Wason's selection task, subjects tend to display matching bias: Options which match the entities named in the rule tend to be selected irrespective of whether this is logically appropriate. Recently, there have been suggestions that the underlying causes of matching bias reflect a general phenomenon that applies to many types of logical rule, not just conditionals. A study is reported in which performance is investigated for selection tasks with categorical or disjunctive rules. Although matching bias was clearly present for categorical rules, inverted matching bias was identified for disjunctive rules, calling into question the generality of the phenomenon and its explanations. In addition, performance at one task was not correlated with performance at the other, calling into question recent cognitive capacity accounts of selection task performance.