USA flag logo/image

An Official Website of the United States Government

Probabilistic Logic for Knowledge Representation and Automated Reasoning

Award Information

Agency:
Department of Defense
Branch:
Defense Advanced Research Projects Agency
Award ID:
85003
Program Year/Program:
2008 / STTR
Agency Tracking Number:
08ST1-0076
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
DECISIVE ANALYTICS Corporation
1235 South Clark Street Suite 400 Arlington, VA -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2008
Title: Probabilistic Logic for Knowledge Representation and Automated Reasoning
Agency / Branch: DOD / DARPA
Contract: W31P4Q-09-C-0041
Award Amount: $98,999.00
 

Abstract:

Conventional statements of logic (e.g., simple statements of the form "if x then y") allow individuals and machines to make quick and efficient determinations of the state of the world through the rules of deduction. This type of reasoning, however, does not naturally accommodate a fundamental and irreducible aspect of our knowledge about the world: we are more often than not uncertain about our knowledge to some degree or another. Dealing with uncertainty requires using a probabilistic representation of reasoning that allows one to express and draw inferences in cases when the facts are uncertain rather than just true or false. The Decisive Analytics Corporation/MIT (DAC/MIT) team proposes a powerful and elegant method which combines the desired expressive power of conventional logic with a sound and consistent treatment of uncertainty, resulting in an automated reasoning engine that integrates logical relations with probabilistic reasoning about complex, imprecise, and uncertain situations. The proposed hybrid inference engine will moreover be capable of hypothesizing new attributes, new relationships, and even new types of objects in its representation space and thus yield more expressive capability than other statistical relational formalisms.

Principal Investigator:

Chris Smith
Senior Engineer
7036821615
chris.smith@dac.us

Business Contact:

Kelly McClelland
Director, Corporate Business Office
7034145024
kelly.mcclelland@dac.us
Small Business Information at Submission:

DECISIVE ANALYTICS CORP.
1235 South Clark Street Suite 400 Arlington, VA 22202

EIN/Tax ID: 541785147
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
MASSACHUSETTS INSTITUTE OF TECHNOLO
32-G486 32 Vassar St.
Cambridge, MA 2139
Contact: Leslie Pack-Kaelbling
Contact Phone: (617) 258-9695
RI Type: Nonprofit college or university