buchspektrum Internet-Buchhandlung

Neuerscheinungen 2012

Stand: 2020-01-07
Schnellsuche
ISBN/Stichwort/Autor
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

Proshanto Mukherji

Laws in Logical Worlds


Using Statistical Inference to Uncover the Structure of Logical Domains
Aufl. 2012. 200 S. 220 mm
Verlag/Jahr: AV AKADEMIKERVERLAG 2012
ISBN: 3-639-43091-3 (3639430913)
Neue ISBN: 978-3-639-43091-2 (9783639430912)

Preis und Lieferzeit: Bitte klicken


Revision with unchanged content. We investigate the problem of descriptive learning--learning rules that describe the underlying structure of a domain--in rich, qualitative worlds. Previous approaches to this problem have searched for laws in top-down, enumerative fashion. We present algorithms that belong to an alternative, data-driven search paradigm. In our algorithms, search is guided not by relationships between the forms of the hypothesized rules, but by correlations in the data they represent. We exploit anomalies in this data, hypothesizing that that patterns that are unlikely to have arisen by chance must represent features of the domain. We describe data-driven methods that discover rules in both propositional and relational domains. We apply our methods to the problem of finding planning invariants: formulae that are true in every reachable state of a planning world. Our methods provide a novel inductive approach to this problem. They find invariants from just a few reachable-state descriptions. They discover laws comparable in quality and complexity to those discovered by specialized planning-invariant discovery systems that require a far greater deal of specialized knowledge about the domain.
Proshanto Mukherji grew up in Bombay, India. He received his BS in Computer Science from the New Jersey Institute of Technology in 2000, and his Masters and Ph.D. from the University of Rochester in 2000 and 2007 respectively. His dissertation focused on statistical induction in logical worlds, and was supervised by Prof. Lenhart K. Schubert.