A review of proposed principles of causal non-monotonic reasoning

Within Non-monotonic Reasoning, numerous principles of causal reasoning have been proposed. Many of these principles have been viewed as desirable in formalisms that reason with causality, and have been widely adopted throughout the literature. We provide a critique of these principles, evaluate their suitability for characterising and formulating causal non-monotonic reasoning, and find that most are unsuitable. Further, we discuss a new approach to causal non-monotonic reasoning motivated by how humans typically reason with causality

A review of proposed principles of causal non-monotonic reasoning

Within Non-monotonic Reasoning, numerous principles of causal reasoning have been proposed. Many of these principles have been viewed as desirable in formalisms that reason with causality, and have been widely adopted throughout the literature. We provide a critique of these principles, evaluate their suitability for characterising and formulating causal non-monotonic reasoning, and find that most are unsuitable. Further, we discuss a new approach to causal non-monotonic reasoning motivated by how humans typically reason with causality

On Loop Formulas with Variables

Recently Ferraris, Lee and Lifschitz proposed a new definition of stable models that does not refer to grounding, which applies to the syntax of arbitrary first-order sentences. We show its relation to the idea of loop formulas with variables by Chen, Lin, Wang and Zhang, and generalize their loop formulas to disjunctive programs and to arbitrary first-order sentences. We also extend the syntax of logic programs to allow explicit quantifiers, and define its semantics as a subclass of the new language of stable models by Ferraris et al. Such programs inherit from the general language the ability to handle nonmonotonic reasoning under the stable model semantics even in the absence of the unique name and the domain closure assumptions, while yielding more succinct loop formulas than the general language due to the restricted syntax. We also show certain syntactic conditions under which query answering for an extended program can be reduced to entailment checking in first-order logic, providing a way to apply first-order theorem provers to reasoning about non-Herbrand stable models.Comment: 10 pages. In Proc. Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pages 444-453. arXiv admin note: text overlap with arXiv:1401.389

Roots of language

Roots of language was originally published in 1981 by Karoma Press (Ann Arbor). It was the first work to systematically develop a theory first suggested by Coelho in the late nineteenth century: that the creation of creole languages somehow reflected universal properties of language. The book also proposed that the same set of properties would be found to emerge in normal first-language acquisition and must have emerged in the original evolution of language. These proposals, some of which were elaborated in an article in Behavioral and Brain Sciences (1984), were immediately controversial and gave rise to a great deal of subsequent research in creoles, much of it aimed at rebutting the theory. The book also served to legitimize and stimulate research in language evolution, a topic regarded as off-limits by linguists for over a century. The present edition contains a foreword by the author bringing the theory up to date; a fuller exposition of many of its aspects can be found in the author’s most recent work, More than nature needs (Harvard University Press, 2014)

Roots of language

Roots of language was originally published in 1981 by Karoma Press (Ann Arbor). It was the first work to systematically develop a theory first suggested by Coelho in the late nineteenth century: that the creation of creole languages somehow reflected universal properties of language. The book also proposed that the same set of properties would be found to emerge in normal first-language acquisition and must have emerged in the original evolution of language. These proposals, some of which were elaborated in an article in Behavioral and Brain Sciences (1984), were immediately controversial and gave rise to a great deal of subsequent research in creoles, much of it aimed at rebutting the theory. The book also served to legitimize and stimulate research in language evolution, a topic regarded as off-limits by linguists for over a century. The present edition contains a foreword by the author bringing the theory up to date; a fuller exposition of many of its aspects can be found in the author’s most recent work, More than nature needs (Harvard University Press, 2014)

Roots of language

Roots of language was originally published in 1981 by Karoma Press (Ann Arbor). It was the first work to systematically develop a theory first suggested by Coelho in the late nineteenth century: that the creation of creole languages somehow reflected universal properties of language. The book also proposed that the same set of properties would be found to emerge in normal first-language acquisition and must have emerged in the original evolution of language. These proposals, some of which were elaborated in an article in Behavioral and Brain Sciences (1984), were immediately controversial and gave rise to a great deal of subsequent research in creoles, much of it aimed at rebutting the theory. The book also served to legitimize and stimulate research in language evolution, a topic regarded as off-limits by linguists for over a century. The present edition contains a foreword by the author bringing the theory up to date; a fuller exposition of many of its aspects can be found in the author’s most recent work, More than nature needs (Harvard University Press, 2014)

Roots of language

Roots of language was originally published in 1981 by Karoma Press (Ann Arbor). It was the first work to systematically develop a theory first suggested by Coelho in the late nineteenth century: that the creation of creole languages somehow reflected universal properties of language. The book also proposed that the same set of properties would be found to emerge in normal first-language acquisition and must have emerged in the original evolution of language. These proposals, some of which were elaborated in an article in Behavioral and Brain Sciences (1984), were immediately controversial and gave rise to a great deal of subsequent research in creoles, much of it aimed at rebutting the theory. The book also served to legitimize and stimulate research in language evolution, a topic regarded as off-limits by linguists for over a century. The present edition contains a foreword by the author bringing the theory up to date; a fuller exposition of many of its aspects can be found in the author’s most recent work, More than nature needs (Harvard University Press, 2014)

Roots of language

Roots of language was originally published in 1981 by Karoma Press (Ann Arbor). It was the first work to systematically develop a theory first suggested by Coelho in the late nineteenth century: that the creation of creole languages somehow reflected universal properties of language. The book also proposed that the same set of properties would be found to emerge in normal first-language acquisition and must have emerged in the original evolution of language. These proposals, some of which were elaborated in an article in Behavioral and Brain Sciences (1984), were immediately controversial and gave rise to a great deal of subsequent research in creoles, much of it aimed at rebutting the theory. The book also served to legitimize and stimulate research in language evolution, a topic regarded as off-limits by linguists for over a century. The present edition contains a foreword by the author bringing the theory up to date; a fuller exposition of many of its aspects can be found in the author’s most recent work, More than nature needs (Harvard University Press, 2014)