An attempt to formalise a non-trivial benchmark problem in common sense reasoning
نویسندگان
چکیده
منابع مشابه
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to formalise object-level theories of common sense. In the spirit of Pat Hayes’s Naive Physics Manifesto, the present paper supplies a formalisation of a non-trivial benchmark problem in common sense physical reasoning, na...
متن کامل280 Common Sense Reasoning
Even with powerful numerical computers, exploring complex dynamical systems requires significant human effort and judgment to prepare simulations and to interpret numerical results. This paper describes one-aspect of a computer program, KAM, that can autonomously prepare numerical simulations, and can automatically generate high-level, qualitative interpretations of the quantitative results. Gi...
متن کاملMetaphor and common-sense reasoning
>Inferenccs based on metaphors appear to play a major role in human common sense reasoning. This paper identifies and analyzes general inference patterns based upon ur Jerlying metaphors, in particular the pervasive balance principle. Strategies for metapnor comprehension are explored, and analogical mapping structures are proposed as a means of representing metaphorical relationships between d...
متن کاملScientific and Common Sense Reasoning: A Comparison
An ethnomethodological approach to human activity focuses on how members accomplish some sense of orderly reality through interpretive creation. Moving from a flexible theoretical base made possible by the radical ?poque and its suspension of a given, fixed reality with attendent features such as subject-object dualism, perceptual processing, and iionreciprocal causal sequences, the ethnomethod...
متن کاملLee-TM: A Non-trivial Benchmark Suite for Transactional Memory
Transactional Memory (TM) is a concurrent programming paradigm that aims to make concurrent programming easier than finegrain locking, whilst providing similar performance and scalability. Several TM systems have been made available for research purposes. However, there is a lack of a wide range of non-trivial benchmarks with which to thoroughly evaluate these TM systems. This paper introduces ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2004
ISSN: 0004-3702
DOI: 10.1016/j.artint.2003.05.001