Filters








29 Hits in 4.0 sec

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning

James Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang
2004 Computational intelligence  
In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to nonmonotonic reasoning.  ...  Here, we present an overview and classification for approaches to dealing with preference.  ...  Acknowledgements The authors would like to thank the anonymous referees for valuable com-  ... 
doi:10.1111/j.0824-7935.2004.00240.x fatcat:2athvzwyazgobgqki57falevsi

Reasoning with infinite stable models

Piero A. Bonatti
2004 Artificial Intelligence  
From the application point of view, the theory of finitary programs shows how the existing technology for answer set programming can be extended from problem solving below the second level of the polynomial  ...  Moreover, finitary programs allow a more natural encoding of recursive data structures and may increase the performance of credulous reasoners.  ...  Acknowledgements The author is grateful to the anonymous referees of this paper and its preliminary versions for their deep and careful reviews, and for their precious suggestions.  ... 
doi:10.1016/j.artint.2004.02.001 fatcat:sfccg7lmfbaqzkvtt4eerkcsdi

Knowledge Representation and Reasoning

H J Levesque
1986 Annual Review of Computer Science  
Although we start with full first-order logic as a representation language, and logical entailment as the basis for reasoning, this is just the starting point, and a somewhat unrealistic one at that.  ...  By exposing the heart of each style of representation, complemented by a discussion of the basics of reasoning with that representation, we aim to give the reader a solid foundation for understanding the  ...  relations that are similar to entailment, but which are non-monotonic.  ... 
doi:10.1146/annurev.cs.01.060186.001351 fatcat:zouzny4pgfgdjopiqsr6e3grcq

An Integrated Framework for Learning and Reasoning

C. G. Giraud-Carrier, T. R. Martinez
1995 The Journal of Artificial Intelligence Research  
However, learning and reasoning are in many ways interdependent.  ...  Learning and reasoning are both aspects of what is considered to be intelligence.  ...  Many thanks also to our reviewers for helpful and constructive comments.  ... 
doi:10.1613/jair.93 fatcat:nzkolaw6azcxjgsgfzwl2ispya

An Integrated Framework for Learning and Reasoning [article]

C. G. Giraud-Carrier, T. R. Martinez
1995 arXiv   pre-print
However, learning and reasoning are in many ways interdependent.  ...  Learning and reasoning are both aspects of what is considered to be intelligence.  ...  Many thanks also to our reviewers for helpful and constructive comments.  ... 
arXiv:cs/9508102v1 fatcat:y6dirrdo6ffebco77c6cqnmspm

Page 1036 of Mathematical Reviews Vol. , Issue 92b [page]

1992 Mathematical Reviews  
Shvarts], Autoepistemic modal logics (pp. 97-109); Fang Zhen Lin and Yoav Shoham, Epistemic semantics for fixed-points non- monotonic logics (pp. 111-120); Judea Pearl, System Z: a natural ordering of  ...  Mazer, A link between knowledge and communication in faulty distributed systems (preliminary report) (pp. 289-304).  ... 

Reasoning with incomplete information : investigations of non-monotonic reasoning

David William Etherington
1986
Taking a largely semantic approach, we develop and/or extend model-theoretic semantics for the formalisms in question.  ...  We focus on two aspects of this problem: default or prototypical reasoning, and closed-world or circumscriptive reasoning.  ...  Non-monotonic reasoning and update are intimately connected: non-monotonic reasoning is non-monotonic precisely because of its behaviour when confronted by updates.  ... 
doi:10.14288/1.0051930 fatcat:xxrynq6lbfa3xgz6edecodezza

A logic for legal hierarchies

Pierre-Yves Schobbens
1993 Proceedings of the fourth international conference on Artificial intelligence and law - ICAIL '93  
The theory of non-monotonic reasoning has interesting applications for theformalization and automated use of legal concepts, specially: q q q drawing conclusions from a logically inconsistent, but hierarchic  ...  Its algebraic proof theory is presented.  ...  The need for such a logic has been identified by theorists of law [27] for long; several such logics are now developing, based on various non-monotonic foundations.  ... 
doi:10.1145/158976.159010 dblp:conf/icail/Schobbens93 fatcat:xxrazk7yijhb3bphwttfunqc4u

