| 1. |
|
|
| 2. |
- Doherty, Patrick, 1957-, et al.
(författare)
-
A study in modal embeddings of NML3.
- 1996
-
Ingår i: Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information.. - Stanford, California : CSLI Publications. - 1575860317 - 1575860309 ; , s. 145-168
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
| 3. |
- Doherty, Patrick, 1957-, et al.
(författare)
-
Approximation Transducers and Trees : A Technique for Combining Rough and Crisp Knowledge
- 2004
-
Ingår i: Rough-Neural Computing: Techniques for Computing with Words. - Berlin, Heidelberg, New York : Springer. - 9783540430599 - 3540430598 ; , s. 189-218
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Soft computing comprises various paradigms dedicated to approximately solving real-world problems, e.g., in decision making, classification or learning; among these paradigms are fuzzy sets, rough sets, neural networks, and genetic algorithms.It is well understood now in the soft computing community that hybrid approaches combining various paradigms provide very promising attempts to solving complex problems. Exploiting the potential and strength of both neural networks and rough sets, this book is devoted to rough-neurocomputing which is also related to the novel aspect of computing based on information granulation, in particular to computing with words. It provides foundational and methodological issues as well as applications in various fields.
|
|
| 4. |
- Doherty, Patrick, 1957-, et al.
(författare)
-
Computing circumscription revisited : A reduction algorithm.
- 1994
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- In recent years, a great deal of attention has been devoted to logics of "commonsense" reasoning. Among the candidates proposed, circumscription has been perceived as an elegant mathematical technique for modeling nonmonotonic reasoning, but difficult to apply in practice. The major reason for this is the nd-order nature of circumscription axioms and the difficulty in finding proper substitutions of predicate expressions for predicate variables. One solution to this problem is to compile, where possible, nd-order formulas into equivalent 1st-order formulas. Although some progress has been made using this approach, the results are not as strong as one might desire and they are isolated in nature. In this article, we provide a general method which can be used in an algorithmic manner to reduce circumscription axioms to 1st-order formulas. The algorithm takes as input an arbitrary 2nd-order formula and either returns as output an equivalent 1st-order formula, or terminates with failure. The class of 2nd-order formulas, and analogously the class of circumscriptive theories which can be reduced, provably subsumes those covered by existing results. We demonstrate the generality of the algorithm using circumscriptive theories with mixed quantifiers (some involving Skolemization), variable constants, non-separated formulas, and formulas with n-ary predicate variables. In addition, we analyze the strength of the algorithm and compare it with existing approaches providing formal subsumption results.
|
|
| 5. |
|
|
| 6. |
- Doherty, Patrick, 1957-, et al.
(författare)
-
Distinguishing between facts and default assumptions.
- 1992
-
Ingår i: Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.. - New York : Ellis Horwood Ltd.. - 0136251463 - 9780136251460
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
| 7. |
|
|
| 8. |
- Doherty, Patrick, 1957-, et al.
(författare)
-
Knowledge Representation Techniques. : a rough set approach
- 2006
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- The basis for the material in this book centers around a long term research project with autonomous unmanned aerial vehicle systems. One of the main research topics in the project is knowledge representation and reasoning. The focus of the research has been on the development of tractable combinations of approximate and nonmonotonic reasoning systems. The techniques developed are based on intuitions from rough set theory. Efforts have been made to take theory into practice by instantiating research results in the context of traditional relational database or deductive database systems. This book contains a cohesive, self-contained collection of many of the theoretical and applied research results that have been achieved in this project and for the most part pertain to nonmonotonic and approximate reasoning systems developed for an experimental unmanned aerial vehicle system used in the project. This book should be of interest to the theoretician and applied researcher alike and to autonomous system developers and software agent and intelligent system developers.
|
|
| 9. |
|
|
