commonsense07 aylovsxextr68uclacuk commonsense07 call participation invite requests participation commonsense07 8th international symposium logical formalizations commonsense reasoning held part aaai spring symposium series march 2628 2007 stanford university california usa persons wishing attend symposium submit 12 page research summary including possible list relevant publications required authors submitted papers phd students need send tentative title abstract dissertation requests attendance sent commonsense07uclacuk endow computers common sense one major longterm goals artificial intelligence research although know build programs excel certain bounded mechanical tasks humans find difficult playing chess little idea program computers well commonsense tasks easy humans one approach problem formalize commonsense reasoning using mathematical logic challenges creating formalization include accumulation large amounts knowledge everday world representation knowledge suitable formal languages integration different representations coherent way development explicit reasoning methods use representations scaling problem particular challenge many bounded tasks already know build still scale broad scenarios involving commonsense knowledge query answering web service compositon semantic web corporabased computational biology diagnosis exploration unfamiliar domains robots autonomous vehicles naturallanguage question answering aim science commonsense reasoning enables applications broad domains well deeper understanding ways humans engage commonsense reasoning theme symposium bring together researchers studied formalization commonsense reasoning focus representation rather algorithms formal rather informal methods topics interest include action causality ontologies levels granularity ontology reasoning large commonsense knowledge bases axiomatizations benchmark commonsense problems exploration new commmonsense domains preformal way nonmonotonic reasoning probabilistic reasoning theories context mental attitudes cognitive robotics reasoning interactions among agents semantic web natural language processing symposium held honor john mccarthy 80 years old september 2007 john mccarthy course father formal commonsense reasoning hope dedication goes small way acknowledging enormous contribution made field lasting leadership vision provided many us information see wwwuclacukcommonsense07 thu 07 aug 2008 125113 0000 uai commonsense07 call participation