Page 1402 of Mathematical Reviews Vol. 26, Issue Index [page]

Mathematical Reviews  
., 94g:68102 Lakemeyer, Gerhard All I know about Tweety—preliminary report.  ...  Hierarchical meta-logics: intuitions, proof theory and semantics.  ... 

Knowledge Representation and Reasoning [chapter]

An Introduction to Knowledge Engineering  
Although we start with full first-order logic as a representation language, and logical entailment as the basis for reasoning, this is just the starting point, and a somewhat unrealistic one at that.  ...  By exposing the heart of each style of representation, complemented by a discussion of the basics of reasoning with that representation, we aim to give the reader a solid foundation for understanding the  ...  relations that are similar to entailment, but which are non-monotonic.  ... 
doi:10.1007/978-1-84628-667-4_4 fatcat:kciyh5tutbgyvkl6chv5zrg5ee

Combining Nonmonotonic Knowledge Bases with External Sources [chapter]

Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
2009 Lecture Notes in Computer Science  
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access.  ...  Furthermore, they provide a basis for advanced knowledge-based information systems, which are targeted in ongoing research projects.  ...  Noticeably, reasoning within/across contexts is monotonic. Brewka et al.  ... 
doi:10.1007/978-3-642-04222-5_2 fatcat:ywmul3hqujhqvjmvpy5hnfslgu

Speech Acts for Dialogue Agents [chapter]

David R. Traum
1999 Applied Logic Series  
ACKNOWLEDGMENTS The author's ideas on speech acts reported above have been greatly aided by conversations with many others, especially: James Allen, Jens Allwood, Harry  ...  Appelt and Konolige [15] reformulate Perrault's theory in terms of Hierarchic Autoepistemic Logic [59] .  ...  Non-monotonic Theories of Speech Acts Perrault [77] takes as a starting point the problem that the utterance itself is insufficient to determine the effects of a speech act.  ... 
doi:10.1007/978-94-015-9204-8_8 fatcat:yt3s5o4eyneczlucecsa4f3aua

Rough Sets and Rough Logic: A KDD Perspective [chapter]

Zdzisław Pawlak, Lech Polkowski, Andrzej Skowron
2000 Studies in Fuzziness and Soft Computing  
decision rules, patterns, dependencies in a degree, rough mereology, logic, propositional logic, predicate logic, modal logic, belief and belief revision logics, default logic, para-consistent logic, non-monotonic  ...  Basic ideas of rough set theory were proposed by Zdzis law Pawlak [85, 86] in the early 1980's.  ...  Non-monotonic reasoning is central for intelligent systems dealing with commonsense reasoning being non-monotonic.  ... 
doi:10.1007/978-3-7908-1840-6_13 fatcat:vy35ujzaszcwvevywvjcms4wzy

Non-deductive reasoning for the semantic web and software analysis

C Kiefer
2008
These types are, for instance, non-monotonic reasoning and temporal reasoning.  ...  Two typical types of non-monotonic reasoning are abductive reasoning and closed-world reasoning.  ...  ., SPAR-QL-ML queries for model induction and data classification) we limited our investigations to the I/O concepts of services, as we believe that they are the most informative for this task (cf.  ... 
doi:10.5167/uzh-16429 fatcat:4fat5kum6zbzfgqq3sjr2ya2y4

The well-founded semantics for general logic programs

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf
1991 Journal of the ACM  
Unfounded sets and well-founded semantics for general logic programs.  ...  A preliminary version of this paper was presented at the Seventh ACM Symposium on Principles of Database Systems, 1988 (published as VANGELDER, A., Ross, K. A., AND SCHLIPF, J S.  ...  completeness of non-Horn proof systems, but not for sets of Horn clauses.  ... 
doi:10.1145/116825.116838 fatcat:o5jbkhw67jgcdnhiguhq7cqyri
« Previous Showing results 1 — 15 out of 29 results