## Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal InferenceThe general problem addressed in this book is a large and important one: how to usefully deal with huge storehouses of complex information about real-world situations. Every one of the major modes of interacting with such storehouses – querying, data mining, data analysis – is addressed by current technologies only in very limited and unsatisfactory ways. The impact of a solution to this problem would be huge and pervasive, as the domains of human pursuit to which such storehouses are acutely relevant is numerous and rapidly growing. Finally, we give a more detailed treatment of one potential solution with this class, based on our prior work with the Probabilistic Logic Networks (PLN) formalism. We show how PLN can be used to carry out realworld reasoning, by means of a number of practical examples of reasoning regarding human activities inreal-world situations. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

10 | |

11 | |

PART I Representations and Rules for RealWorldReasoning | 26 |

PART II Acquiring Storing and Mining Logical Knowledge | 158 |

PART III Probabilistic Logic Networks for RealWorldReasoning | 186 |

References | 267 |

### Other editions - View all

### Common terms and phrases

algorithms Alison applications approach AtTime AverageLink axiom Bayesian network BobCollectingPokemonCards calculus Canada CanadianFriendBobNotWife CanadianPlaceNames Chapter Clark cognitive context d-separation data model databases DC EC decision procedures deduction defined deontic logic ECAN entities Evaluation EvaluationLink example extensional ExtensionalInheritance first-order logic formal formula frame problem frequently mentions Canadian fuzzy given Goertzel graph highly involved hypergraph inference control inference rules inference system inference trails Inheritance instance intensional knowledge base knowledge representation knowledge stores ListLink log trafficking logic-based logical knowledge logical relationships Markov network methods Metro City modal logic nodes Null occupancy grids OpenCog operators order logic PLN inference Pokemon cards possible predicate logic Probabilistic Logic probability propositional logic quantifiers query RCC8 Region Connection Calculus relations relevance(B relevant represent scalable semantics spatial logic spatial reasoning spatiotemporal specific term logic theorem theory topological TPP NTPP TPPi NTPPi truth value Twitter user modeling valuation variables