A Semantics for “Typically” in First-Order Default Reasoning

In this chapter, the nature of the process that each participant engages in individually in order to contribute to collective reasoning is discussed. The design of technological systems that will best support reasoning in its communal context requires the specification of schemes for representing knowledge and for the inference of new knowledge. Further, it is also necessary to articulate a model for the process that individuals engage in when reasoning in groups. The assertion we make is that the process iteratively includes phases of engagement, individual reasoning, group coalescing, until decision making. Representations, including the classical syllogism, first order logic, default reasoning, deontic reasoning, and argumentation schemes, are surveyed to illustrate their strengths and limitations to represent individual reasoning.

Download Full-text

A Two-Stage Approach to First Order Default Reasoning

Fundamenta Informaticae ◽

10.3233/fi-1996-283412 ◽

1996 ◽

Vol 28 (3,4) ◽

pp. 377-402 ◽

Cited By ~ 5

Author(s):

Karl Schlechta

Keyword(s):

Default Reasoning ◽

Two Stage ◽

First Order

Download Full-text

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

Behavioral and Brain Sciences ◽

10.1017/s0140525x19000451 ◽

2019 ◽

Vol 42 ◽

Author(s):

Daniel J. Povinelli ◽

Gabrielle C. Glorioso ◽

Shannon L. Kuznar ◽

Mateja Pavlic

Keyword(s):

Temporal Reasoning ◽

Higher Order ◽

Important Case ◽

Human Cognition ◽

Relational Reasoning ◽

Dual Systems ◽

First Order ◽

Reasoning System ◽

Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Download Full-text

Stochasting modeling of planetary ring systems

International Astronomical Union Colloquium ◽

10.1017/s025292110010154x ◽

1984 ◽

Vol 75 ◽

pp. 461-469 ◽

Cited By ~ 1

Author(s):

Robert W. Hart

Keyword(s):

Maximum Entropy ◽

Ring System ◽

The Sun ◽

Ultimate State ◽

Interparticle Interactions ◽

Ring Systems ◽

First Order ◽

Planetary Ring ◽

Insight Into

ABSTRACTThis paper models maximum entropy configurations of idealized gravitational ring systems. Such configurations are of interest because systems generally evolve toward an ultimate state of maximum randomness. For simplicity, attention is confined to ultimate states for which interparticle interactions are no longer of first order importance. The planets, in their orbits about the sun, are one example of such a ring system. The extent to which the present approximation yields insight into ring systems such as Saturn's is explored briefly.

Download Full-text

Morphological studies of linear (AB)n multiblock copolymers and their blends

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100122320 ◽

1992 ◽

Vol 50 (1) ◽

pp. 384-385

Author(s):

Richard J. Spontak ◽

Steven D. Smith ◽

Arman Ashraf

Keyword(s):

Electron Microscopy ◽

Microphase Separation ◽

Multiblock Copolymers ◽

First Order ◽

Morphological Studies ◽

Transmission Electron ◽

First Order Phase Transition ◽

Covalently Bonded ◽

Total Molecular Weight ◽

First Order Phase

Block copolymers are composed of sequences of dissimilar chemical moieties covalently bonded together. If the block lengths of each component are sufficiently long and the blocks are thermodynamically incompatible, these materials are capable of undergoing microphase separation, a weak first-order phase transition which results in the formation of an ordered microstructural network. Most efforts designed to elucidate the phase and configurational behavior in these copolymers have focused on the simple AB and ABA designs. Few studies have thus far targeted the perfectly-alternating multiblock (AB)n architecture. In this work, two series of neat (AB)n copolymers have been synthesized from styrene and isoprene monomers at a composition of 50 wt% polystyrene (PS). In Set I, the total molecular weight is held constant while the number of AB block pairs (n) is increased from one to four (which results in shorter blocks). Set II consists of materials in which the block lengths are held constant and n is varied again from one to four (which results in longer chains). Transmission electron microscopy (TEM) has been employed here to investigate the morphologies and phase behavior of these materials and their blends.

Download Full-text