Comirit: Commonsense reasoning by integrating simulation and logic

Johnston, B; Williams, MA

Comirit: Commonsense reasoning by integrating simulation and logic

Johnston, B Williams, MA

Permalink

Publication Type:: Conference Proceeding
Citation:: Frontiers in Artificial Intelligence and Applications, 2008, 171 (1), pp. 200 - 211
Issue Date:: 2008-01-01

Closed Access

	Filename	Description	Size
	2008001294OK.pdf		1.91 MB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Johnston, B	en_US
dc.contributor.author	Williams, MA https://orcid.org/0000-0002-1047-0503	en_US
dc.date.issued	2008-01-01	en_US
dc.identifier.citation	Frontiers in Artificial Intelligence and Applications, 2008, 171 (1), pp. 200 - 211	en_US
dc.identifier.isbn	9781586038335	en_US
dc.identifier.issn	0922-6389	en_US
dc.identifier.uri	http://hdl.handle.net/10453/11426
dc.description.abstract	Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in logical formalisms. Unfortunately, such simulations lack the deductive flexibility of techniques such as formal logics and so do not find natural application in the deductive machinery of commonsense or general purpose reasoning systems. This dilemma can, however, be resolved via a hybrid architecture that combines tableaux-based reasoning with a framework for generic simulation based on the concept of 'molecular' models. This combination exploits the complementary strengths of logic and simulation, allowing an agent to build and reason with automatically constructed simulations in a problem-sensitive manner. © 2008 The authors and IOS Press. All rights reserved.	en_US
dc.relation.ispartof	Frontiers in Artificial Intelligence and Applications	en_US
dc.title	Comirit: Commonsense reasoning by integrating simulation and logic	en_US
dc.type	Conference Proceeding
utslib.citation.volume	1	en_US
utslib.citation.volume	171	en_US
utslib.for	150302 Business Information Systems	en_US
dc.location.activity	Inst of Technology, University of Memphis, TN, USA	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Computer Science
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
utslib.copyright.status	closed_access
pubs.issue	1	en_US
pubs.publication-status	Published	en_US
pubs.volume	171	en_US

Abstract:

Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in logical formalisms. Unfortunately, such simulations lack the deductive flexibility of techniques such as formal logics and so do not find natural application in the deductive machinery of commonsense or general purpose reasoning systems. This dilemma can, however, be resolved via a hybrid architecture that combines tableaux-based reasoning with a framework for generic simulation based on the concept of 'molecular' models. This combination exploits the complementary strengths of logic and simulation, allowing an agent to build and reason with automatically constructed simulations in a problem-sensitive manner. © 2008 The authors and IOS Press. All rights reserved.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/11426