A Theoretical and Empirical Analysis of Approximation in Symbolic Problem Solving

This thesis deals with 3 themes around approximation of symbolic problem solving methods, namely (1) qualitative measures for the robustness of knowledge based systems, (2) knowledge compilation within the planning domain, and (3) approximate classification.

[1]  W. Quine.  On Cores and Prime Implicants of Truth Functions , 1959 .

[2]  John McCarthy,et al.  Programs with common sense , 1960 .

[3]  J. Davenport.  Editor , 1960 .

[4]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[5]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[6]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[7]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[8]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[9]  Drew McDermott,et al.  Artificial intelligence meets natural stupidity , 1976, SGAR.

[10]  George Markowsky,et al.  On the number of prime implicants , 1978, Discret. Math..

[11]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[12]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

[13]  Frederick Hayes-Roth,et al.  Knowledge-based expert systems — The State of the Art in the US , 1984, The Knowledge Engineering Review.

[14]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[15]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[16]  Editors , 1986, Brain Research Bulletin.

[17]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[18]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

[19]  Eric Horvitz,et al.  Reasoning about beliefs and actions under computational resource constraints , 1987, Int. J. Approx. Reason..

[20]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[21]  H. Levesque.  Logic and the complexity of reasoning , 1988 .

[22]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[23]  Mark S. Boddy,et al.  Solving Time-Dependent Planning Problems , 1989, IJCAI.

[24]  Johan de Kleer,et al.  Exploiting Locality in a TMS , 1990, AAAI.

[25]  David A. McAllester.  Truth Maintenance , 1990, AAAI.

[26]  Peter Jackson,et al.  Computing Prime Implicants , 1990, CADE.

[27]  Standard Glossary of Software Engineering Terminology , 1990 .

[28]  Bart Selman,et al.  Knowledge Compilation using Horn Approximations , 1991, AAAI.

[29]  Bart Selman,et al.  A General Framework for Knowledge Compilation , 1991, PDK.

[30]  Shlomo Zilberstein,et al.  Composing Real-Time Systems , 1991, IJCAI.

[31]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[32]  Hector J. Levesque,et al.  Hard and Easy Distributions of SAT Problems , 1992, AAAI.

[33]  Allen Van Gelder,et al.  Satisfiability testing with more reasoning and less guessing , 1995, Cliques, Coloring, and Satisfiability.

[34]  Shin-ichi Minato,et al.  Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems , 1993, 30th ACM/IEEE Design Automation Conference.

[35]  Marco Schaerf,et al.  A Survey of Complexity Results for Planning , 1993 .

[36]  Henry Kautz,et al.  An Empirical Evaluation of Knowledge Compilation , 1994, AAAI 1994.

[37]  Frank Puppe,et al.  Wiederverwendbare Bausteine für eine konfigurierbare Diagnostik-Shell , 1994, Künstliche Intell..

[38]  Alvaro del Val.  Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation , 1994, KR.

[39]  Francesco M. Donini,et al.  Is Intractability of Non-Monotonic Reasoning a Real Drawback? , 1994, AAAI.

[40]  Rina Dechter,et al.  Directional Resolution: The Davis-Putnam Procedure, Revisited , 1994, KR.

[41]  Pierre Marquis,et al.  Knowledge Compilation Using Theory Prime Implicates , 1995, IJCAI.

[42]  Alvaro del Val.  An Analysis of Approximate Knowledge Compilation , 1995, IJCAI.

[43]  Paul R. Cohen,et al.  Empirical methods for artificial intelligence , 1995, IEEE Expert.

[44]  Marco Schaerf,et al.  Tractable Reasoning via Approximation , 1995, Artif. Intell..

[45]  Shlomo Zilberstein,et al.  Approximate Reasoning Using Anytime Algorithms , 1995 .

[46]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[47]  V. S. Subrahmanian,et al.  Complexity, Decidability and Undecidability Results for Domain-Independent Planning , 1995, Artif. Intell..

[48]  Shlomo Zilberstein,et al.  Operational Rationality through Compilation of Anytime Algorithms , 1995, AI Mag..

[49]  A.C.M. ten Teije,et al.  Approximations in diagnosis: motivations and techniques , 1995 .

[50]  Samira Sadaoui,et al.  A New Algorithm for Computing Theory Prime Implicates Compilations , 1996, AAAI/IAAI, Vol. 1.

[51]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[52]  Mukesh Dalal,et al.  Semantics of an Anytime Family of Reasoners , 1996, ECAI.

[53]  Robert Schrag,et al.  Compilation for Critically Constrained Knowledge Bases , 1996, AAAI/IAAI, Vol. 1.

[54]  Shlomo Zilberstein,et al.  Optimal Composition of Real-Time Systems , 1996, Artif. Intell..

[55]  Henry Kautz,et al.  Pushing the envelope: planning , 1996 .

[56]  Frank van Harmelen,et al.  Computing Approximate Diagnoses By Using Approximate Entailment , 1996, KR.

[57]  Marco Cadoli,et al.  Panel on "Knowledge Compilation and Approximation": Terminology, Questions, References , 1996 .

[58]  James M. Crawford,et al.  Implicates and Prime Implicates in Random 3-SAT , 1996, Artif. Intell..

[59]  Bart Selman,et al.  Knowledge compilation and theory approximation , 1996, JACM.

[60]  Frank Puppe,et al.  Wissensbasierte Diagnose- und Informationssysteme - Mit Anwendungen des Expertensystem-Shell-Baukastens D3 , 1996, Wissensbasierte Diagnose- und Informationssysteme.

[61]  Shlomo Zilberstein,et al.  Using Anytime Algorithms in Intelligent Systems , 1996, AI Mag..

[62]  H.H.L.M. Donkers,et al.  NOSCE HOSTEM: Searching with Opponent Models , 1997 .

[63]  Frank van Harmelen,et al.  Exploiting Domain Knowledge for Approximate Diagnosis , 1997, IJCAI.

[64]  Johann Schumann,et al.  NORA/HAMMR: making deduction-based software component retrieval practical , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[65]  Michael D. Ernst,et al.  Automatic SAT-Compilation of Planning Problems , 1997, IJCAI.

[66]  Alun D. Preece,et al.  Evaluation of verification tools for knowledge-based systems , 1997, Int. J. Hum. Comput. Stud..

[67]  Frank van Harmelen,et al.  Characterising approximate problem solving: by partially fulfilled pre- and postconditions , 1998, EUROVAV.

[68]  Paolo Liberatore,et al.  On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc , 1998, KR.

[69]  Bart Selman,et al.  The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework , 1998, AIPS.

[70]  Ans A. G. Steuten.  A contribution to the linguistic analysis of business conversations within the language/action perspective , 1998 .

[71]  Johan van den Akker,et al.  DEGAS: an active, temporal database of autonomous objects , 1998 .

[72]  Bob J. Wielinga,et al.  A competence theory approach to problem solving method construction , 1998, Int. J. Hum. Comput. Stud..

[73]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[74]  Alvaro del Val.  A New Method for Consequence Finding and Compilation in Restricted Languages , 1999, AAAI/IAAI.

[75]  Frank van Harmelen,et al.  Editorial: Evaluating knowledge engineering techniques , 1999, Int. J. Hum. Comput. Stud..

[76]  A. de Moor,et al.  Empowering communities: A method for the legitimate user-driven specification of network information systems , 1999 .

[77]  Nigel Shadbolt,et al.  The experimental evaluation of knowledge acquisition techniques and methods: history, problems and new directions , 1999, Int. J. Hum. Comput. Stud..

[78]  Jacob Lenting.  Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .

[79]  Niels Nes,et al.  Image database management systems design considerations algorithms and architecture , 2000 .

[80]  R. V. D. Pol.  Knowledge-based query formulation in information retrieval , 2000 .

[81]  S. J. Karlsson.  Scalable distributed data structures for database management , 2000 .

[82]  Laurent Simon,et al.  Efficient Consequence Finding , 2001, IJCAI.

[83]  Pierre Marquis,et al.  A Perspective on Knowledge Compilation , 2001, IJCAI.

[84]  Renata Wassermann,et al.  Approximate Belief Revision , 2001, Log. J. IGPL.

[85]  Koen V. Hindriks,et al.  Agent programming languages: programming with mental models , 2001 .

[86]  P.A.T. van Eck,et al.  A Compositional Semantic Structure for Multi-Agent Systems Dynamics , 2001 .

[87]  Henk Ernst Blok.  Database Optimization Aspects for Information Retrieval , 2002 .

[88]  Peter Boncz,et al.  UvA-DARE ( Digital Academic Repository ) Monet ; a next-Generation DBMS Kernel For Query-Intensive Applications , 2007 .

[89]  Willem-Jan van den Heuvel.  Integrating modern business applications with objectified legacy systems , 2002 .

[90]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[91]  Juan Roberto Castelo Valdueza,et al.  The Discrete Acyclic Digraph Markov Model in Data Mining , 2002 .

[92]  Stefan Manegold,et al.  Understanding, modeling, and improving main-memory database performance , 2002 .

[93]  W.C.A. Wijngaards,et al.  Agent-Based Modelling of Dynamics: Biological and Organisational Applications , 2002 .

[94]  Roelof van Zwol.  Modelling and searching web-based document collections , 2002 .

[95]  Neerincx,et al.  Human-computer interaction and presence in virtual reality exposure therapy , 2003 .

[96]  M. G. Jansen.  Formal explorations of knowledge intensive tasks , 2003 .

[97]  van Boris Wessel Schooten,et al.  Development and Specification of Virtual Environments , 2003 .

[98]  Jaap Gordijn,et al.  Value-based requirements engineering: exploring innovative e-commerce ideas , 2003, Requirements Engineering.

[99]  A. J. Lehmann.  Causation in artificial intelligence and law : a modelling approach , 2003 .

[100]  Jan Broersen.  Modal Action Logics for Reasoning about Reactive Systems , 2003 .

[101]  H. Stuckenschmidt,et al.  Ontology-Based Information Sharing in Weakly Structured Environments , 2003 .

[102]  Andreas Martin Thomas Lincke,et al.  Electronic business negotiation: some experimental studies on the interaction between medium, innovation context, and culture , 2003 .

[103]  James A. Hendler,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2002 .

[104]  Simon Keizer,et al.  Reasoning under Uncertainty in Natural Language Dialogue using Bayesian Networks , 2003 .

[105]  Lai Xu.  Monitoring multi-party contracts for E-business , 2004 .

[106]  Mukesh Dalal.  Anytime Families of Tractable Propositional Reasoners Introduction , .